debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Print arrow types with parentheses around the domain type when the domain ↵	leino	2014-10-09
\| \| \| \|	consists of one tuple type.
*	Stricter rules about that types need to be completely resolved.	leino	2014-10-08
\| \| \| \| \| \|	Renamed "default constructor" to "anonymous constructor" (since there's really nothing "default" about it). If the type of literal "null" is unresolved, make the type "object". The need to translate unresolved proxies is now assumed to be gone.
*	Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are ↵	leino	2014-08-27
\| \| \| \|	now created by the parser into the system module.
*	Support for non-constrained derived types ("new types").	leino	2014-08-21
\| \| \| \| \|	Arbitrary conversion from int/real to derived types not yet supported. Changed rules about numeric type conversions to allow conversions from any numeric type.
*	Handle underscores in lambda bound variable lists properly	Dan Rosén	2014-08-19
\| \| \| \|	+ add a test case with lambdas that don't get their types fully specified
*	Fix type inference bug in data rank comparison when one side can be a TypeVar	Dan Rosén	2014-08-19
\|
*	Consider lambdas literals + create literal axioms when an argument is a function	Dan Rosén	2014-08-18
\|
*	Add Monads as a module example and implementation of some simple monads	Dan Rosén	2014-08-15
\|
*	Refactor resolver, and really allow reads to take fields of type A -> set<obj>	Dan Rosén	2014-08-15
\| \| \| \|	twoState and codeContext is moved to a new class ResolveOpts
*	Add the VectorUpdate example	Dan Rosén	2014-08-14
\|
*	Make arrow types not look like reference types for the resolver	Dan Rosén	2014-08-14
\|
*	Reword error message for type error in lambda requires clause	Dan Rosén	2014-08-14
\|
*	Add lambda compilation example, and remove some unused files from the tests	Dan Rosén	2014-08-13
\|
*	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
\|
*	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
	* The reads clause now needs to be self framing. * The requires clause now needs to be framed by the reads clause. * There are one-shot lambdas, with a single arrow, but they will probably be removed. * There is a {:heapQuantifier} attribute to quantifiers, but they will probably be removed. * Add smart handling of type variables * Add < and > for datatype & type parameter