debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fixed bugs in the parsing of explicit type arguments.	Rustan Leino	2015-07-16
\| \| \| \| \|	Fixed resolution bug where some type arguments were not checked to have been determined. Fixed resolution bugs where checking for equality-supporting types was missing.
*	Snapshot, to be continued	leino	2014-12-02
\|
*	Check for proper use of equality-supporting types also in local variables ↵	leino	2014-08-13
\| \| \| \|	and forall statements, and more expressions
*	Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in ↵	leino	2014-08-02
\| \| \| \|	the resolver and translator
*	Renamed "arbitrary type" to "opaque type"	Rustan Leino	2014-07-15
\|
*	Support for type synonyms in refinements	Rustan Leino	2014-07-14
\| \| \| \|	Started allowing arbitrary types to have type parameters
*	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29