debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|\ \
\| * \|	Fix stub support (still not completely finished).	Unknown	2011-04-12
\| \| *	Jennisys: First cut of injectivity analysis	Rustan Leino	2011-04-11
\| \|/ \|/\|
* \|	Automated merge with https://hg01.codeplex.com/boogie	Rustan Leino	2011-04-07
\|\ \
\| * \|	Jennisys: Allow model members to occur in any order	Rustan Leino	2011-04-07
\| * \|	Jennisys: Refined parsing of expressions, frames, and routine bodies	Rustan Leino	2011-04-07
\| * \|	Ignore other temporary files, including emacs backup files	Rustan Leino	2011-04-07
\| * \|	Jennisys: Improved parsing by using operator binding powers	Rustan Leino	2011-04-07
\| * \|	Forro: Fixed bug in binding power	Rustan Leino	2011-04-07
\| * \|	Jennisys: Parse and print	Rustan Leino	2011-04-07
\| * \|	Jennisys: some initial files (with no real contents)	Rustan Leino	2011-04-06
* \| \|	Introduce states more aggressively. Show is_null() for pointers.	Michal Moskal	2011-04-06
* \| \|	Test commit	Michal Moskal	2011-04-05
\|/ /
* \|	Dafny: don't require parentheses in syntax of "choose" statements	Rustan Leino	2011-04-05
* \|	branch merge	Rustan Leino	2011-04-05
\|\ \
* \| \|	Dafny: Allow field selections and array-element selection as LHSs of assignme...	Unknown	2011-04-05
\| * \|	Boogie build succeeded	CodeplexBot	2011-04-05
\| * \|	Deleting tags generated during build server tests	Stephan Tobies	2011-04-05
\| * \|	Tagging CC.NET build 2.1.30405.3	VccBuildServer	2011-04-05
\| * \|	Tagging CC.NET build 2.1.30405.2	VccBuildServer	2011-04-05