debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|/
*	Dafny: Fixed bug in call statements where mutability of out parameters was no...	Jason Koenig	2011-07-06
*	Merge	Jason Koenig	2011-07-05
\|\
* \|	Dafny: Added chaining of disjoint (!!) using transitive chaining convention.	Jason Koenig	2011-07-05
\| *	ExtractLoops calls the same code for eliminating unreachable blocks that norm...	qadeer	2011-07-05
\| *	Don't send (check-sat) after error limit is reached	Michal Moskal	2011-07-05
\| *	Merge	Michal Moskal	2011-07-05
\| \|\ \| \|/ \|/\|
* \|	Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th...	Unknown	2011-07-05
* \|	Added the /noCheating option. (treats assume as assert and drops free.)	Jason Koenig	2011-07-01
\| *	Update the RECENT_Z3 #define to include SORT_AND_OR	Michal Moskal	2011-06-30
\| *	Add /T: option to Z3 to kill it if it exceeds soft timeout by more than 1s	Michal Moskal	2011-06-30
\| *	Allow : instead of = in options	Michal Moskal	2011-06-30
\| *	SMTLib: Only use (set-logic ...) when requested; quote some more symbols	Michal Moskal	2011-06-30
* \|	Added option to force Dafny compilation, even if verification fails.	Jason Koenig	2011-06-30
* \|	Refactored update statement resolution to its own method.	Jason Koenig	2011-06-30
* \|	Refactor. Renamed update statement field and removed unused field in AST.	Jason Koenig	2011-06-30
\|/
*	Removed tab characters.	Jason Koenig	2011-06-29
*	Merge	Jason Koenig	2011-06-29
\|\
* \|	Added returns with parameters to printer.	Jason Koenig	2011-06-29
* \|	Fixed bug in compiler relating to returns with parameters.	Jason Koenig	2011-06-29
* \|	Stable implementation of return statements with parameters.	Jason Koenig	2011-06-29
* \|	Made Receiver mutable, as this cannot be linked properly by the parser.	Jason Koenig	2011-06-29
\| *	Merge	Rustan Leino	2011-06-29
\| \|\
\| * \|	Boogie: use (WEIGHT 0) with the select-of-store axioms	Rustan Leino	2011-06-29
* \| \|	Initial implementation of return statments with parameters.	Jason Koenig	2011-06-29
\| \|/ \|/\|
* \|	Removed development comments.	Jason Koenig	2011-06-29
* \|	Merge	Jason Koenig	2011-06-28
\|\ \
* \| \|	Initial modifies on loops implementation. Still some errors remaining.	Jason Koenig	2011-06-28
\| * \|	ported all the counterexample code to Michal's new Model class; the goal is t...	Unknown	2011-06-27
\|/ /
* \|	Fixed non-incremental option of stratified inlining	Unknown	2011-06-27
* \|	FindLeastToVerify: accept multiple procedures	Unknown	2011-06-26