debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Did some refactoring.	wuestholz	2014-09-23
*	Fixed an issue in the verification result caching (recycled errors).	wuestholz	2014-09-22
*	Fixed minor issue.	wuestholz	2014-09-19
*	Minor refactoring	wuestholz	2014-08-03
*	Changed how canceled tasks are dealt with.	wuestholz	2014-07-31
*	removed /doNotUseParallelism	qadeer	2014-07-30
*	Made it bound the number of executing tasks by the number of cores specified ...	wuestholz	2014-07-30
*	Fixed a minor issue.	wuestholz	2014-07-14
*	Refactored how checksums are computed.	wuestholz	2014-07-13
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Worked on adding support for "canned errors".	wuestholz	2014-07-07
*	Added more tests and worked on adding support for "canned errors".	wuestholz	2014-07-06
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Made it collect more statistics about the more advanced verification result c...	wuestholz	2014-07-04
*	Implemented an optimization for assignments to assumption variables that are ...	wuestholz	2014-07-04
*	Fixed issue involving axioms in the dependency analysis used for verification...	wuestholz	2014-07-03
*	Made it collect more statistics about the more advanced verification result c...	wuestholz	2014-07-01
*	Made it collect some statistics about the more advanced verification result c...	wuestholz	2014-06-30
*	a fix in Inline method; it should look for inline attribute only on procedure...	qadeer	2014-06-28
*	Added a program cache (used by the more advanced verification result caching).	wuestholz	2014-06-28
*	Minor refactoring	wuestholz	2014-06-28
*	Changed the verification result cache to use the built-in 'MemoryCache' class.	wuestholz	2014-06-28
*	Optimized the way that dependency checkums are computed.	wuestholz	2014-06-26
*	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
*	Refactored modset analysis to avoid the use of static fields. Static fields ...	Ally Donaldson	2014-06-06
*	Fixed minor issue.	wuestholz	2014-05-28
*	Undid accidental commit	Ally Donaldson	2014-05-27
*	Merge	Ally Donaldson	2014-05-27
*	Teach the ExecutionEngine to respect the -useBaseNameForFileName commandline	Dan Liew	2014-04-09
*	Added /useBaseNameForFile command line argument. The Scanner	Dan Liew	2014-04-06
*	Merge	Rustan Leino	2014-02-28
\|\
* \|	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
\| *	Added a fix to inlining so that it becomes cognizant of procedures that the u...	qadeer	2014-02-28
\| *	added /doNotUseParallelism option	qadeer	2014-02-27
\|/
*	added ReadOnlyStandardVisitor	qadeer	2014-02-24
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	more refactoring of the concurrency stuff	qadeer	2013-12-20
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
*	some refactoring of QED stuff	qadeer	2013-12-10
*	Expose certain program transformations in the execution engine to invoke them...	wuestholz	2013-12-09
*	removed bitvector analysis from Boogie	qadeer	2013-12-08
*	fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaring	qadeer	2013-12-07
*	added the QED build configuration	qadeer	2013-12-02
*	factored the concurrency checking code into a separate project	qadeer	2013-11-22
*	do monomorphic checking	qadeer	2013-11-22
*	minor refactoring	qadeer	2013-10-25