debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	fixed some tests in og	qadeer	2014-07-11
*	various fixes	qadeer	2014-06-02
*	a small fix	qadeer	2014-05-21
*	added {:aux} attribute to local variables	qadeer	2014-05-07
*	second checkpoint	qadeer	2014-05-04
*	checkpoint	qadeer	2014-05-03
*	updated the mover checks	qadeer	2014-04-25
*	added the framing for the refinement check	qadeer	2014-04-16
*	added variable hiding	qadeer	2014-04-16
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...	Rustan Leino	2014-02-24
*	fixed a problem with the nonblocking check	qadeer	2014-02-10
*	various bug fixes	qadeer	2014-01-21
*	Clean up of yield type checker	qadeer	2014-01-16
*	fixed lots of bugs in mover checking code	qadeer	2014-01-14
*	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
*	some bugs fixed on yiledtypechecker	kuruis	2013-12-31
*	made some fixes to type checking of atomic actions	qadeer	2013-12-31
*	yieldtypesafe and yieldreachability automatons are separated.	kuruis	2013-12-29
*	more bug fixes	qadeer	2013-12-24
*	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
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
*	fixed type checking errors in QED stuff	qadeer	2013-12-14
*	fixes to type checking code	qadeer	2013-12-11
*	some refactoring of QED stuff	qadeer	2013-12-10
*	various updates	qadeer	2013-12-09
*	added some type checking code	qadeer	2013-11-25
*	moved some files around	qadeer	2013-11-22