debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	code cleanup	akashlal	2013-11-02
*	And a test case	akashlal	2013-10-21
*	Bug fix in stratified inlining (triggered by {:inline} functions)	akashlal	2013-10-21
*	Merge	Pantazis Deligiannis	2013-10-09
\|\
* \|	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
\| *	refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...	qadeer	2013-09-09
\| *	Factored out the closure for codeexpr conversion so that it can be reused.	qadeer	2013-09-04
\|/
*	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
\| *	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...	Ally Donaldson	2013-07-22
* \|	merge	Pantazis Deligiannis	2013-07-06
\|\\|
\| *	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
* \|	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more compa...	pantazis	2013-06-13
\|/
*	Parse integers returned by Z3 into BigNum	akashlal	2013-01-29
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	deleted an unused class	qadeer	2012-06-12
*	refactoring in SI	qadeer	2012-06-12
*	1. changed new SI implemnetation so that it performs substitution for call sites	qadeer	2012-06-10
*	final (hopefully) fix to new SI	qadeer	2012-06-07
*	testing a fix in SI	qadeer	2012-06-07
*	Bug fix with mvInfo during VCGen	akashlal	2012-06-06
*	update to SI	qadeer	2012-06-04
*	moved class Macro to Absy	qadeer	2012-06-04
*	added FindLeastToVerify to StratfiedVCGenBase as an abstract method	qadeer	2012-05-30
*	moved a couple of overrides from StratifiedVCGen to StratifiedVCGenBase	qadeer	2012-05-30
*	added support for recordProcCallSites to new SI	qadeer	2012-05-30
*	extra recursion bound	akashlal	2012-05-30
*	further refactoring of SI;	qadeer	2012-05-29
*	Removed program argument from VerifyImplementation. It is redundant since th...	qadeer	2012-05-29
*	further refactoring	qadeer	2012-05-28
*	more refactoring	qadeer	2012-05-28
*	Merge	qadeer	2012-05-28
\|\
* \|	removed call site simplification from the old SI flow	qadeer	2012-05-28
\| *	No need for extra attributes in ExtractLoops	akashlal	2012-05-28
\| *	updating FindLeastToVerify to the new flow	akashlal	2012-05-28
\|/
*	Better interface for adding skipped calls, and	akashlal	2012-05-26
*	new stratified inlining (initial prototype)	qadeer	2012-05-25
*	more refactoring in stratified inlining	qadeer	2012-05-24
*	small fix	qadeer	2012-05-21
*	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
*	Merge	qadeer	2012-05-10
\|\