debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Added several test cases and some basic documentation for fp usage	Checkmate50	2016-01-04
*	added decimal reading functionality to the float type	Dietrich	2015-05-05
*	renamed fp32 to BigFloat	Dietrich	2015-04-20
*	added float tipe to AbsyExpr and IntervalDomain. The methods added may requi...	Dietrich	2015-04-20
*	Change the return type of StandardVisitor.VisitLiteralExpr() from	Dan Liew	2015-01-25
*	Change the return type of StandardVisitor.VisitBvExtractExpr() from	Dan Liew	2015-01-25
*	Change the return type of StandardVisitor.VisitBvConcatExpr() from	Dan Liew	2015-01-25
*	Did some refactoring.	wuestholz	2014-09-23
*	Fixed abstract interpretation for reals	Rustan Leino	2014-04-13
*	Fixed bug in abstract interpretation over reals	Rustan Leino	2014-04-08
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...	Rustan Leino	2014-02-24
*	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	various updates	qadeer	2013-12-09
*	added the QED build configuration	qadeer	2013-12-02
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	merge	Pantazis Deligiannis	2013-07-06
\|\
\| *	Added support in the abstract interpreter for an attribute {:identity}, which...	Rustan Leino	2013-07-05
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Fixed bug in Interval abstract domain (pertaining to unary negation)	Rustan Leino	2013-05-30
*	Fixed some type bugs in the interval domain.	Rustan Leino	2013-02-19
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Dafny: implemented thresholds for the new interval domain (/infer:j)	Rustan Leino	2011-12-12
*	Dafny: corrected merge snafus	Rustan Leino	2011-12-07
*	Dafny: fixed division in new interval domain	Rustan Leino	2011-12-07
*	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
*	Boogie: removed unreachable or unused code	Rustan Leino	2011-10-27
*	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Update to VS2010.	MichalMoskal	2010-10-07
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Boogie: Changed the cce classes into one separate project, which every other ...	tabarbe	2010-08-27
*	Boogie: Basetypes port 3/3: Committing changed references	tabarbe	2010-08-27
*	Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...	tabarbe	2010-08-27
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...	tabarbe	2010-08-26
*	Boogie: Committing changed references	tabarbe	2010-08-20
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Removed an old task comment	tabarbe	2010-08-19