debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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
*	some small optimizations to mover checking	qadeer	2014-01-22
*	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
*	bug fix in handling of parallel call	qadeer	2014-01-20
*	bug fix in error trace printing	qadeer	2014-01-16
*	fix for a completeness bug (reported by Serdar) in refinement checker	qadeer	2014-01-16
*	Clean up of yield type checker	qadeer	2014-01-16
*	in the middle of cleaning up yield type checker	qadeer	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
*	Some proper naming done in YieldTypeChecker	kuruis	2014-01-12
*	extended NormalSubstituter so that it can take in a forold substitution	qadeer	2014-01-10
*	implemented a simple quantifier elimination for havoc commands in computing t...	qadeer	2014-01-09
*	some optimizations to mover checks	qadeer	2014-01-09
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
*	first cut of refinement checking	qadeer	2014-01-07
*	points on "home strecth of yield type checker" added	kuruis	2014-01-04
*	and another	qadeer	2014-01-03
*	another small fix	qadeer	2014-01-03
*	some fixes	qadeer	2014-01-03
*	First rough draft of refinement checking.	stasiran	2014-01-03
*	First rough draft of refinement checking.	stasiran	2014-01-03
*	minor bug in traversing program fixed	kuruis	2014-01-03
*	some bugs related with phases fixed	kuruis	2014-01-03
*	debug pragma closed	kuruis	2014-01-02
*	some fixes on devicedriver example	kuruis	2014-01-02
*	Error reporting with line numbers and commands of trace is provided	kuruis	2014-01-02
*	some proper yield check reporting provided	kuruis	2014-01-02
*	some bugs fixed on yiledtypechecker	kuruis	2013-12-31
*	made some fixes to type checking of atomic actions	qadeer	2013-12-31
*	Some bugs in yieldtypesafe fixed	kuruis	2013-12-29
*	yieldtypesafe and yieldreachability automatons are separated.	kuruis	2013-12-29
*	Fixed a bug regarding the treatment of old() in stable procedures. The imple...	qadeer	2013-12-26
*	fixed a bug in mover checking; wasn't generating enough commutativity checks	qadeer	2013-12-25
*	Merge	qadeer	2013-12-24
\|\
* \|	more bug fixes	qadeer	2013-12-24
\| *	Regex fixed after discussion with Shaz	kuruis	2013-12-24
\|/
*	Automata debugging done on YieldTypeChecker.	kuruis	2013-12-23
*	more bug fixes	qadeer	2013-12-22