debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	small fix in the parallel refutation sharing	Pantazis Deligiannis	2013-10-16
*	Merge	Pantazis Deligiannis	2013-10-10
\|\
* \|	small cleanup	Pantazis Deligiannis	2013-10-10
\| *	Merge	Pantazis Deligiannis	2013-10-09
\|/\|
* \|	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
* \|	support for disabling loop entry invariant assertion checking	Pantazis Deligiannis	2013-10-01
* \|	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 inst...	Pantazis Deligiannis	2013-09-26
\| *	minor fix so that variable copies in procedures and codeexprs are different.	qadeer	2013-09-10
\| *	refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...	qadeer	2013-09-09
\| *	fixed bug	qadeer	2013-09-09
\| *	No need for OG with Stratified Inlining.	akashlal	2013-09-08
\| *	fixed bug introduced by the last checkin in letvciterative	qadeer	2013-09-08
\| *	fixed the problem with codexprs	qadeer	2013-09-07
\| *	When a codeexpr is used at the top-level in an assume statement, we use the a...	qadeer	2013-09-04
\| *	Factored out the closure for codeexpr conversion so that it can be reused.	qadeer	2013-09-04
\| *	fixed the linear type checking related to globals	qadeer	2013-09-04
\| *	Applied Chris Hawblitzel's changes to deal with {:expand}	qadeer	2013-08-23
\| *	some minor fixes	qadeer	2013-08-21
* \|	Merge	Pantazis Deligiannis	2013-08-20
\|\\|
* \|	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
\| *	inlining is now done in rhs of assignments for codeexprs	qadeer	2013-08-15
\| *	Extended codeexpr inlining to deal with nested codeexpr	qadeer	2013-08-15
* \|	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
\| *	extended inlining to deal with codeexprs	qadeer	2013-08-14
\| *	Fixed a contract.	wuestholz	2013-08-09
\| *	process procedure only if an implementation is present.	qadeer	2013-08-07
\| *	cleaned up the OG code	qadeer	2013-08-07
\| *	Changed BVD to display shortened names if they are unique.	wuestholz	2013-08-05
\| *	Merge	Ally Donaldson	2013-08-05
\| \|\
\| * \|	Minor changes to uniformity analysis and inter-procedural reachability analysis.	Ally Donaldson	2013-08-05
\| \| *	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\| \| *	Reverted change to use MODEL_ON_FINAL_CHECK, which seems to cause Z3 unexpect...	Rustan Leino	2013-08-02
\| \| *	Turned on options in Z3 to try producing models for timeouts.	wuestholz	2013-08-02
\| \| *	Make it possible to set the font in BVD externally.	wuestholz	2013-07-31
\| \|/
\| *	Make it possible to look up variables in the Dafny error models.	wuestholz	2013-07-30
* \|	changes in the parallel houdini script	Pantazis Deligiannis	2013-07-30
\| *	Make the dependency analysis for snapshot verification take 'where' clauses i...	wuestholz	2013-07-30
* \|	added script for running the portfolio solver (parallel houdini)	Pantazis Deligiannis	2013-07-30
\| *	Merge	qadeer	2013-07-29
\| \|\
\| * \|	added proper resolution and typechecking for all generated expressions	qadeer	2013-07-29
\| \| *	Fixed issue in the model viewer.	wuestholz	2013-07-29
\| \|/
\| *	added types for all the expressions being added to calls	qadeer	2013-07-29
\| *	Allow for certain visual elements of the model viewer to be hidden.	wuestholz	2013-07-28