debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	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
*	Minor changes	wuestholz	2014-10-13
*	Minor change	wuestholz	2014-10-13
*	Add '/traceCaching' flag.	wuestholz	2014-10-13
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
*	Did more refactoring.	wuestholz	2014-09-23
*	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