debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Dafny: improved a resolution error message, and fixed a crash in the resolver	Rustan Leino	2011-09-29
\|
*	Dafny: Added TreeBarrier as a test case	peter mueller peter.mueller@inf.ethz.ch	2011-09-29
\|
*	Boogie build succeeded	CodeplexBot	2011-09-29
\|
*	- updated the examples to use the new keywords (interface/datamodel)	Aleksandar Milicevic	2011-09-29
\| \| \| \| \| \|	- updated the README.txt file with instructions on how to run examples - added descriptions for command-line switches - changed genMod option to be true by default
*	VCC: Support _(blob ..) types; fix crash	Michal Moskal	2011-09-28
\|
*	Merge	Rustan Leino	2011-09-28
\|\
* \|	Jennisys: change of keywords, now: interface/datamodel/code	Rustan Leino	2011-09-28
\| \| \| \| \| \| \| \|	Jennisys: allow assignment statements in interfaces (for now, these are syntactic sugar for ensures clauses)
\| *	Chalice build succeeded	CodeplexBot	2011-09-28
\| \|
\| *	Boogie build succeeded	CodeplexBot	2011-09-28
\| \|
\| *	Merge	qadeer	2011-09-27
\| \|\
\| * \|	updated Houdini so it works with SMTLib	qadeer	2011-09-27
\| \| \|
\| \| *	Bug fix to stratified inlining error trace values	Unknown	2011-09-28
\| \|/
\| *	Merge	qadeer	2011-09-27
\| \|\
\| * \|	fixed houdini so that it is cognizant of inlined procedures	qadeer	2011-09-27
\| \| \|
\| * \|	Updated the ANSWER file for 'test15'.	wuestholz	2011-09-27
\| \| \|
\| * \|	Chalice: Added missing reference output for AVLTree examples	mschwerhoff	2011-09-27
\| \| \|
\| * \|	Tagging EMIC CC.NET build 2.1.30927.0	VccBuildServer	2011-09-27
\| \| \|
\| * \|	Name the constant used in @MV_state function applications - otherwise we get ↵	Michal Moskal	2011-09-26
\| \| \| \| \| \| \| \| \| \| \| \|	invalid Z3 files
\| \| *	Merge	qadeer	2011-09-24
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	bitvector fixes	qadeer	2011-09-24
\| \| \|
\| * \|	Tagging EMIC CC.NET build 2.1.30924.1	VccBuildServer	2011-09-24
\| \| \|
\| * \|	BVD/VCC: Handle reading records/data types from memory	Michal Moskal	2011-09-23
\| \| \|
\| * \|	Tagging EMIC CC.NET build 2.1.30924.0	VccBuildServer	2011-09-24
\| \| \|
\| * \|	Better support for map types	Michal Moskal	2011-09-23
\| \| \|
\| * \|	Handle datatypes and records	Michal Moskal	2011-09-23
\| \| \|
\| * \|	Add handling of union active options	Michal Moskal	2011-09-23
\| \| \|
\| * \|	Make sure items are visible when navigating the model with arrow keys	Michal Moskal	2011-09-23
\| \| \|
\| * \|	Dafny: Added some assertions.	wuestholz	2011-09-23
\| \| \|
\| * \|	Dafny: Added a 'Checked' configuration and fixed some runtime assertion ↵	wuestholz	2011-09-23
\| \|/ \| \| \| \| \| \|	violations.
* \|	Jennisys: added /break flag as a convenient way to break into the debugger	Rustan Leino	2011-09-21
\| \|
\| *	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-09-21
\| \|
\| *	Tree navigation with left/right arrow	Michal Moskal	2011-09-20
\| \|
\| *	Formatting.	Michal Moskal	2011-09-20
\| \|
\| *	Dafny: Fixed an assertion violation in the "Checked" configuration.	wuestholz	2011-09-20
\| \|
\| *	Boogie build succeeded, 7 test(s) failed	CodeplexBot	2011-09-20
\| \|
\| *	Adapted batch file to use larger JVM stack size.	peter mueller peter.mueller@inf.ethz.ch	2011-09-19
\| \|
\| *	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2011-09-19
\| \|
* \|	Merge	Rustan Leino	2011-09-17
\|\ \
\| \| *	Dafny: Added support for attributes on methods and constructors.	wuestholz	2011-09-16
\| \| \|
\| \| *	Chalice build succeeded, 2 test(s) failed	CodeplexBot	2011-09-19
\| \| \|
\| \| *	Fixed test failures in the "Checked" configuration.	wuestholz	2011-09-19
\| \| \|
\| \| *	Boogie build succeeded, 27 test(s) failed	CodeplexBot	2011-09-19
\| \| \|
\| \| *	Chalice: Modified chalice.bat s.t. it checks if all Java classpath elements ↵	mschwerhoff	2011-09-19
\| \| \| \| \| \| \| \| \| \| \| \|	exist
\| \| *	Chalice build succeeded, 64 test(s) failed	CodeplexBot	2011-09-19
\| \| \|
\| \| *	Chalice build succeeded, 64 test(s) failed	CodeplexBot	2011-09-19
\| \|/
\| *	Added "free call" statements that don't check the precondition in the caller.	wuestholz	2011-09-14
\| \|
\| *	Chalice: Modified chalice.bat s.t. it uses the Scala libraries downloaded ↵	mschwerhoff	2011-09-16
\| \| \| \| \| \| \| \|	but Sbt. This releaves the user from having to ensure that he/she has the same Scala version in the path as used by Sbt to build Chalice.
\| *	Chalice: Modified sbt.bat s.t. JAVA_OPTS are forwarded to the JVM.	mschwerhoff	2011-09-15
\| \|
\| *	Merge	Unknown	2011-09-14
\| \|\
\| \| *	fixed bug in data value generation	qadeer	2011-09-13
\| \| \|