debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	fixed a bug in desugaring of linear variables	qadeer	2014-02-20
\|/
*	Merge fixedpoint VC fix	Ken McMillan	2014-02-19
\|\
\| *	Fixedpoint VC fix.	Ken McMillan	2014-02-19
* \|	fixed a bug in the automaton construction labeling	qadeer	2014-02-18
* \|	forgot to update the Answer file earlier	qadeer	2014-02-12
* \|	fixed the civl-paper example	qadeer	2014-02-12
* \|	using break statement in the inner loop instead of goto	qadeer	2014-02-11
* \|	fixed code contracts violations	qadeer	2014-02-11
* \|	Fixed bug in printing real literals	Rustan Leino	2014-02-10
* \|	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
* \|	Merge	Rustan Leino	2014-02-10
\|\ \
* \| \|	Fixed bug in handling of break statements	Rustan Leino	2014-02-10
\| * \|	fixed a problem with the nonblocking check	qadeer	2014-02-10
\| * \|	added nonblocking checker for left movers	qadeer	2014-02-07
\| * \|	added another example and fixed a bug regarding initialization of pc/ok	qadeer	2014-02-07
\| * \|	new design for linear types + VCgen	qadeer	2014-02-07
\|/ /
* \|	bug fix in error trace printing	qadeer	2014-02-05
* \|	Option for reversing Houdini worklist (for top-down analysis)	akashlal	2014-01-28
* \|	more cleanup	qadeer	2014-01-23
* \|	some cleanup	qadeer	2014-01-23
* \|	some small optimizations to mover checking	qadeer	2014-01-22
* \|	some fixes	qadeer	2014-01-21
* \|	various bug fixes	qadeer	2014-01-21
* \|	bug fix: if an absy is not reachable, make the set of available vars empty at it	qadeer	2014-01-21
* \|	fixed a bug revealed subsequent to the latest fix in parallel call handling	qadeer	2014-01-20
* \|	bug fix in handling of parallel call	qadeer	2014-01-20
* \|	Added functionality to rename state captures when programs are unrolled.	Ally Donaldson	2014-01-17
* \|	Merge	Ally Donaldson	2014-01-17
\|\ \
* \| \|	Integrated support for k-induction, implemented a while ago by Philipp Ruemme...	Ally Donaldson	2014-01-17
\| * \|	bug fix in error trace printing	qadeer	2014-01-16
\| * \|	updates	qadeer	2014-01-16
\| * \|	Merge	qadeer	2014-01-16
\| \|\ \
\| * \| \|	updating treiber stack	qadeer	2014-01-16
\| \| * \|	yields with invariants factored out into Yield12	stasiran	2014-01-16
\| \|/ /
\| * \|	fix for a completeness bug (reported by Serdar) in refinement checker	qadeer	2014-01-16
\| * \|	Merge	qadeer	2014-01-16
\| \|\ \
\| * \| \|	Clean up of yield type checker	qadeer	2014-01-16
\| \| * \|	InsertPair added.	stasiran	2014-01-15
\| * \| \|	Merge	qadeer	2014-01-15
\| \|\\| \|
\| * \| \|	in the middle of cleaning up yield type checker	qadeer	2014-01-15
\| \| * \|	Added Treiber stack (not yet readable by QED version of Boogie.)	stasiran	2014-01-15
\| \| * \|	Added Multiset benchmark	stasiran	2014-01-15
\| \|/ /
\| * \|	fixed lots of bugs in mover checking code	qadeer	2014-01-14
\| * \|	fixed bug in optimization of commutativity check	qadeer	2014-01-14
\| * \|	Merge	qadeer	2014-01-14
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	added more information to assert messages	qadeer	2014-01-14
* \| \|	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
\|/ /
* \|	Existential failure checker replaced with universal.	stasiran	2014-01-13
* \|	a bug fix	qadeer	2014-01-13
* \|	eliminated use of assertionPhaseNums	qadeer	2014-01-13