debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Changed the verification result cache to use the built-in 'MemoryCache' class.	wuestholz	2014-06-28
*	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
*	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
*	do monomorphic checking	qadeer	2013-11-22
*	minor refactoring	qadeer	2013-10-25
*	a minor refactoring + implemented mover checking	qadeer	2013-10-25
*	Merge	qadeer	2013-10-15
\|\
* \|	bug fix in yield inference in modset analysis	qadeer	2013-10-15
\| *	Merge	Pantazis Deligiannis	2013-10-09
\| \|\ \| \|/ \|/\|
* \|	No need for OG with Stratified Inlining.	akashlal	2013-09-08
\| *	Merge	Pantazis Deligiannis	2013-08-20
\| \|\ \| \|/ \|/\|
\| *	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
* \|	cleaned up the OG code	qadeer	2013-08-07
\|/
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
*	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
*	Extracted Houdini statistics into a record, and parametersied Houdini class w...	allydonaldson	2013-07-16
*	Merge	allydonaldson	2013-07-16
\|\
* \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
\| *	Changed the class 'ErrorInformation' to store the model separately.	wuestholz	2013-07-12
\| *	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\|/
*	Worked on the parallelization.	wuestholz	2013-07-10
*	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
*	Added an option to verify each input file separately.	wuestholz	2013-07-05
*	Worked on the parallelization.	wuestholz	2013-07-01
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
*	Addressed some \n versus \r\n issues	Rustan Leino	2013-06-29
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-25
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
*	Worked on improving program snapshot verification.	wuestholz	2013-06-20
*	Did some refactoring in the execution engine.	wuestholz	2013-06-19
*	Did some refactoring in the execution engine.	wuestholz	2013-06-19