debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: allow constructors only inside classes, removed semi-colons at end of ...	Rustan Leino	2011-07-11
*	Merge	Jason Koenig	2011-07-06
\|\
* \|	Dafny: Fixed bug in call statements where mutability of out parameters was no...	Jason Koenig	2011-07-06
\| *	Merge	Unknown	2011-07-06
\| \|\ \| \|/ \|/\|
\| *	- implemented some sorts of symbolic evaluation of expressions	Unknown	2011-07-06
* \|	Chalice: fix workitem 10194 (unfolding and old-expressions).	stefanheule	2011-07-06
* \|	Chalice: fix workitem 10199 (partial unfolding of nested predicates).	stefanheule	2011-07-06
\| *	- implemented synthesis of some simple constructors with parameters	Unknown	2011-07-05
* \|	Merge	Jason Koenig	2011-07-05
\|\ \
* \| \|	Dafny: Updated regression tests to include chaining disjoint operators.	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
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	Chalice: fix workitem 8236 (lockchange on return values causes invalid Boogie...	stefanheule	2011-07-05
* \| \|	Merge	mschwerhoff	2011-07-05
\|\ \ \
* \| \| \|	Chalice: Removed debug code	mschwerhoff	2011-07-05
\| * \| \|	Chalice: Four new interesting Chalice examples (added to test suite with the ...	stefanheule	2011-07-05
\|/ / /
* \| \|	Merge	mschwerhoff	2011-07-05
\|\ \ \
* \| \| \|	Chalice: Fixed a bug that prevented Chalice from correctly dealing with Boogi...	Unknown	2011-07-05
\| * \| \|	Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th...	Unknown	2011-07-05
\|/ / /
* \| \|	Chalice: Completely switch to new testing scripts (more flexible and fine-gra...	stefanheule	2011-07-05
* \| \|	Merge	qadeer	2011-07-04
\|\ \ \
* \| \| \|	1. generating a separate dipatchcontinuation label for each trycatchfinally ...	qadeer	2011-07-04
\| \| \| *	added some doc comments	Unknown	2011-07-03
\| \| \| *	- when analyzing a constructor, repeated "assume <inv>" statement explicitly	Unknown	2011-07-02
\| \| \| *	- generates "Valid()" for preconditions	Unknown	2011-07-01
\| \| \| *	- removed the "Constructor" discriminator from type Member, and added a	Unknown	2011-07-01
\| * \| \|	Merge	Jason Koenig	2011-07-01
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	Added the /noCheating option. (treats assume as assert and drops free.)	Jason Koenig	2011-07-01
* \| \| \|	Chalice: New permission model that provides more abstraction and more flexibi...	stefanheule	2011-07-01
* \| \| \|	bug fix in heap access for splitfield option	qadeer	2011-06-30
\|/ / /
\| * \|	Update the RECENT_Z3 #define to include SORT_AND_OR	Michal Moskal	2011-06-30
\| * \|	Let = in options be passed down to the runtest.bat	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
* \| \|	Merge	Jason Koenig	2011-06-30
\|\\| \|
* \| \|	Refactor. Renamed update statement field and removed unused field in AST.	Jason Koenig	2011-06-30
\| * \|	Boogie build succeeded	CodeplexBot	2011-06-30
* \| \|	Added additional test case to modifies on loops tests.	Jason Koenig	2011-06-29
\|/ /
* \|	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
* \| \|	Added regression tests for new return statements 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