debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	LetVC can get null label2absy from lazy inlining. So, I weakened the precond...	qadeer	2011-05-03
*	Fixed lots of bugs having to do with casts, conversions, and address-of	Mike Barnett	2011-05-03
*	Merge	Mike Barnett	2011-05-03
\|\
\| *	Ignored some new files.	Mike Barnett	2011-05-03
\| *	Fix creation of valid identifiers for methods with multi-dimensional	Mike Barnett	2011-05-03
\| *	Trying to fix "boxing", i.e., value type to ref conversions as done in the CLR.	Mike Barnett	2011-05-03
* \|	bug fixes related to handling of structs, arrays, and assignments	qadeer	2011-05-02
\|/
*	The decompilation is not guaranteed to get rid of all push statements and pop	Mike Barnett	2011-04-29
*	fixed a bug in struct handling	qadeer	2011-04-28
*	Use (get-model) Z3 command; quote skolem-ids	Michal Moskal	2011-04-28
*	Merge	Mike Barnett	2011-04-28
\|\
* \|	Add a method to the Sink that is responsible for creating a Boogie expression	Unknown	2011-04-28
\| *	Fix parsing of (labels) Z3 response; complain about unrecognized responses there	Michal Moskal	2011-04-28
\| *	Use :reason-unknown not :last-failure for Z3 in SMT mode; disable SORT_AND_OR...	Michal Moskal	2011-04-28
* \|	merge	Unknown	2011-04-27
\|\ \ \| \|/ \|/\|
\| *	modeling struct creation by default value	Unknown	2011-04-27
\| \|\
* \| \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-04-28
\|/ /
\| *	Model newly constructed structs as a constant DefaultStruct that has axioms that	Unknown	2011-04-27
* \|	first check in	qadeer	2011-04-27
\| *	merge changes with shaz's checkin.	Unknown	2011-04-27
\|/\|
\| *	Trying to get structs supported.	Unknown	2011-04-27
* \|	fixes to struct translation	qadeer	2011-04-27
* \|	fixed a bug in ComputeAllLabels	qadeer	2011-04-27
* \|	Merge	qadeer	2011-04-27
\|\\|
* \|	fixing problems with struct translation	qadeer	2011-04-27
\| *	Add translation for conversion expressions, at least between bool and int.	Unknown	2011-04-26
\|/
*	Merge	qadeer	2011-04-23
\|\
* \|	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
\| *	Boogie build succeeded, 25 test(s) failed	CodeplexBot	2011-04-23
* \|	Merge	qadeer	2011-04-22
\|\\|
* \|	in the middle of trying to implement structs	qadeer	2011-04-22
\| *	Merge with 1038	Rustan Leino	2011-04-22
\| \|\
\| * \|	BVD: Smaller initial window (to better fit on a laptop screen)	Rustan Leino	2011-04-22
\| * \|	Jennisys: a (failed) attempt at getting a model from which one could generate...	Rustan Leino	2011-04-22
\| \| *	Updates for the latest changes in Z3's SMT2 parser	Michal Moskal	2011-04-22
\| \|/ \|/\|
* \|	Changed label checking for goto targets in StmtList so that they can be any l...	qadeer	2011-04-21
\| *	Dafny: Fix parsing of if-then-else expressions, and don't require parentheses...	Rustan Leino	2011-04-21
* \|	Added translation for "x is T" expressions.	Unknown	2011-04-21
\| *	Dafny: Alternative (and candidate replacement) syntax for declaring datatypes	Rustan Leino	2011-04-20
\|/
*	Dafny: added type "nat"	Rustan Leino	2011-04-19
*	Automated merge with https://hg01.codeplex.com/boogie	Rustan Leino	2011-04-16
\|\
* \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-04-16
* \|	Merge	qadeer	2011-04-15
\|\ \
* \| \|	modified letvc generation so that the use of control flow function and labels...	qadeer	2011-04-15
\| * \|	Add "Large font" menu item (for demos)	Michal Moskal	2011-04-15
\|/ /
* \|	merge	Unknown	2011-04-14
\|\ \
* \| \|	added reachability information to the VC and used that to support arbitrary a...	Unknown	2011-04-14
\| * \|	Stratified Inlining: minor bux fix with recording model values	Unknown	2011-04-14
\| * \|	Dafny: added manual proofs for 5 theorems in Rippling.dfy	Rustan Leino	2011-04-12
\|/ /
* \|	merging in my changes i committed in 999.	Unknown	2011-04-12
\|\ \