debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
* \|	Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are n...	leino	2014-08-27
* \|	Refactoring: renamed DerivedTypeDecl to NewtypeDecl	leino	2014-08-26
* \|	Changed syntax of newtype	leino	2014-08-26
\| *	Merge	Dan Rosén	2014-08-22
\| \|\ \| \|/ \|/\|
\| *	Remove the cloner inside the Resolver	Dan Rosén	2014-08-21
* \|	Start of derived types (aka "new types")	leino	2014-08-20
\|/
*	Refactor: Change ApplyExpr's Receiver to Function	Dan Rosén	2014-08-14
*	Merge	Dan Rosén	2014-08-11
\|\
* \|	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
\| *	Resolved further merge issues	leino	2014-08-05
\| *	Merge	leino	2014-08-02
\| \|\
\| * \|	Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...	leino	2014-08-02
\|/ /
\| *	- fixed a bug in inheriting members from a trait	Reza Ahmadi	2014-07-20
\| *	added trait feature:	Reza Ahmadi	2014-07-18
\|/
*	Renamed "arbitrary type" to "opaque type"	Rustan Leino	2014-07-15
*	Support for type synonyms in refinements	Rustan Leino	2014-07-14
*	Added type synonyms. (No support yet for these in refinements.)	Rustan Leino	2014-07-11
*	Merge	Rustan Leino	2014-07-08
\|\
* \|	Implemented compilation of the int<->real conversions, and changed the resolu...	Rustan Leino	2014-07-08
\| *	Merge	Dan Rosén	2014-07-07
\| \|\
\| * \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\| \| *	Allow array-type parameters to be filled in automatically.	leino	2014-07-02
\| \|/ \|/\|
* \|	Added tuples and tuple types. Syntax is the expected one, namely parentheses ...	Rustan Leino	2014-06-27
* \|	Make syntax of "match" expressions and "match" statements the same -- curly b...	Rustan Leino	2014-06-24
\|/
*	Added "modify Frame { Body }" statement.	Rustan Leino	2014-04-04
*	Added "modify" statement.	Rustan Leino	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
*	Refactored code for dealing with SCCs in the call graph.	Rustan Leino	2014-02-24
*	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
*	Mark auto-generated expressions (in "decreases" clauses) and don't use these ...	Rustan Leino	2014-02-04
*	Produce hover text for many of the refinement omissions (i.e., "..." and the ...	Rustan Leino	2014-01-31
*	A better fix to deal with StaticReceiverTypes affected by autoReq.	Bryan Parno	2014-01-10
*	Manually adjusted merge	Rustan Leino	2014-01-08
*	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
\| *	:autoReq now works with static functions.	Bryan Parno	2014-01-08
\| *	Add autoReq support for matches.	Bryan Parno	2014-01-08
\|/
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration	Bryan Parno	2014-01-03
*	Changed the iterator class hover text back to the iterator name (which is con...	Rustan Leino	2013-12-20
*	Added an .EndTok for every statement. (Note, in some places, especially in V...	Rustan Leino	2013-12-19
*	Added support for opaque function definitions, indicated via the {:opaque} at...	Bryan Parno	2013-12-13
*	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
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06