debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| *	Added expression evaluation API	Unknown	2012-12-27
\| *	AbstractHoudini optimization: replace summary predicate with Boolean variables	Unknown	2012-12-21
* \|	Merge	Unknown	2012-12-20
\|\\|
* \|	Support for "do_not_predicate" in predication of requires and ensures	Unknown	2012-12-20
\| *	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
\| *	AbstractHoudini: more fixes, for self-recursion	akashlal	2012-12-16
\| *	AbstractHoudini: bug fixes	akashlal	2012-12-16
\| *	AbstractHoudini: support for generating a witness	Unknown	2012-12-15
\| *	Added some comments	akashlal	2012-12-12
\| *	Missed checking this in.	akashlal	2012-12-12
\| *	Merge	akashlal	2012-12-12
\| \|\
\| * \|	First implementation of ExplainHoudini	Unknown	2012-12-12
\| \| *	Houdini: allow cross-dependencies between procedures that occurs when assume	Unknown	2012-12-11
\| * \|	More stuff for abstract houdini; updated test case	Unknown	2012-12-10
\| \|/
\| *	Bug fix for abstract-houdini	Unknown	2012-12-07
\| *	Allow richer spec for abs-houdini	Unknown	2012-12-03
* \|	A simplification to predication of requires and ensures.	Unknown	2012-11-29
* \|	Fixes to uniformity analysis.	Unknown	2012-11-29
\| *	when a query times out, all asserted candidates are dropped	Unknown	2012-11-25
\| *	Boogie build failed	CodeplexBot	2012-11-23
\| *	Disengaged Dafny tests	Rustan Leino	2012-11-20
\| *	Incorporated contribution 3667, which fixes bug in /z3exe flag (http://boogie...	Rustan Leino	2012-11-20
\| *	Chalice build succeeded, 87 test(s) failed	CodeplexBot	2012-11-20
\| *	Gather set of procedures with irreducible loops.	Unknown	2012-11-18
\| *	Minor refactorings for integrating corral	Unknown	2012-11-18
\| *	Added Abstract Houdini: an implementation of Houdini based on abstract domains.	Unknown	2012-11-05
\| *	Updated PrepareBoogieZip.bat file for the binary release that just went out o...	Rustan Leino	2012-10-22
\| *	Merge	Unknown	2012-10-22
\| \|\
\| * \|	include Test/datatypes	Unknown	2012-10-22
\| \| *	Dafny: adjusted Answer file for reordering	Rustan Leino	2012-10-18
\| \|/
\| *	Merge	Unknown	2012-10-18
\| \|\ \| \|/ \|/\|
\| *	Dafny: added new SoundLoopUnrolling parameter	Unknown	2012-10-18
* \|	Fix for parsing error in MAXSAT computation in ProverInterface::CheckAssumpti...	Unknown	2012-10-08
\| *	added sound loop unrolling	Yannick Welsch	2012-07-03
\|/
*	Boogie build failed	CodeplexBot	2012-10-05
*	deleted unnecessary files	Unknown	2012-10-04
*	Dafny: fixed merge	Rustan Leino	2012-10-04
*	Merge	Rustan Leino	2012-10-04
\|\
* \|	Dafny: complete implementation of iterators	Rustan Leino	2012-10-03
\| *	Boogie build failed	CodeplexBot	2012-10-04
* \|	Dafny: automatically update iterator _new field upon allocations	Rustan Leino	2012-10-03
* \|	Dafny: fixed compiler bug in array allocation (reported as boogie:397957)	Rustan Leino	2012-10-03
* \|	Dafny: good error locations for yield statements; other iterator improvements...	Rustan Leino	2012-10-03
* \|	Dafny: more part of verifying iterators	Rustan Leino	2012-10-03
\| *	changed the signing to ..\InterimKey.snk	qadeer	2012-10-03
\| *	bunch of refactorings	Unknown	2012-10-03
* \|	Dafny: changed iterator body to resolve to implicit fields rather than to the...	Rustan Leino	2012-10-02
* \|	Dafny: handle decreases clause for iterators	Rustan Leino	2012-10-02
* \|	Dafny: incomplete snapshot of verification of iterators	Rustan Leino	2012-10-02
\| *	Fixed GPUVerify solution.	Unknown	2012-10-01