debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \| \| \|	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...	pantazis	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
* \| \| \|	simplified SMTLIB2 parser by merging some parsing methods for the CVC4 and Z3...	pantazis	2013-06-12
* \| \| \|	fix on parser for bit vectors	pantazis	2013-06-12
* \| \| \|	cleaning up some unused code	pantazis	2013-06-12
* \| \| \|	Z3 new parser takes now a new option for pp-bv-literals	pantazis	2013-06-12
* \| \| \|	small update in options	pantazis	2013-06-12
* \| \| \|	naive SMTLIB2 Parser	pantazis	2013-06-12
* \| \| \|	CVC4 Parser	pantazis	2013-06-12
* \| \| \|	cvc4 command line option & cvc4.cs in Provers	pantazis	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 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
\| \|\ \