debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Support the transition from "modify Frame;" to "modify Frame { Body }" by ref...	Rustan Leino	2014-04-04
* \|	Added "modify Frame { Body }" statement.	Rustan Leino	2014-04-04
* \|	Added "modify" statement.	Rustan Leino	2014-04-03
\| *	Basic support for datatype-update syntatic sugar	Bryan Parno	2014-04-03
\|/
*	Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...	Rustan Leino	2014-03-17
*	AST refactoring:	Rustan Leino	2014-03-17
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...	Rustan Leino	2014-02-23
*	Allow unary minus on reals	Rustan Leino	2014-02-13
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Removed some blank lines at the end of hover texts.	Rustan Leino	2014-02-06
*	Produce hover text for many of the refinement omissions (i.e., "..." and the ...	Rustan Leino	2014-01-31
*	Merge	Rustan Leino	2014-01-08
\|\
* \|	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
\| *	Add autoReq support for matches.	Bryan Parno	2014-01-08
\| *	Added support for automatic generation of function requirements via the :auto...	Bryan Parno	2014-01-08
\|/
*	Print and translate "match" expressions in general positions, not just at the...	Rustan Leino	2014-01-03
*	Added proper parsing for StmtExpr's in all contexts.	Rustan Leino	2013-12-30
*	Compute default decreases clauses in Resolver instead of in the Translator.	Rustan Leino	2013-12-19
*	Fixed pretty printing of calc statements to use the new(-since-long) format.	Rustan Leino	2013-12-17
*	Merge	Rustan Leino	2013-11-18
\|\
\| *	Added support for attributes on variable declarations.	wuestholz	2013-11-18
* \|	Let compiler complain about body-less functions and methods, even if these ar...	Rustan Leino	2013-11-14
\|/
*	Merged PredicateExpr and CalcExpr into a single StmtExpr	Rustan Leino	2013-08-06
*	Added hover text ("additional information") in places where co-methods provid...	Rustan Leino	2013-08-04
*	Set up call-graph to keep track of edges between functions and methods. (To ...	Rustan Leino	2013-08-04
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	Fixed printer bug to handle static receivers in function call expressions. (T...	chmaria	2013-07-11
*	Fixed an issue in the computation of checksums.	wuestholz	2013-07-07
*	DafnyExtension: Worked on integrating the verification result caching.	wuestholz	2013-06-06
*	Made the semi-colon after "type" and "module" declarations optional.	Rustan Leino	2013-05-10
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Beefed up assign/let-such-that to generate possible witnesses for set/multise...	Rustan Leino	2013-03-25
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Added the <== operator.	Nadia Polikarpova	2013-03-14
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	Pretty print the new parentheses-less "if" and "while" statements as such.	Rustan Leino	2013-02-21
*	Added Equals method on Type	Rustan Leino	2013-02-20
*	First take on calc expressions.	Nadia Polikarpova	2013-02-14
*	Added parsing and resolution of a new let-such-that expression. Translation h...	Rustan Leino	2013-01-21
*	Added some co- test cases. Fixed some bugs.	Rustan Leino	2013-01-20
*	Create prefix methods during resolution, not translation.	Unknown	2013-01-18
*	Some additional resolution checks for co stuff.	Unknown	2013-01-18
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Corrected pretty printing of 'comethod'	Rustan Leino	2012-11-25
*	Parse prefix predicates/methods	Rustan Leino	2012-11-24
*	renamed "abstract module" to "module facade"	Rustan Leino	2012-10-22
*	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