debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Compile to .exe only if the Main method has no user-defined preconditions.	Rustan Leino	2014-01-31
*	Fix minor issue in compilation of main methods.	wuestholz	2014-01-17
*	Merge	Rustan Leino	2014-01-08
\|\
* \|	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
\| *	Compile assign-such-that for all integers, not just ones where a bound is found	Rustan Leino	2014-01-06
\|/
*	More thoroughly check for nested assume statements during compilation	Rustan Leino	2014-01-05
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Add support for the :axiom attribute for ghost methods.	Bryan Parno	2013-12-13
*	Use full name of type in compilation error	Rustan Leino	2013-11-18
*	Let compiler complain about body-less functions and methods, even if these ar...	Rustan Leino	2013-11-14
*	Merged PredicateExpr and CalcExpr into a single StmtExpr	Rustan Leino	2013-08-06
*	Added support for more fine-grained generation of unique names.	wuestholz	2013-07-31
*	Fixed compilation bug where C# keywords were not being escaped	Rustan Leino	2013-06-25
*	Allow more tail calls, on account of considering non-loop aggregate statement...	Rustan Leino	2013-05-21
*	Fixed compilation of assign-such-that for the multi-variable case where some ...	Rustan Leino	2013-03-29
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ...	Rustan Leino	2013-03-27
*	Compilation of (many common) assign-such-that statements.	Rustan Leino	2013-03-26
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Added Equals method on Type	Rustan Leino	2013-02-20
*	First take on calc expressions.	Nadia Polikarpova	2013-02-14
*	Added parsing and resolution of a new let-such-that expression. Translation h...	Rustan Leino	2013-01-21
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	improved and fixed compilation and resolution of assign-such-that statements	Rustan Leino	2012-10-05
*	Put all sources under \Source directory	Rustan Leino	2012-10-04