debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Update an 'Answer' file.	wuestholz	2013-12-10
*	Change a test program to verify faster (by a factor of 10-25).	wuestholz	2013-12-10
*	Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ...	Rustan Leino	2013-04-01
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Added tests: parallel calc, better well-formedness checks, calc expression.	Nadia Polikarpova	2013-02-15
*	Updated a test in dafny2 with the new calc syntax.	Nadia Polikarpova	2013-02-14
*	Merge	Nadia Polikarpova	2013-02-14
\|\
\| *	Report error if type of a quantified variable cannot be inferred	Rustan Leino	2013-02-11
* \|	Changed calc syntax (custom operators are now written before the hint)	Nadia Polikarpova	2013-02-08
\|/
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	added two "calc" proofs (by Nadia) of the MajorityVote example	Unknown	2012-10-19
*	improved and fixed compilation and resolution of assign-such-that statements	Rustan Leino	2012-10-05
*	Fixed some goof-ups in the test script edits	Rustan Leino	2012-10-04
*	Added Test/dafny3 and another test file for iterators (hey, you can even run ...	Rustan Leino	2012-10-04
*	Use expression splitting for checking calculation steps	Nadia Polikarpova	2012-09-23
*	Allow multiple calc/block statements in a hint. Removed the empty calc test f...	Nadia Polikarpova	2012-09-19
*	Allow empty calc statements	Nadia Polikarpova	2012-09-19
*	Dafny: some test cases for "calc" (very cool!)	Unknown	2012-09-17
*	Dafny: added MonotonicHeapstate refinement example	Unknown	2012-08-09
*	Dafny: updated test suite to new syntax	Jason Koenig	2012-07-30
*	Dafny: restored soundness for refinement by disallowing certain updates and m...	Jason Koenig	2012-07-11
*	Dafny: reinstated autocontracts	Jason Koenig	2012-07-02
*	Dafny: fixed up test suite (temporarily removed autocontract tests)	Jason Koenig	2012-06-28
*	Dafny: fixed some test cases	Jason Koenig	2012-06-28
*	Undo bad merge.	afd	2012-06-27
*	Merge	Unknown	2012-06-25
\|\
\| *	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
* \|	Merged with default.	chmaria	2012-06-18
\|\\|
\| *	Dafny: fixed a couple of compiler bugs	Unknown	2012-06-14
\| *	Dafny: cleaned up test scripts a little	Unknown	2012-06-14
\| *	Dafny: added another version of the majority finding algorithm to the test suite	Unknown	2012-06-12
\| *	Dafny: beefed up allocation axioms for boxes stored in fields	Unknown	2012-06-12
* \|	Dafny: Added tests.	chmaria	2012-06-12
\| *	Dafny: added some test programs	Rustan Leino	2012-06-08
\|/
*	Dafny: support assign-such-that in var declarations in refinements	Unknown	2012-03-15
*	Dafny: added StoreAndRetrieve refinement example	Unknown	2012-03-15
*	Dafny: implemented thresholds for the new interval domain (/infer:j)	Rustan Leino	2011-12-12
*	Dafny tests: Disabled SnapshotableTrees.dfy for now while performance issues ...	Rustan Leino	2011-12-07
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Added some Dafny and Boogie test cases, including Turing's factorial program,...	Rustan Leino	2011-11-03
*	Dafny: Commented out SnapshotableTrees.Node.FunctionalInsert while performanc...	Rustan Leino	2011-10-26
*	Dafny: fixed performance-buggy translation of exists, and also added some oth...	Rustan Leino	2011-10-19
*	Dafny: added COST Verification Competition challenge programs to test suite	Rustan Leino	2011-10-07
*	Dafny: Updated snapshotable tree to remove IsReadonly precondition for Create...	Rustan Leino	2011-09-30
*	Dafny: beautification in one test case, and fixed an Answer file	Rustan Leino	2011-09-29
*	Dafny: Added TreeBarrier as a test case	peter mueller peter.mueller@inf.ethz.ch	2011-09-29
*	Dafny: added Snapshotable Trees example	Rustan Leino	2011-09-11