debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \|	Added more tests for the verification result caching.	wuestholz	2014-10-19
* \|	Worked on the verification result caching.	wuestholz	2014-10-19
* \|	Added a todo.	wuestholz	2014-10-18
* \|	Did some refactoring.	wuestholz	2014-10-18
* \|	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
* \|	Worked on the verification result caching.	wuestholz	2014-10-17
* \|	Worked on the verification result caching.	wuestholz	2014-10-17
* \|	Merge	wuestholz	2014-10-17
\|\ \
* \| \|	Updated Boogie version number to 2.3.0.61016. This version is now going out ...	leino	2014-10-16
\| * \|	Did some refactoring.	wuestholz	2014-10-16
\|/ /
* \|	Minor change	wuestholz	2014-10-16
* \|	Worked on the verification result caching.	wuestholz	2014-10-16
* \|	Worked on the verification result caching.	wuestholz	2014-10-15
* \|	Did some refactoring.	wuestholz	2014-10-15
* \|	Minor changes	wuestholz	2014-10-15
* \|	Fix issue in verification result caching.	wuestholz	2014-10-15
* \|	Fix issue in verification result caching.	wuestholz	2014-10-15
* \|	Fix issue in computation of checksums for calls.	wuestholz	2014-10-15
* \|	Merge	qadeer	2014-10-14
\|\ \
* \| \|	reversed the order of generated procedures; commutativity checks are generate...	qadeer	2014-10-14
\| * \|	Fix issue in computation of checksums for indented statements.	wuestholz	2014-10-15
\| * \|	Fix issue in computation of checksums for assume statements.	wuestholz	2014-10-14
\| * \|	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
\| * \|	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-14
\| * \|	Minor change	wuestholz	2014-10-14
\| * \|	Fix issue in 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
\| * \|	Minor changes	wuestholz	2014-10-13
\| * \|	Minor change	wuestholz	2014-10-13
\| * \|	Add '/traceCaching' flag.	wuestholz	2014-10-13
\| * \|	Implement ToString() override for TransferCmds. It is overriden for	Dan Liew	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
\| * \|	Fix bug in the Duplicator.	Dan Liew	2014-10-08
\| * \|	Fix typos in the name of a property and method used for handling	Dan Liew	2014-10-08
\| * \|	Fix bug in Duplicator. Previously when cloning an entire Program	Dan Liew	2014-10-06
\| * \|	Improved on my fix to the Duplicator bug fixed in ca82591ab1f8.	Dan Liew	2014-10-06
\| * \|	Fix bug in Duplicator where GotoCmd's LabelTargets and LabelNames	Dan Liew	2014-10-05
\| * \|	Some fixes to ITP	akashlal	2014-10-04
\| * \|	minor fixes to interpolating TP	akashlal	2014-10-03
\| * \|	Merge	akashlal	2014-10-01
\|/\| \|
\| * \|	Minor corrections	akashlal	2014-10-01
* \| \|	fixed StackOverflow in TraceCounterexample;	qadeer	2014-09-30
\|/ /
* \|	Added a flag to initialize the interpolating TP	akashlal	2014-09-29
* \|	SI: VC gen with labels	akashlal	2014-09-29
* \|	Cleanup: removed unused code	akashlal	2014-09-29