debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Use SMT2 syntax for sign_extend	Michal Moskal	2011-08-22
*	reverting irreducible handling temporarily	qadeer	2011-08-21
\|\
* \	Merge	qadeer	2011-08-20
\|\ \
* \| \|	added code to handle irreducible graphs	qadeer	2011-08-20
\| * \|	Merge	Rustan Leino	2011-08-18
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Dafny: fixed bug in looking at the arguments of the :induction attribute	Rustan Leino	2011-08-18
* \| \|	minor refactoring	qadeer	2011-08-17
* \| \|	deleted lazyinlining option 2 and 3	qadeer	2011-08-17
* \| \|	Merge	Michal Moskal	2011-08-16
\|\ \ \
\| * \| \|	Dafny: Fixed a bug in the printer that led to a stack overflow.	wuestholz	2011-08-11
\| * \| \|	Added "procedure-copy bounding" for lazy inlining	Unknown	2011-08-10
\| * \| \|	further updates to bit vector analysis	qadeer	2011-08-09
\| * \| \|	more changes to bitvector analysis	qadeer	2011-08-09
\| * \| \|	another bug fix in bct	qadeer	2011-08-08
\| * \| \|	added a new file and fixed a bug in bct	qadeer	2011-08-08
\| * \| \|	various changes to boogie for bitvector analysis and bctprovider	qadeer	2011-08-08
* \| \| \|	Fix null-ref	Michal Moskal	2011-08-07
\| * \| \|	further updates to bctprovider	qadeer	2011-08-05
\| * \| \|	first add	qadeer	2011-08-05
\| * \| \|	fixed the key signing problem with houdini	qadeer	2011-08-05
\| * \| \|	further changes for making houdini work	qadeer	2011-08-04
\| * \| \|	Merge	qadeer	2011-08-04
\| \|\\| \|
\| * \| \|	cleaned up houdini options	qadeer	2011-08-04
\| \| * \|	Merge	Rustan Leino	2011-08-04
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	full port of houdini project	qadeer	2011-08-04
\| * \| \|	Merge	qadeer	2011-08-03
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
\|/ / /
\| * /	Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)	Rustan Leino	2011-08-03
\|/ /
* \|	release build should not have z3api being built	Unknown	2011-07-28
* \|	Dafny: re-ran parser generator to include semicolon-less body-less functions/...	Rustan Leino	2011-07-26
* \|	Merge	Jason Koenig	2011-07-15
\|\ \
* \| \|	Added compilation support for multisets and sequences from arrays.	Jason Koenig	2011-07-15
\| * \|	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
* \| \|	Merge	Jason Koenig	2011-07-14
\|\\| \|
* \| \|	Fixed bug where wellformedness for E in multiset(E) was checked in the "old" ...	Jason Koenig	2011-07-14
* \| \|	Added multiset from sequence axioms, removed array range RHSs. Fixed issue wi...	Jason Koenig	2011-07-13
\| * \|	Another test checkin	Michal Moskal	2011-07-12
* \| \|	Fixed printing of multisets.	Jason Koenig	2011-07-11
* \| \|	Multiset forming operators added.	Jason Koenig	2011-07-11
\| * \|	Merge	Rustan Leino	2011-07-11
\| \|\ \
\| * \| \|	Dafny: allow constructors only inside classes, removed semi-colons at end of ...	Rustan Leino	2011-07-11
* \| \| \|	Merge	Jason Koenig	2011-07-11
\|\ \ \ \
* \ \ \ \	Merge	Jason Koenig	2011-07-11
\|\ \ \ \ \
* \| \| \| \| \|	Added s[..] syntax in anticipation of sequence forming operation. (also updat...	Jason Koenig	2011-07-11
\| \| \| \| * \|	- fixed a bug in DafnyModelUtils.fs (reading set values from models)	Unknown	2011-07-11
\| \| \|_\|/ / \| \|/\| \| \|
\| \| * \| \|	Partial implementation of multisets.	Jason Koenig	2011-07-11
\| \|/ / / \|/\| \| \|
\| * \| \|	async call return value is either int or bv32	qadeer	2011-07-09
\| * \| \|	Merge	qadeer	2011-07-09
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	fixed bug in vcgen for bitvectors	qadeer	2011-07-09
\| \|/ /
* / /	Dafny: Dafny now uses the Euclidean definition of division. (Verifier and run...	Jason Koenig	2011-07-08
\|/ /