debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Pantazis Deligiannis	2013-07-15
\|\
* \|	added another regression	qadeer	2013-07-15
* \|	1. changed values passed to additional parameters to procedures; async and pa...	qadeer	2013-07-14
* \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\| *	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...	Pantazis Deligiannis	2013-07-07
* \|	Added an option to verify each input file separately.	wuestholz	2013-07-05
\|/
*	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
*	AbsHoudini: Few more abstract domains	akashlal	2013-06-16
*	AbsHoudini: added an implication domain	akashlal	2013-06-15
*	Worked on improving program snapshot verification (automatic prioritization).	wuestholz	2013-06-12
*	Worked on improving program snapshot verification.	wuestholz	2013-06-10
*	Worked on improving program snapshot verification.	wuestholz	2013-06-05
*	Fixed an issue with discovering program snapshots.	wuestholz	2013-06-03
*	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
*	Merge	Rustan Leino	2013-05-30
\|\
* \|	Fixed bug in Interval abstract domain (pertaining to unary negation)	Rustan Leino	2013-05-30
\| *	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
\|/
*	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
*	Merge	akashlal	2013-05-27
\|\
\| *	AbsHoudini: Added support for quantifiers	akashlal	2013-05-27
* \|	Changed the 'CounterexampleComparer' to take traces into account.	wuestholz	2013-05-26
\|/
*	fixed bug in reporting the number of typechecking errors	Unknown	2013-05-22
*	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
*	AbsHoudini: Tolerate some assertion failing. Updated regression baseline.	akashlal	2013-05-10
*	Merge	Unknown	2013-05-06
\|\
* \|	fixed bug (reported by Akash) in treatment of linear parameters to calls	Unknown	2013-05-06
\| *	AbsHoudini: Each function can specify its own abstract domain. Also added	akashlal	2013-05-05
\|/
*	fixed bug reported by Akash	Unknown	2013-05-04
*	add another test file	Unknown	2013-04-30
*	AbsHoudini: Added predicate-abstraction domain and some examples.	akashlal	2013-04-25
*	added free ensures to each procedure to compensate for havocing of allocator	Unknown	2013-04-19
*	Test case for OG --> Houdini	akashlal	2013-04-19
*	Added a test case	akashlal	2013-04-19
*	AbsHoudini: Added support for /inlineDepth, and fixed the regression tests	akashlal	2013-04-18
*	Nice clean re-implementation of AbstractHoudini. And tests	akashlal	2013-04-18
*	refactored og and fixed latest bug reported by chris	Unknown	2013-03-20
*	added mod set checking to the linear type checker	Unknown	2013-03-13
*	removed Test\GPUVerify	Unknown	2013-03-06
*	Merge	Rustan Leino	2013-03-05
\|\
* \|	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
* \|	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
\| *	fixed datatype bug reported by Chris	Unknown	2013-03-05
\|/
*	fixed a bug in og	Unknown	2013-03-04
*	fixed bugs in both parallel calls and linear stuff (reported by Chris)	Unknown	2013-03-03
*	bug in OG for parallel call	Unknown	2013-03-02
*	added parallel calls	Unknown	2013-03-01
*	removed call forall and * args to calls	Unknown	2013-02-23
*	fixed bugs in typechecking of linear sets	Unknown	2013-02-13
*	Add another test file	Unknown	2013-02-12
*	fixed another bug reported by ChrisHaw	Unknown	2013-02-12