debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
\|
*	Add support doing computations over sequences	leino	2014-06-16
\|
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
\|
*	Propagate literals through equality operations.	Nada Amin	2014-03-19
\|
*	Improve computations, in particular compositionality. Isolated useless ↵	Nada Amin	2014-03-12
\| \| \| \|	literals around if-then-else as a surprising source of practical hanging.
*	Fix soundness bug (Issue #9 on dafny.codeplex.com) in function axiom for ↵	Rustan Leino	2014-02-13
\| \| \| \| \| \|	literals. Added axiom to better handle DtAlloc/GenericAlloc correspondence (which improves handling of computations).
*	Computations!	Unknown	2013-07-04
	Generates 'computing' axioms for both all formals and just decreasing formals. Supported are literal datatypes, booleans and numbers. The axioms are given a weight of 10, which seems enough for Z3 to give up when it is sane to do so.