debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fixed spelling mistake in test file	Rustan Leino	2015-08-28
\|
*	Fix encoding in Dijkstra.py	Clément Pit--Claudel	2015-07-20
\|
*	Reflect cleaner syntax in some test programs	leino	2015-03-31
\|
*	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Updated two test files.	Rustan Leino	2013-03-22
\|
*	Changed calc syntax (custom operators are now written before the hint)	Nadia Polikarpova	2013-02-08
\|
*	added some calculational proofs from Dijkstra's writings	Rustan Leino	2012-10-21