debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
\| *	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
\| *	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...	Ally Donaldson	2013-07-22
* \|	merge	Pantazis Deligiannis	2013-07-19
\|\\|
\| *	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\| *	Extracted Houdini statistics into a record, and parametersied Houdini class w...	allydonaldson	2013-07-16
\| *	Some cleanup in HoudiniSession	allydonaldson	2013-07-16
\| *	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
* \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \| \|/ \|/\|
* \|	Worked on the parallelization.	wuestholz	2013-07-10
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\ \| \|/ \|/\|
* \|	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
* \|	Method in Houdini to allow an expression to be turned into non-candidate form	allydonaldson	2013-06-21
* \|	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
* \| \|	Merge	allydonaldson	2013-06-18
\|\\| \|
\| * \|	AbsHoudini: Few more abstract domains	akashlal	2013-06-16
\| * \|	AbsHoudini: added an implication domain	akashlal	2013-06-15
\| \| *	CVC4 Parser	pantazis	2013-06-12
\| \|/
* /	Some work on staged Houdini	allydonaldson	2013-06-07
\|/
*	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
\| *	AbsHoudini: Added support for quantifiers	akashlal	2013-05-27
\|/
*	Fixed bug in staged Houdini.	allydonaldson	2013-05-22
*	Adapted Houdini algorithm to take staging into account	allydonaldson	2013-05-18
*	AbsHoudini: Tolerate some assertion failing. Updated regression baseline.	akashlal	2013-05-10
*	AbsHoudini: Each function can specify its own abstract domain. Also added	akashlal	2013-05-05
*	Some code refactoring	akashlal	2013-05-03
*	Merge	allydonaldson	2013-04-30
\|\
* \|	Staged Houdini	allydonaldson	2013-04-30
\| *	AbsHoudini: Bug fix	akashlal	2013-04-28
\| *	AbsHoudini: Added support for /errorLimit:n, n > 1	akashlal	2013-04-25
\| *	AbsHoudini: Added predicate-abstraction domain and some examples.	akashlal	2013-04-25
\| *	AbsHoudini: Added support for DoNotUsLabels, domain for simulating Houdini,	akashlal	2013-04-25
\| *	AbsHoudini: Added SCC-based worklist, bug-fix for inline attribute,	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
\| *	Minor changes to AbstractHoudini	akashlal	2013-03-10
\|/
*	Refactored MatchCandidate	allydonaldson	2013-03-08
*	MatchCandidate modified to match candidates by variable name, rather than by ...	allydonaldson	2013-03-08