debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Allow richer spec for abs-houdini	Unknown	2012-12-03
*	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
\| *	Merge	Unknown	2012-10-01
\| \|\
\| * \|	Fix to abstract interpretation to match Boogie.	Unknown	2012-10-01
\| \| *	Chalice: Two new test-cases for recently fixed problems.	stefanheule	2012-10-01
\| \| *	Chalice: Disallow unfolding expressions in postconditions.	stefanheule	2012-10-01
\| \| *	Chalice: Fix bug in detecting permissions in postconditions.	stefanheule	2012-10-01
\| \| *	Chalice: Let the trigger for the function postcondition axiom be more permiss...	stefanheule	2012-10-01
\| \| *	Updated the 'PrepareBoogieZip.bat' script.	wuestholz	2012-10-01
\| \| *	Merge	stefanheule	2012-09-30
\| \| \|\
\| \| * \|	Chalice: Use new 'mod' and 'div' operators of Boogie for division and modulo.	stefanheule	2012-09-30
\| \| * \|	Chalice: Remove superfluous comment.	stefanheule	2012-09-30
\| \| * \|	Chalice: Clean up /percentageSupport command line option to adapt to the usag...	stefanheule	2012-09-30
\| \| * \|	Chalice: Activate the test-case tests/permission-model/scaling.chalice that w...	stefanheule	2012-09-30
\| \| * \|	Chalice: Fix some problems related to the use of reals in Boogie.	stefanheule	2012-09-30
* \| \| \|	Dafny: fixed compilation issue (a datatype is now allowed to be called "d")	Rustan Leino	2012-09-29
\| \| * \|	Chalice: Further changes to make permissions use the Boogie type real.	stefanheule	2012-09-29
\| \| * \|	Chalice: Make permissions use the Boogie type real.	stefanheule	2012-09-29
\| \| * \|	Chalice: Extend the Boogie AST with real literals.	stefanheule	2012-09-29