debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	Did some refactoring in the Boogie driver.	wuestholz	2013-06-03
*	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
\| *	Minor change to prevent prover errors during trace extraction	wuestholz	2013-05-29
\|/
*	Merge	Ken McMillan	2013-05-29
\|\
\| *	Adding background model to fixedpoint counterexamples and small code contract...	Ken McMillan	2013-05-29
* \|	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
\|/
*	Merge changes to support Corral in fixedpoint backend	Ken McMillan	2013-05-29
\|\
\| *	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
* \|	Improvements to Staged Houdini	allydonaldson	2013-05-29
* \|	Merge	allydonaldson	2013-05-27
\|\ \
* \| \|	Staged Houdini can now take a path to a file of ignored variables	allydonaldson	2013-05-27
\| * \|	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
\| * \| \|	Changed the 'CounterexampleComparer' to take error messages of assertions int...	wuestholz	2013-05-24
\| \|/ /
\| * /	fixed bug in reporting the number of typechecking errors	Unknown	2013-05-22
\|/ /
* \|	Merge	allydonaldson	2013-05-22
\|\ \
* \| \|	Fixed bug in staged Houdini.	allydonaldson	2013-05-22
\| \| *	Merge	Ken McMillan	2013-05-20
\| \|/\|
\| \| *	Working on fixedpoint backend	Ken McMillan	2013-05-20
\| * \|	deleted some commented code	Unknown	2013-05-20
\| * \|	further bug fixes in og; global copies of global variables are now thread local	Unknown	2013-05-19
\| * \|	Merge	Unknown	2013-05-18
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	reworked the linear and og implementation based on available variables theory	Unknown	2013-05-18
* \| \|	Adapted Houdini algorithm to take staging into account	allydonaldson	2013-05-18
\|/ /
* /	AbsHoudini: Tolerate some assertion failing. Updated regression baseline.	akashlal	2013-05-10
\|/
*	new files for fixedpoint engine backend	Unknown	2013-05-07
*	merging changes for fixedpoint engine backend	Ken McMillan	2013-05-07
\|\
* \|	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
\| *	havocs and updates to globals added only if they are non-null	Unknown	2013-05-06
\| *	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
\| \|/
\| *	In the typecheck method of HavocCmd, added calls to typecheck the havoced vars	Unknown	2013-05-04
\| *	Merge	Unknown	2013-05-04
\| \|\
\| * \|	fixed bug reported by Akash	Unknown	2013-05-04
\|/ /
\| *	Print "\n" after a YieldCmd	akashlal	2013-05-03
\| *	Some code refactoring	akashlal	2013-05-03
\|/
*	Merge	allydonaldson	2013-04-30
\|\
* \|	Staged Houdini	allydonaldson	2013-04-30
\| *	Added a little bit of virtual-ness to the Inliner class. This is so that I can	akashlal	2013-04-28
\| *	AbsHoudini: Bug fix	akashlal	2013-04-28