debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Introduced new datatype update syntax: D.(f := E)	leino	2015-10-23
\| \| \| \| \|	The old syntax, D[f := E], is still supported for a short while, but generates a warning about that syntax being deprecated. The new syntax also supports multiple updates: D.(f := E0, g := E1, h := E2)
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Snapshot, to be continued	leino	2014-12-02
\|
*	Fixed a bug in the Substituter for datatype update expressions.	leino	2014-10-28
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Basic support for datatype-update syntatic sugar	Bryan Parno	2014-04-03