debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD	Rustan Leino	2012-10-30
*	removed deprecated "allocated" keyword from DafnyExtension syntax highlighting	Rustan Leino	2012-10-22
*	Added Dafny.exe to the DafnyExtension. This way, a copy of the executable wil...	Rustan Leino	2012-10-22
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	allow a refinement to introduce "return" statements, at the price of re-verif...	Rustan Leino	2012-10-22
*	combine {:autocontracts} and refinement	Rustan Leino	2012-10-21
*	added some calculational proofs from Dijkstra's writings	Rustan Leino	2012-10-21
*	Test cases for co-inductive proofs, and an axiom that makes some of them poss...	Rustan Leino	2012-10-19
*	Disallow modifies clauses on comethods	Unknown	2012-10-19
*	added two "calc" proofs (by Nadia) of the MajorityVote example	Unknown	2012-10-19
*	Merge	Unknown	2012-10-19
\|\
* \|	fixed and improved scheme for inferring type parameters	Rustan Leino	2012-10-19
* \|	Fixed compiler bug for "opened" imports	Rustan Leino	2012-10-18
* \|	some code clean-up	Rustan Leino	2012-10-18
\| *	Merge	Unknown	2012-10-18
\| \|\ \| \|/ \|/\|
* \|	Pass Boogie's new SoundLoopUnrolling parameter	Rustan Leino	2012-10-18
\| *	Supplied Boogie's new SoundLoopUnrolling parameter	Unknown	2012-10-18
\|/
*	Added a test case for "all cases of a datatype"	Unknown	2012-10-17
*	Included "all cases of a datatype" property for method in-parameters (see htt...	Unknown	2012-10-17
*	Merge	Unknown	2012-10-17
\|\
* \|	Added some axioms to try to recover boxed data. In particular, any element '...	Unknown	2012-10-17
\| *	Updated HintPath's of DLL's in the building of DafnyExtension	Rustan Leino	2012-10-17
* \|	Added/fixed decreases clauses that use multisets or maps.	Unknown	2012-10-16
\|/
*	Change the encoding of proof certificates to make the two levels explicit	Unknown	2012-10-12
*	Removed some old code for the defunct array-range assignments	Rustan Leino	2012-10-11
*	Removed the old (though automatic) coinduction principle	Rustan Leino	2012-10-11
*	New feature:	Rustan Leino	2012-10-11
*	improved and fixed compilation and resolution of assign-such-that statements	Rustan Leino	2012-10-05
*	Longer output lines to indicate failures in regression test suite	Rustan Leino	2012-10-05
*	Support default (which, here, means nameless) class-instance constructors	Rustan Leino	2012-10-05
*	Hover text for iterator declarations (and not for the methods they generate)	Rustan Leino	2012-10-04
*	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
*	More free antecedents when proving well-formedness of iterator specs	Rustan Leino	2012-10-04
*	changed default decreases clause for functions with a reads clause: use the r...	Rustan Leino	2012-10-04
*	Migrated a missing file from the old Boogie codeplex	Rustan Leino	2012-10-04
*	Fixed some build/migration issues	Rustan Leino	2012-10-04
*	Updates of various .sln and .*proj files	Rustan Leino	2012-10-04
*	Put all sources under \Source directory	Rustan Leino	2012-10-04
*	update tags	convert-repo	2012-10-05
*	Dafny: fixed merge	Rustan Leino	2012-10-04
*	Merge	Rustan Leino	2012-10-04
\|\
* \|	Dafny: complete implementation of iterators	Rustan Leino	2012-10-03
* \|	Dafny: automatically update iterator _new field upon allocations	Rustan Leino	2012-10-03
* \|	Dafny: fixed compiler bug in array allocation (reported as boogie:397957)	Rustan Leino	2012-10-03
* \|	Dafny: good error locations for yield statements; other iterator improvements...	Rustan Leino	2012-10-03
* \|	Dafny: more part of verifying iterators	Rustan Leino	2012-10-03
\| *	bunch of refactorings	Unknown	2012-10-03
* \|	Dafny: changed iterator body to resolve to implicit fields rather than to the...	Rustan Leino	2012-10-02
* \|	Dafny: handle decreases clause for iterators	Rustan Leino	2012-10-02