debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	VCC: Support _(blob ..) types; fix crash	Michal Moskal	2011-09-28
*	Merge	Rustan Leino	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
\| * \|	Name the constant used in @MV_state function applications - otherwise we get ...	Michal Moskal	2011-09-26
\| \| *	Merge	qadeer	2011-09-24
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	bitvector fixes	qadeer	2011-09-24
\| * \|	BVD/VCC: Handle reading records/data types from memory	Michal Moskal	2011-09-23
\| * \|	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 viola...	wuestholz	2011-09-23
\| \|/
\| *	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
* \|	Merge	Rustan Leino	2011-09-17
\|\ \
\| \| *	Dafny: Added support for attributes on methods and constructors.	wuestholz	2011-09-16
\| \| *	Fixed test failures in the "Checked" configuration.	wuestholz	2011-09-19
\| \|/
\| *	Added "free call" statements that don't check the precondition in the caller.	wuestholz	2011-09-14
\| *	Merge	Unknown	2011-09-14
\| \|\
\| \| *	fixed bug in data value generation	qadeer	2011-09-13
\| * \|	Merge	Unknown	2011-09-13
\| \|\\|
\| \| *	Added some extra functionality to Model code for corral	Unknown	2011-09-13
\| \| *	fixes to model value generation for stratified inlining	qadeer	2011-09-12
* \| \|	Dafny: generate a compiler error upon encountering an assume statement	Rustan Leino	2011-09-11
* \| \|	Dafny: fixed compilation bug (datatype equality had used pointer equality, no...	Rustan Leino	2011-09-11
* \| \|	Dafny: fixed compilation error where type of target "null" was undetermined	Rustan Leino	2011-09-11
\| \| *	Merge	qadeer	2011-09-08
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	further fixes	qadeer	2011-09-08
\| * \|	Merge	Unknown	2011-09-08
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Various changes to GPUVerify	Unknown	2011-09-08
* \| \|	Merge	Rustan Leino	2011-09-08
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Dafny: fixed parsing bug with "!in"	Rustan Leino	2011-09-08
\| * \|	minor fixes	qadeer	2011-09-07
\| * \|	Merge	qadeer	2011-09-07
\| \|\ \
\| \| \| *	Completed basic version of GPUVerify tool	Unknown	2011-09-07
\| \| * \|	Improvement for ProcCopyBounding	Unknown	2011-09-07
\| * \| \|	bug fix	qadeer	2011-09-06
\| * \| \|	Merge	qadeer	2011-09-06
\| \|\\| \|
\| * \| \|	further fixes	qadeer	2011-09-06
\| \| * \|	check in support for generalized array theory	Unknown	2011-09-06
\| * \| \|	partial check in regarding getting states working with stratified inlining	qadeer	2011-09-06
\| \| * \|	Fix printing of (Array ...) types with /useArrayTheory	Michal Moskal	2011-09-06
\| \| * \|	Support multi-dimensional arrays in SMTLib2 backend (using Z3 extension though)	Michal Moskal	2011-09-06
\| \| \| *	Added driver script and GPUVerify libary. The driver script works around the...	Unknown	2011-09-06