debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|\ \
\| * \|	Added /help and /attrHelp output for program snapshot verification.	wuestholz	2013-06-12
\| \| *	cvc4 command line option & cvc4.cs in Provers	pantazis	2013-06-12
\| \|/
* \|	Merge	allydonaldson	2013-06-07
\|\\|
* \|	Some work on staged Houdini	allydonaldson	2013-06-07
\| *	Added a feature for verifying several program snapshots (incl. result caching...	wuestholz	2013-06-02
\| *	Merge changes to support Corral in fixedpoint backend	Ken McMillan	2013-05-29
\|/\|
\| *	Getting fixed point backend to work with Corral.	Ken McMillan	2013-05-29
* \|	Improvements to Staged Houdini	allydonaldson	2013-05-29
* \|	Staged Houdini can now take a path to a file of ignored variables	allydonaldson	2013-05-27
\|/