debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	merge	Pantazis Deligiannis	2013-07-06
\|\
\| *	Worked on the parallelization.	wuestholz	2013-07-05
\| \|
\| *	Merge	Rustan Leino	2013-07-05
\| \|\
\| * \|	Added support in the abstract interpreter for an attribute {:identity}, ↵	Rustan Leino	2013-07-05
\| \| \| \| \| \| \| \| \| \| \| \|	which says that a function is an identity function.
\| \| *	Worked on the parallelization.	wuestholz	2013-07-02
\| \|/
\| *	Merge	allydonaldson	2013-07-02
\| \|\
\| * \|	Fixed bug with unifomity analysis	allydonaldson	2013-07-02
\| \| \|
\| \| *	Worked on the parallelization.	wuestholz	2013-07-01
\| \| \|
\| \| *	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
\| \| \|
\| \| *	Addressed some \n versus \r\n issues	Rustan Leino	2013-06-29
\| \|/
\| *	Adapted method for computing dual of graph so that it copes with graphs that ↵	allydonaldson	2013-06-28
\| \| \| \| \| \| \| \|	exhibit exit-free cycles
\| *	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-25
\| \|
\| *	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
\| \|
\| *	Worked on improving program snapshot verification.	wuestholz	2013-06-20
\| \|
\| *	Merge	allydonaldson	2013-06-21
\| \|\
\| * \|	Method in Houdini to allow an expression to be turned into non-candidate form	allydonaldson	2013-06-21
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-19
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-19
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-19
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-19
\| \| \|
\| * \|	Merge	allydonaldson	2013-06-19
\| \|\\|
\| \| *	AbsHoudini: Bug fix, with bv constants.	akashlal	2013-06-19
\| \| \|
\| * \|	Merge	allydonaldson	2013-06-19
\| \|\\|
\| \| *	AbsHoudini: Bug fix	akashlal	2013-06-19
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-18
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-18
\| \| \|
\| * \|	Merge	allydonaldson	2013-06-18
\| \|\\|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-17
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-17
\| \| \|
\| \| *	Did some refactoring in the execution engine.	wuestholz	2013-06-14
\| \| \|
\| \| *	AbsHoudini: Few more abstract domains	akashlal	2013-06-16
\| \| \|
\| \| *	Merge fix from previous bad merge	Ken McMillan	2013-06-15
\| \| \|\
\| \| \| *	fixed bad merge	Ken McMillan	2013-06-15
\| \| \| \|
\| \| * \|	Merge	akashlal	2013-06-15
\| \| \|\ \ \| \| \| \|/ \| \| \|/\|
\| \| \| *	AbsHoudini: added an implication domain	akashlal	2013-06-15
\| \| \| \|
\| \| * \|	Merge fixes for duality	Ken McMillan	2013-06-14
\| \| \|\ \ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Fixes for duality under corral	Ken McMillan	2013-06-14
\| \| \| \|
\| \| * \|	Removed unused code.	wuestholz	2013-06-13
\| \| \| \|
* \| \| \|	fixed the CVC4 SMTLIB array parsing to work under the latest CVC4 model ↵	pantazis	2013-06-13
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	representation changes
* \| \| \|	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more ↵	pantazis	2013-06-13
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	compact parser
\| \| * \|	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 ↵	pantazis	2013-06-12
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Z3 sub-parsers
* \| \| \|	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
\| \| \| \|