debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| * \|	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
\| \| \| *	Added build version stamping for Houdini.dll	stobies	2011-09-05
\| \| \|/
\| \| *	further fixes; temporarily commented out	qadeer	2011-09-03
\| \| *	Merge	qadeer	2011-09-02
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	adding support for accessing Z3's generalized array theory	qadeer	2011-09-02
* \| \|	Added GPUVerify project	Unknown	2011-09-02
\| \|/ \|/\|
* \|	further edits	qadeer	2011-09-01
* \|	improved bitvector analysis	qadeer	2011-09-01
* \|	Merge	Michal Moskal	2011-08-30
\|\ \