debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Make it preserve the fact that the value of an assumption variable never beco...	Valentin Wüstholz	2015-05-06
*	Add support for 'verified_under' attributes on procedure calls and invariants.	Valentin Wüstholz	2015-04-29
*	Added a test and a todo.	wuestholz	2015-01-02
*	Add alpha equivalence check for Expr, and use it when lambda lifting	Dan Rosén	2014-08-01
*	Removed old test infrastructure files except for	Dan Liew	2014-05-28
*	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
*	Remove old python testing scripts	Dan Liew	2014-05-11
*	Unbreak the tests in test2 for batch file testing infrastructure	Dan Liew	2014-05-10
*	Enabled VC Generation lit tests.	Dan Liew	2014-05-07
*	Add support for assumption variables.	wuestholz	2014-04-21
*	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
*	Fixed bug in handling of break statements	Rustan Leino	2014-02-10
*	Fixed another :never_pattern bug related to nested quantifiers	Rustan Leino	2013-12-16
*	Fixed bug in never_pattern functionality. In the new design, never_pattern d...	Rustan Leino	2013-12-16
*	Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...	Ally Donaldson	2013-12-02
*	do monomorphic checking	qadeer	2013-11-22
*	Merge	Pantazis Deligiannis	2013-07-15
\|\
* \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\| *	added python scripts (work in unix and windows) for testing Z3 and CVC4 to ma...	Pantazis Deligiannis	2013-07-07
\|/
*	Changed the prover interface to report traces for time outs and out of memory.	wuestholz	2013-05-30
*	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
*	removed call forall and * args to calls	Unknown	2013-02-23
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: new syntax for integer division and modulus: use div and mod instead ...	boehmes	2012-09-27
*	Updated the 'Answer' file for test2.	wuestholz	2011-12-02
*	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
*	Added "free call" statements that don't check the precondition in the caller.	wuestholz	2011-09-14
*	Fix a bug in cloning of nested lambda expressions in AI engine	MichalMoskal	2011-02-11
*	Add description of {:selective_checking} to the /attrHelp. Fix the testcase.	MichalMoskal	2011-01-13
*	Add new feature: {:selective_checking} on procedures. See testcase for a desc...	MichalMoskal	2010-12-17
*	Boogie:	rustanleino	2010-10-26
*	Dafny:	rustanleino	2010-09-14
*	Change Synonym type printing to what it was, use a workaround in TypeToString...	MichalMoskal	2010-08-18
*	Boogie:	rustanleino	2010-05-15
*	Dafny: Added definedness checks for all statements (previously, some were mi...	rustanleino	2010-03-13
*	Boogie:	rustanleino	2010-02-20
*	Fix up the polymorphic case for lambda; it probably still isn't quite correct.	MichalMoskal	2010-02-19
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...	MichalMoskal	2010-02-19
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
*	Implemented block coalescing invoked right after type checking.	qadeer	2010-02-16
*	Updated Answer files, in synch with my recent edits 31961.	rustanleino	2009-08-16
*	Removed Output files. These are created on a local machine when the tests ar...	rustanleino	2009-08-07
*	Initial set of files.	mikebarnett	2009-07-15