debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
*	Document the new behaviour of the ``-proc:`` command line option	Dan Liew	2015-10-31
*	Added wild card matching for /proc flag	Shaobo	2015-10-31
*	update	Shaz Qadeer	2015-09-28
*	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\|\
* \|	Added /verifySnapshots:3, which prints recycled errors messages with the sour...	Rustan Leino	2015-08-28
\| *	Fix issue #16 reported by @crazykt	Dan Liew	2015-06-28
\| *	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| *	adding z3name option	Ken McMillan	2015-06-15
\| *	Minor changes	Valentin Wüstholz	2015-06-12
\| *	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
\|/
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-08
*	Fix minor issue.	Valentin Wüstholz	2015-06-05
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
*	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
*	VC gen for security properties	akashlal	2015-04-05
*	Eliminated calls to deprecated method.	wuestholz	2015-02-18
*	Added a setter for CommandLineOptions.ProverOptions and fixed several contracts.	wuestholz	2015-02-18
*	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
*	Merging changes from wuestholz/BoogieInvariantFixesIIII	wuestholz	2015-01-13
\|\
* \	Merging changes from 0biha/BoogieInvariantFixesIIIa	wuestholz	2015-01-13
\|\ \
\| \| *	Made invariant of class CommandLineOptions robust by:	wuestholz	2015-01-09
\| \| *	Made 2 invariants of class 'CommandLineOptions' robust by:	wuestholz	2015-01-09
\| \|/ \|/\|
* \|	Updated to Staged Houdini	Ally Donaldson	2015-01-08
\| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-31
\| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2015-01-08
\|/
*	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-24
*	Backed out changeset: 4103d2e9c2ef	0biha	2014-12-24
*	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-23
*	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-23
*	Made invariant of class 'CommandLineOptions' robust by	0biha	2014-12-23
*	Made invariant of class 'CommandLineOptionEngine' robust by	0biha	2014-12-23
*	Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...	0biha	2014-12-19
*	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