debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| *	Minor additions to VC gen	Akash Lal	2015-07-20
\| *	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| *	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
\|/
*	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
*	Fix for SI: initialize extraRecBound	Akash Lal	2015-06-05
*	Simplified StratifiedVC interface	akashlal	2015-06-01
*	Allow for extra instrumentation on program before vc gen	Akash Lal	2015-05-25
*	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
*	Make caching of verification results more fine-grained for changes that affec...	Valentin Wüstholz	2015-05-17
*	Fix for printFixedPoint when dealing with functions	Akash Lal	2015-05-13
*	Fix for secureVCGen	Akash Lal	2015-05-07
*	Make it preserve the fact that the value of an assumption variable never beco...	Valentin Wüstholz	2015-05-06
*	VC gen for security properties	akashlal	2015-04-05
*	Compute MustReach information lazily, on-demand	akashlal	2015-03-16
*	Added MustReach information to VC gen	akashlal	2015-03-11
*	Made it produce slightly different passive commands for assignments to assump...	wuestholz	2015-01-30
*	Minor change to the encoding of partially verified assertions as VC	wuestholz	2015-01-30
*	Handle timeout in refinement loop	akashlal	2015-01-28
*	Fixed minor issue.	wuestholz	2015-01-26
*	Minor change	wuestholz	2015-01-26
*	Worked on the verification result caching (trace output).	wuestholz	2015-01-26
*	Worked on the verification result caching (use native support for partially v...	wuestholz	2015-01-16
*	Fix related to limitations in CVC4 model parsing	Ally Donaldson	2015-01-14
*	Added a test and a todo.	wuestholz	2015-01-02
*	Worked on more native support for partially-verified assertions.	wuestholz	2014-12-28
*	Fixed a postcondition.	wuestholz	2014-12-26
*	Added an annotation, :split_here, for predicate statements.	Bryan Parno	2014-12-16
*	Merge some FixpointVC changes that got left behind	Ken McMillan	2014-12-08
\|\
* \|	Optimized the VC generation for assumption variables.	wuestholz	2014-12-07
* \|	Fixed issue in the verification result caching.	wuestholz	2014-11-10
* \|	Worked on the verification result caching.	wuestholz	2014-11-10
* \|	Worked on the verification result caching.	wuestholz	2014-11-05
* \|	Worked on the verification result caching.	wuestholz	2014-11-03
* \|	Worked on the verification result caching.	wuestholz	2014-11-03
* \|	Fixed minor issue.	wuestholz	2014-11-02
* \|	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
* \|	Did some refactoring.	wuestholz	2014-11-02
* \|	SI: print if a bound was reached.	akashlal	2014-10-29
* \|	Worked on the verification result caching.	wuestholz	2014-10-19
* \|	Worked on the verification result caching.	wuestholz	2014-10-19
* \|	Did some refactoring.	wuestholz	2014-10-18
* \|	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
* \|	Worked on the verification result caching.	wuestholz	2014-10-17
* \|	Worked on the verification result caching.	wuestholz	2014-10-17
* \|	Did some refactoring.	wuestholz	2014-10-16
* \|	Worked on the verification result caching.	wuestholz	2014-10-16
* \|	Fix issue in verification result caching.	wuestholz	2014-10-15
* \|	Fix issue in verification result caching.	wuestholz	2014-10-15