debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	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
*	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