debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	small update to the example	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
*	Merge	qadeer	2014-01-07
\|\
* \|	first cut of refinement checking	qadeer	2014-01-07
\| *	added a test to check for stackoverflowexception	akashlal	2014-01-07
\| *	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
\|/
*	points on "home strecth of yield type checker" added	kuruis	2014-01-04
*	Updated year in main copyright message	Rustan Leino	2014-01-03
*	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
*	another fix	qadeer	2014-01-02
*	some more fixes to examples	qadeer	2014-01-02
*	Merge	qadeer	2014-01-02
\|\
* \|	more fixes	qadeer	2014-01-02
\| *	debug pragma closed	kuruis	2014-01-02
* \|	Merge	qadeer	2014-01-02
\|\\|
* \|	some more fixes	qadeer	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
*	fixed examples to deal with yield type checking errors	qadeer	2014-01-01
*	some bugs fixed on yiledtypechecker	kuruis	2013-12-31
*	made some fixes to type checking of atomic actions	qadeer	2013-12-31
*	made some fixes	qadeer	2013-12-29
*	Some bugs in yieldtypesafe fixed	kuruis	2013-12-29
*	yieldtypesafe and yieldreachability automatons are separated.	kuruis	2013-12-29
*	fixed vc generation so that even when builtin array functions are used,	qadeer	2013-12-28
*	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
* \|	Merge	qadeer	2013-12-23
\|\\|
* \|	updates	qadeer	2013-12-23
\| *	Automata debugging done on YieldTypeChecker.	kuruis	2013-12-23
\|/
*	more bug fixes	qadeer	2013-12-22
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22