debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	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
\| *	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
\|\ \
* \| \|	Options.PostParse() is called by Parse(), so set command-line-derived options...	Michal Moskal	2011-08-30
\| * \|	Merge	qadeer	2011-08-29
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	more changes to bitvector analysis	qadeer	2011-08-29
* \| \|	Merge	Michal Moskal	2011-08-29
\|\ \ \
* \| \| \|	Add PROVER_PATH prover option (to base options, but currently only used by SM...	Michal Moskal	2011-08-29
\| * \| \|	Bug fix for Proc-Copy-Bounding	Unknown	2011-08-28
\| \|/ /
\| * \|	Procedure Copy Bounding for Stratified Inlinig	Unknown	2011-08-25
\| * \|	Fixed a bug with "don't care" return value on an async call	Unknown	2011-08-24
\|/ /
* /	Support for irreducible graphs (with extractLoops)	Unknown	2011-08-24
\|/