debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Make sure to check that subrange types are not used as type parameters	leino	2015-01-23
\|
*	Fixed resolution of method calls with explicit type parameters.	leino	2015-01-02
\| \| \| \|	Finished refactoring of the recent name segments changes.
*	Snapshot, to be continued	leino	2014-12-02
\|
*	Fixed type-inference bug that could create cycles in proxy type graph	leino	2014-10-28
\|
*	Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in ↵	leino	2014-08-02
\| \| \| \|	the resolver and translator
*	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