debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	fixed an error where a -0 was not interpreted as a negative number	Checkmate50	2016-07-23
*	Removed automatic exponent shifting	Checkmate50	2016-07-22
*	fixed floatceiling function	Checkmate50	2016-07-19
*	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
*	finished testing, fixed several minor compiler bugs	Checkmate50	2016-06-06
*	modified floating point syntax and modified floating point constants to use b...	Checkmate50	2016-03-17
*	Modified BigFloat and parser to accept correct SMT-LIB syntax	Checkmate50	2016-02-20
*	Added several test cases and some basic documentation for fp usage	Checkmate50	2016-01-04
*	Special fp types (such as infinity and NaN are now translated by boogie	Checkmate50	2015-11-29
*	Floating point constants given as integers are now translated correctly	Checkmate50	2015-10-14
*	Modified translation so that z3 runs with type checking for simple binary ope...	Checkmate50	2015-10-14
*	Modified BigFloat to avoid evaluating the floating point value before sending...	Checkmate50	2015-09-23
*	Added initial support for float addition	Checkmate50	2015-09-17
*	Float type now works correctly for simple variable declaration and comparison.	Dietrich	2015-07-20
*	added interpretation of floating point constants to the parser	Dietrich	2015-05-18
*	Made significant changes to internal representation of BigFloat. Remains a w...	Dietrich	2015-05-07
*	added decimal reading functionality to the float type	Dietrich	2015-05-05
*	added general floating point mantissa and exponent management	Dietrich	2015-05-04
*	renamed fp32 to BigFloat	Dietrich	2015-04-20
*	adding references to the floating point type wherever references to the real ...	Dietrich	2015-04-17
*	Added the fp32 class, copied from the previously existing BigDec class. No s...	Dietrich	2015-04-17
*	Fix bug in BigDec.FloorCeiling() which gave the wrong answers for	Dan Liew	2015-03-10
*	Fix bug in BigDec.FromString() which would not parse negative	Dan Liew	2014-06-18
*	Fixed abstract interpretation for reals	Rustan Leino	2014-04-13
*	Fixed bug in abstract interpretation over reals	Rustan Leino	2014-04-08
*	Fixed bug in printing real literals	Rustan Leino	2014-02-10
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	added the QED build configuration	qadeer	2013-12-02
*	CVC4 Parser	pantazis	2013-06-12
*	Merge	Unknown	2012-09-28
\|\
\| *	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
\| *	Added BigDec as representation for (floating-point) decimal values	boehmes	2012-09-27
\|/
*	Merge	Rustan Leino	2011-12-07
\|\
\| *	Fix some bugs in the new Set	Michal Moskal	2011-12-07
\| *	Make set iteration order deterministic	Michal Moskal	2011-12-07
* \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\|/
*	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
*	Expose ToByteArray()	MichalMoskal	2011-02-18
*	One more link to version.cs	stobies	2010-12-06
*	Get rid of F# dependencies - use System.Numerics and a custom Rational struct...	MichalMoskal	2010-12-02
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Boogie:	rustanleino	2010-10-12
*	Update to VS2010.	MichalMoskal	2010-10-07
*	created a new build target called z3apidebug.	qadeer	2010-08-29
*	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 2/3: Committing new source file, deleting old one	tabarbe	2010-08-27