debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Added an annotation, :split_here, for predicate statements.	Bryan Parno	2014-12-16
*	renamed :phase to :layer	qadeer	2014-11-14
*	Fixed minor issue (reported by Alex Summers).	wuestholz	2014-10-28
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
*	Minor change	wuestholz	2014-10-14
*	Add '/traceCaching' flag.	wuestholz	2014-10-13
*	Simple VC generation for SI	akashlal	2014-09-24
*	fixed various CodeContracts issues.	qadeer	2014-09-18
*	removed /doNotUseParallelism	qadeer	2014-07-30
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Changed the 'verifySnapshots' command-line option to accept a numeric argumen...	wuestholz	2014-06-20
*	Merge duality changes	Ken McMillan	2014-05-26
\|\
\| *	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
* \|	Added stack bounding	akashlal	2014-05-10
* \|	Added /useBaseNameForFile command line argument. The Scanner	Dan Liew	2014-04-06
\|/
*	Added /printFixedPoint option	Ken McMillan	2014-04-14
*	Added option to avoid unrolling irreducible loops	akashlal	2014-04-06
*	Added /trustNonInterference option	qadeer	2014-02-28
*	added /doNotUseParallelism option	qadeer	2014-02-27
*	Added /trustPhasesDownto option	qadeer	2014-02-24
*	Added /trustPhasesUpto option	qadeer	2014-02-23
*	Added /trustAtomicityTypes option	qadeer	2014-02-22
*	Option for reversing Houdini worklist (for top-down analysis)	akashlal	2014-01-28
*	Integrated support for k-induction, implemented a while ago by Philipp Ruemme...	Ally Donaldson	2014-01-17
*	Updated year in main copyright message	Rustan Leino	2014-01-03
*	removed bitvector analysis from Boogie	qadeer	2013-12-08
*	code cleanup	akashlal	2013-11-02
*	small refactoring	Pantazis Deligiannis	2013-10-02
*	support for disabling loop entry invariant assertion checking	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
*	refuted candidates are exchanged in memory using a concurrent dictionary inst...	Pantazis Deligiannis	2013-09-26
*	new option for reversing the topological order - this could potentially help ...	Pantazis Deligiannis	2013-08-19
*	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
*	parallel houdini prototype working	Pantazis Deligiannis	2013-07-26
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...	wuestholz	2013-07-22
*	Whitespace fix	Ally Donaldson	2013-07-22
*	Whitespace fix	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-19
\|\
* \|	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\| *	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\| *	Merge	allydonaldson	2013-07-16
\| \|\
\| * \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
* \| \|	Merge	Pantazis Deligiannis	2013-07-15
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\| \|/ \|/\|
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\
* \| \|	Added an option to verify each input file separately.	wuestholz	2013-07-05
\| \|/ \|/\|
* \|	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
* \|	Merge	allydonaldson	2013-06-18
\|\ \