debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Dafny: for refinements, don't consider a newly provided predicate body to be ...	Unknown	2012-08-30
*	DafnyExtension: changed how "_" is displayed (now display as a keyword, not a...	Unknown	2012-08-30
*	Dafny: allow "_" as don't-care variable name	Unknown	2012-08-30
*	DafnyExtension: simplified display of type names and field names	Unknown	2012-08-17
*	DafnyExtension: various improvements	Unknown	2012-08-16
*	DafnyExtension: fixed more missing cases for hover texts	Unknown	2012-08-15
*	Dafny: fixed some bugs in the newly added DafnyExtension code	Unknown	2012-08-15
*	Dafny: added Statement.SubExpressions getter	Unknown	2012-08-15
*	Dafny: added heuristics for finding witnesses in assign-such-that checking	Unknown	2012-08-10
*	DafnyExtension: improvements	Rustan Leino	2012-08-08
*	Dafny: reverify if the refining method modifies the heap.	Jason Koenig	2012-08-01
*	Dafny: support opening modules into the local scope	Jason Koenig	2012-07-30
*	Dafny: removed allocated, changed semantics of fresh	Jason Koenig	2012-07-29
*	Dafny: added structural refinement check	Jason Koenig	2012-07-29
*	Dafny: allowed strictly finite datatypes in comprehensions, quantifiers, and ...	Jason Koenig	2012-07-17
*	Dafny: compilation of abstract modules, including local definitions (as in mo...	Jason Koenig	2012-07-17
*	Merge	Rustan Leino	2012-07-09
\|\
* \|	Dafny: More work on the coinduction principle	Rustan Leino	2012-07-09
\| *	Dafny: added verification that replaced expressions are the same as the original	Jason Koenig	2012-07-09
\| *	Dafny: added named expressions and replacement	Jason Koenig	2012-07-09
\| *	Dafny: types can now be qualified with full module paths	Jason Koenig	2012-07-06
\| *	Dafny: disallow importing ghost modules into physical ones.	Jason Koenig	2012-07-05
* \|	Merge	Rustan Leino	2012-07-04
\|\\|
\| *	Dafny: added static members of _default to the module level scope, at low pri...	Jason Koenig	2012-07-03
\| *	Dafny: added support for nested abstract modules, fixed some translation issues	Jason Koenig	2012-07-03
* \|	Dafny: added copredicates	Rustan Leino	2012-07-03
\|/
*	Dafny: updated contracts to allow null parent (of the default module)	Rustan Leino	2012-06-29
*	Dafny: fixed bug with translation of class._System.object;	Jason Koenig	2012-06-28
*	Dafny: Merge	Jason Koenig	2012-06-27
\|\
* \|	Dafny: Fixed module bugs	Jason Koenig	2012-06-27
* \|	Dafny: Implemented abstract modules	Jason Koenig	2012-06-26
\| *	Dafny: now, equality-support determination and checking feels ripe; so, codat...	Rustan Leino	2012-06-22
\| *	Merge	Unknown	2012-06-22
\| \|\
\| * \|	Dafny: mark code for equality-support determination tentative	Unknown	2012-06-22
\| * \|	Dafny: equality-support test cases. This is just a snapshot--some things sti...	Unknown	2012-06-22
\| * \|	Dafny: allow "assume ..." as a refining statement (provided it replaces an "a...	Unknown	2012-06-22
\| * \|	Dafny: deal with equality-support issues in refinements	Unknown	2012-06-22
\| \| *	Dafny: Fixed bug in CompilerizeName.	chmaria	2012-06-22
\| \| *	Dafny: fixed two contracts	Rustan Leino	2012-06-22
\| * \|	Dafny: Since it's no longer true that all types support equality at run-time ...	Unknown	2012-06-21
\| \|/
\| *	Dafny: improved refinement features; added staged version of the proof of the...	Unknown	2012-06-19
* \|	Dafny: Added nested modules	Jason Koenig	2012-06-19
\|/
*	Dafny: in compiler, respect C#'s different scoping rules and lack of support ...	Unknown	2012-06-14
*	Dafny: Changed the semantics of the assign-such-that statement "x :\| P;" to c...	Unknown	2012-06-13
*	Dafny: allow types to be qualified with the name of the module that declares ...	Unknown	2012-06-11
*	Dafny: removed support for the old keyword "unlimited" (all functions are lim...	Unknown	2012-06-11
*	Dafny: change labels to use a generic singly linked list	Jason Koenig	2012-06-06
*	Dafny: Added map comprehensions and updated display syntax	Unknown	2012-05-31
*	Dafny: added finite maps	Unknown	2012-05-25
*	Dafny: more correct checking of co-inductive productivity	Unknown	2012-05-18