debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	Allow an arbitrary-type to take type parameters	Rustan Leino	2014-07-15
*	Support for type synonyms in refinements	Rustan Leino	2014-07-14
*	Merge	Rustan Leino	2014-07-11
\|\
* \|	Added type synonyms. (No support yet for these in refinements.)	Rustan Leino	2014-07-11
\| *	Check that type arguments to map display expressions are fully resolved	Dan Rosén	2014-07-11
\|/
*	Make reveal axioms from opaque functions quantify over layers	Dan Rosén	2014-07-10
*	Further resolved merge conflicts	Rustan Leino	2014-07-08
*	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 support for 'dirty' forall statements.	chmaria	2014-06-03
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Fixed bug in resolution, where type proxies involved in equality tests did no...	Rustan Leino	2014-05-07
*	Fixed some bugs where various attributes were not properly visited during typ...	Rustan Leino	2014-05-05
*	Add support for assumption variables.	wuestholz	2014-04-21
*	Fixed bug #33.	Rustan Leino	2014-04-19
*	Fixed bug #32 dafny.codeplex.com.	Rustan Leino	2014-04-15
*	Allow reals in decreases clauses	Rustan Leino	2014-04-08
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Also include lower set bounds (bounding a set from below) in witness guesses ...	Rustan Leino	2014-04-04
* \|	Changed an error from a verification error to a syntactic (resolution) error	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
\|/
*	Auto-set type arguments of built-in collection types, just like for user-defi...	Rustan Leino	2014-03-21
*	Fixed problem with propagating allocation information about array elements.	Rustan Leino	2014-03-20
*	Fixed resolution bug where "var x := x" was allowed.	Rustan Leino	2014-03-17
*	Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...	Rustan Leino	2014-03-17
*	AST refactoring:	Rustan Leino	2014-03-17
*	Added further assistance in coming up with decreases clauses in SCCs with co-...	Rustan Leino	2014-02-24
*	Unfinished code -- please forgive (I'm switching machines and will fix shortly)	Rustan Leino	2014-02-24
*	Refactored code for dealing with SCCs in the call graph.	Rustan Leino	2014-02-24
*	Fixed bugs in co-call checks	Rustan Leino	2014-02-23
*	Fixed some checking of recursive method/copredicate calls	Rustan Leino	2014-02-23
*	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