debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-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 ↵	wuestholz	2015-01-30
\| \| \| \|	assumption variables.
*	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 ↵	wuestholz	2015-01-16
\| \| \| \|	verified assertions).
*	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
\| \| \| \| \| \|	The annotation allows the programmer to manually indicate where the verification of a procedure implementation should be split into pieces.
*	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
\| \|
* \|	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
\| \|
* \|	Fix issue in verification result caching for assertions without subsumption.	wuestholz	2014-10-13
\| \|
* \|	Add a todo.	wuestholz	2014-10-13
\| \|
\| *	Merge FixpointVC changes with mainline	Ken McMillan	2014-10-08
\|/\|
\| *	Added "extra recursion bound" to FixedpointVC to support Corral.	Ken McMillan	2014-10-08
\| \|
* \|	Merge	akashlal	2014-10-01
\|\ \
\| * \|	Minor corrections	akashlal	2014-10-01
\| \| \|
* \| \|	fixed StackOverflow in TraceCounterexample;	qadeer	2014-09-30
\|/ / \| \| \| \| \| \|	converted tail recursion into a loop
* \|	SI: VC gen with labels	akashlal	2014-09-29
\| \|
* \|	Cleanup: removed unused code	akashlal	2014-09-29
\| \|
* \|	Fix to VC gen	akashlal	2014-09-28
\| \|
* \|	Fix for boolVC generation	akashlal	2014-09-27
\| \|
* \|	Lets have a setter for TopLevelDeclarations as well	akashlal	2014-09-25
\| \|