debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Changed computation of ghosts until pass 2 of resolution.	leino	2015-09-28
\| \| \| \| \| \| \|	Other clean-up in resolution passes, like: Include everything of type "char" into bounds that are discovered, and likewise for reference types. Allow more set comprehensions, determining if they are finite based on their argument type. Changed CalcExpr.SubExpressions to not include computed expressions.
*	Preliminary refactoring of ghost-statement computations to after type checking	leino	2015-09-20
\|
*	Snapshot, to be continued	leino	2014-12-02
\|
*	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