debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Sync timeout messages with Z3 prover interface	Michal Moskal	2011-10-21
*	Don't pass /T: option to Z3 - it kills Z3 prematurely when there are multiple...	Michal Moskal	2011-10-21
*	Improve logging when -proverOpt:VERBOSITY=1 or 2 is specified	Michal Moskal	2011-10-21
*	Merge	Michal Moskal	2011-10-19
\|\
* \|	VCC: support some more _(blob ...) buisness	Michal Moskal	2011-10-19
\| *	Merge	Rustan Leino	2011-10-19
\| \|\
\| * \|	Dafny: fixed performance-buggy translation of exists, and also added some oth...	Rustan Leino	2011-10-19
* \| \|	BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ...	Michal Moskal	2011-10-19
\| \|/ \|/\|
* \|	Performance improvements in BVD	Michal Moskal	2011-10-19
\|/
*	VCC: Fix problem with booleans being displayed as maps	Michal Moskal	2011-10-19
*	Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)	Unknown	2011-10-19
*	added houdini to regression	qadeer	2011-10-17
*	revised implementation of proc copy bounding	qadeer	2011-10-16
*	added membership tests	qadeer	2011-10-05
*	implementing datatypes	qadeer	2011-10-05
*	Link Model.cs in ModelViewer, so that BVD can be updated independtly of the r...	Michal Moskal	2011-10-03
*	Merge	Unknown	2011-09-30
\|\
* \|	Started working on inter-procedural inference	Unknown	2011-09-30
\| *	Merge	Rustan Leino	2011-09-30
\| \|\
\| * \|	Dafny: fixed bug in translator when LHS of a call was an array element or a nat	Rustan Leino	2011-09-30
* \| \|	Merge	Unknown	2011-09-30
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Changes to GPUVerify	Unknown	2011-09-30
\| * \|	bug fix in houdini	qadeer	2011-09-30
* \| \|	Refactoring and reorganisation of GPUVerify	Unknown	2011-09-30
\|/ /
\| *	Dafny: improved a resolution error message, and fixed a crash in the resolver	Rustan Leino	2011-09-29
* \|	Added missing files	Unknown	2011-09-29
* \|	Merge	Unknown	2011-09-29
\|\\|
* \|	Made use of Houdini optional	Unknown	2011-09-29
\| *	VCC: Support _(blob ..) types; fix crash	Michal Moskal	2011-09-28
\| *	Merge	Rustan Leino	2011-09-28
\| \|\
* \| \	Merge	Unknown	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	Unknown	2011-09-27
\|\\| \|
* \| \|	Progress on GPUVerify	Unknown	2011-09-27
\| * \|	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