debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Some more changes to AbsHoudini	akashlal	2012-12-28
\|
*	minor bug fix	Unknown	2012-12-27
\|
*	Added expression evaluation API	Unknown	2012-12-27
\|
*	AbstractHoudini optimization: replace summary predicate with Boolean variables	Unknown	2012-12-21
\| \| \| \|	(just like stratified inlining)
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
\|
*	AbstractHoudini: more fixes, for self-recursion	akashlal	2012-12-16
\| \| \| \|	and Bilateral at the same time.
*	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
\| \| \| \| \| \| \| \|	and assert commands in implementations have existential constants
* \|	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
\|
*	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 ↵	Rustan Leino	2012-11-20
\| \| \| \|	(http://boogie.codeplex.com/SourceControl/network/forks/stefanheule/boogiez3exefix/contribution/3667)
*	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
\| \| \| \|	Currently only predicate-abstraction domain is supported.
*	Updated PrepareBoogieZip.bat file for the binary release that just went out ↵	Rustan Leino	2012-10-22
\| \| \| \|	on Codeplex
*	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 ↵	Unknown	2012-10-08
\| \| \| \| \| \| \| \|	ProverInterface::CheckAssumptions.
* \|	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 ↵	Rustan Leino	2012-10-03
\| \| \| \| \| \| \| \|	improvements / bug fixes
* \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- moved doomed and predication code into separate projects; for doomed there is a static dependency from BoogieDriver but for predication even that dependency has been eliminated - deleted Provers\Simplify and Provers\Z3 - removed Provers\Z3api from the solution - consolidated Core\GraphAlgorithms.cs VCGeneration\GraphAlgorithms.cs into Graph\Graph.cs
* \|	Dafny: changed iterator body to resolve to implicit fields rather than to ↵	Rustan Leino	2012-10-02
\| \| \| \| \| \| \| \|	the formal in- and yield-parameters
* \|	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
\| \| \| \| \| \| \| \|	Merged recent changes to BoogieDriver into GPUVerifyBoogieDriver.
\| *	Merge	Unknown	2012-10-01
\| \|\
\| * \|	Fix to abstract interpretation to match Boogie.	Unknown	2012-10-01
\| \| \|