debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
*	Support the transition from "modify Frame;" to "modify Frame { Body }" by ref...	Rustan Leino	2014-04-04
*	Merge	Rustan Leino	2014-03-17
\|\
* \|	AST refactoring:	Rustan Leino	2014-03-17
\| *	Merge	Nada Amin	2014-03-12
\| \|\ \| \|/ \|/\|
\| *	Improve computations, in particular compositionality. Isolated useless litera...	Nada Amin	2014-03-12
* \|	Added a test case from the ACL2 book	Rustan Leino	2014-03-10
\|/
*	Moved the (long running) CloudMake test files to their own directory	Rustan Leino	2014-02-28
*	Added CloudMake formalization and proofs to the test suite	Rustan Leino	2014-02-26
*	Added examples mentioned in a paper on circular coinduction.	Rustan Leino	2014-02-25
*	Added further assistance in coming up with decreases clauses in SCCs with co-...	Rustan Leino	2014-02-24
*	Minor clean-up in a couple of test files.	Rustan Leino	2014-02-24
*	New test file: dafny4/NumberRepresentations.dfy	Rustan Leino	2014-02-13
*	Added to the test suite a Dafny version of Basics.v from the "Software Founda...	Rustan Leino	2014-02-13
*	Added examples from the Kozen and Silva paper "Practical Coinduction".	Rustan Leino	2014-02-10
*	Some simplifications to the proof of GHC MergeSort.	Rustan Leino	2014-02-01
*	Added an alternative statement of the prime theorem	Rustan Leino	2014-01-24
*	Proof that there is no bound on the size of prime numbers	Rustan Leino	2014-01-11
*	GHC-MergeSort: removed lemmas and proof steps rendered unnecessary now that a...	Rustan Leino	2014-01-09
*	Dafny renditions of sorting algorithms proved in other provers (Coq, Isabelle...	Rustan Leino	2014-01-08