debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Merge	Nadia Polikarpova	2013-07-31
\|\
* \|	Allowing dangling hints in calculations.	Nadia Polikarpova	2013-07-31
\| *	Add support for hexidecimal numbers.	parno	2013-07-30
\|/
*	Fixed build failure.	wuestholz	2013-07-25
*	Allow field names to be sequences of digits (this is nice, for example, to de...	Rustan Leino	2013-07-24
*	Because of neighboring parse conflict handlers, must call ResetPeek()	Rustan Leino	2013-07-10
*	Fixed parsing bug in "if" and "while" guards	Rustan Leino	2013-07-10
*	Made the semi-colon after "type" and "module" declarations optional.	Rustan Leino	2013-05-10
*	Make semi-colon after datatype/codatatype declaration optional (in the future...	Rustan Leino	2013-04-19
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Added explies support to calculations.	Nadia Polikarpova	2013-03-15
*	Added the <== operator.	Nadia Polikarpova	2013-03-14
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Support for paren-free guards in if and while statements.	Nadia Polikarpova	2013-02-15
*	First take on calc expressions.	Nadia Polikarpova	2013-02-14
*	Changed calc syntax (custom operators are now written before the hint)	Nadia Polikarpova	2013-02-08
*	"!!" can now be parsed as two "!". More concise parsing for "!in".	Nadia Polikarpova	2013-02-07
*	Added parsing and resolution of a new let-such-that expression. Translation h...	Rustan Leino	2013-01-21
*	Added some co- test cases. Fixed some bugs.	Rustan Leino	2013-01-20
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Improved error message for making the mistake of saying 'returns' instead of ...	Rustan Leino	2012-11-25
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	New feature:	Rustan Leino	2012-10-11
*	Support default (which, here, means nameless) class-instance constructors	Rustan Leino	2012-10-05
*	Put all sources under \Source directory	Rustan Leino	2012-10-04