debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
\| * \|	Removed unused code.	wuestholz	2013-06-13
\| \| \|
\| * \|	Worked on improving program snapshot verification (automatic prioritization).	wuestholz	2013-06-12
\| \| \|
\| * \|	Added /help and /attrHelp output for program snapshot verification.	wuestholz	2013-06-12
\| \| \|
\| * \|	Did some refactoring in the execution engine.	wuestholz	2013-06-12
\| \| \|
\| * \|	Did some refactoring in the execution engine.	wuestholz	2013-06-11
\| \| \|
\| * \|	Worked on improving program snapshot verification.	wuestholz	2013-06-11
\| \| \|
\| * \|	Worked on improving program snapshot verification.	wuestholz	2013-06-11
\| \| \|
\| * \|	Worked on improving program snapshot verification.	wuestholz	2013-06-10
\| \| \|
\| * \|	Worked on improving program snapshot verification.	wuestholz	2013-06-10
\| \| \|
\| * \|	Removed unused code.	wuestholz	2013-06-10
\| \| \|
\| * \|	Removed unused code.	wuestholz	2013-06-10
\| \| \|
\| * \|	Worked on improving program snapshot verification.	wuestholz	2013-06-07
\| \| \|
\| * \|	Fixed an issue in the prover interface.	wuestholz	2013-06-07
\| \| \|
* \| \|	Merge	allydonaldson	2013-06-07
\|\ \ \
* \| \| \|	Some work on staged Houdini	allydonaldson	2013-06-07
\| \| \| \|
\| \| * \|	Worked on improving program snapshot verification.	wuestholz	2013-06-05
\| \|/ /
\| * \|	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
\| \| \|
\| * \|	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
\| \| \|
\| * \|	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
\| \| \|
\| * \|	Did some refactoring in the Boogie driver.	wuestholz	2013-06-04
\| \| \|
\| * \|	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
\| \| \|
\| * \|	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 ↵	wuestholz	2013-06-02
\| \| \| \| \| \| \| \| \| \| \| \|	caching and prioritization).
\| * \|	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 ↵	Ken McMillan	2013-05-29
\| \| \| \| \| \| \| \| \| \| \| \|	contracts fixes
\| * \|	Fixed bug in the cutting of back edges (that manifested itself whenever the ↵	Rustan Leino	2013-05-29
\| \|/ \| \| \| \| \| \|	first block in a procedure was the target of a back edge)
\| *	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 ↵	wuestholz	2013-05-24
\| \|/ / \| \| \| \| \| \| \| \| \|	into account.
\| * /	fixed bug in reporting the number of typechecking errors	Unknown	2013-05-22
\|/ / \| \| \| \| \| \|	updated answer file
* \|	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
\| \| \|