debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Encode codatatype equalities by predefined copredicates, including their pref...	Rustan Leino	2013-01-15
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04
*	Corrected pretty printing of 'comethod'	Rustan Leino	2012-11-25
*	Improved error message for making the mistake of saying 'returns' instead of ...	Rustan Leino	2012-11-25
*	Improved hover text for collapsed code fragments	Rustan Leino	2012-11-25
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
*	Merge	Rustan Leino	2012-11-20
\|\
* \|	fixed type resolution bug (http://boogie.codeplex.com/discussions/403801)	Rustan Leino	2012-11-20
* \|	... the other part of "Improved Dafny Extension display of destructors"	Rustan Leino	2012-11-19
* \|	Improved Dafny Extension display of destructors	Rustan Leino	2012-11-19
\| *	Added canCall as alternative antecedents to frame axioms.	Unknown	2012-11-12
\|/
*	Merge	Unknown	2012-10-30
\|\
* \|	Include BVD in build (to copy it into the Dafny\Binaries directory)	Unknown	2012-10-30
\| *	Merge	Rustan Leino	2012-10-30
\| \|\ \| \|/ \|/\|
\| *	Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD	Rustan Leino	2012-10-30
* \|	Removed the encoding that was used to distinguish datatype values by their type	Unknown	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
*	Disallow modifies clauses on comethods	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
*	Pass Boogie's new SoundLoopUnrolling parameter	Rustan Leino	2012-10-18
*	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
*	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
*	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