debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Minor fix to abshoudini	akashlal	2014-04-16
\|
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions ↵	Rustan Leino	2014-02-24
\| \| \| \| \| \|	of its methods now demand the return value to equal the given node. Changed read-only visitors to extend from ReadOnlyVisitor instead of just StandardVisitor.
*	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
\|
*	Option for reversing Houdini worklist (for top-down analysis)	akashlal	2014-01-28
\|
*	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
\| \| \| \| \|	Reduce depth of AST whenever possible (e.g., use a binary tree instead of a linear list of terms)
*	added the QED build configuration	qadeer	2013-12-02
\|
*	binary tree of ANDs saves stack space	akashlal	2013-11-29
\|
*	Merge	Pantazis Deligiannis	2013-11-07
\|\
\| *	AbsHoudini: Support timeout, MakeTop, InlineFunctions	akashlal	2013-11-02
\| \|
* \|	small fix in the parallel refutation sharing	Pantazis Deligiannis	2013-10-16
\|/
*	small cleanup	Pantazis Deligiannis	2013-10-10
\|
*	fixed bug with the exchange refuted invariants process	Pantazis Deligiannis	2013-10-06
\|
*	small refactoring	Pantazis Deligiannis	2013-10-02
\|
*	removal of comment	Pantazis Deligiannis	2013-10-02
\|
*	fixed bug	Pantazis Deligiannis	2013-10-01
\|
*	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
\|
*	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\|
*	refactoring + new class ConcurrentHoudini	Pantazis Deligiannis	2013-09-27
\|
*	refuted candidates are exchanged in memory using a concurrent dictionary ↵	Pantazis Deligiannis	2013-09-26
\| \| \| \|	instead of using an IO csv file as before
*	improvements to the refuted annotations exchange process	Pantazis Deligiannis	2013-08-20
\|
*	new option for reversing the topological order - this could potentially help ↵	Pantazis Deligiannis	2013-08-19
\| \| \| \|	to speedup houdini refutation of candidates
*	changes in the parallel houdini script	Pantazis Deligiannis	2013-07-30
\|
*	added script for running the portfolio solver (parallel houdini)	Pantazis Deligiannis	2013-07-30
\|
*	parallel houdini prototype working	Pantazis Deligiannis	2013-07-26
\|
*	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 ↵	Ally Donaldson	2013-07-22
\| \| \| \| \| \| \| \|	plain Hashtable.
* \|	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 ↵	allydonaldson	2013-07-16
\| \| \| \| \| \| \| \|	with a statistics object. This means that if one runs multiple Houdini instances, each can record its own statistics.
\| *	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
\| \| \|