debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	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
* \|	strengthened type checking w.r.t. qed vs non-qed global variables	qadeer	2013-12-21
* \|	more refactoring of the concurrency stuff	qadeer	2013-12-20
* \|	comparison of phase_num checks updated	kuruis	2013-12-20
* \|	Minor Changes in YieldTypeChecker	kuruis	2013-12-19