debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Allow underscores in numeric literals (and in field/destructor names that ↵	leino	2014-10-23
\| \| \| \| \| \|	are written as numeric strings). The underscores have no semantic meaning, but can help a human parse the numbers.
*	Added .Trunc field to real-based types	leino	2014-08-21
\| \| \| \|	Changed semantics of real-to-int conversions--these now have a precondition that the number converted is already an integer
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Allow unary minus on reals	Rustan Leino	2014-02-13
\|
*	Updated test suite after a Boogie bug fix for reals	Rustan Leino	2014-02-10
\|
*	Add basic tests for reals	Bryan Parno	2014-02-10