debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Optimise ApplyExpr to FunctionCallExpr when possible in translator	Dan Rosén	2014-08-14
*	Generate function handle requires for functions without a body	Dan Rosén	2014-08-14
*	Reword error message for type error in lambda requires clause	Dan Rosén	2014-08-14
*	Fix bug in type substitution for type variables	Dan Rosén	2014-08-14
*	Allow reads to take fields of type A -> set<object>	Dan Rosén	2014-08-14
*	Refactor: Change ApplyExpr's Receiver to Function	Dan Rosén	2014-08-14
*	Re-included lost calls to CheckEqualityTypes_Type	leino	2014-08-13
*	Merge	leino	2014-08-13
\|\
* \|	Check for proper use of equality-supporting types also in local variables and...	leino	2014-08-13
\| *	Addressed CodeContract complaint about purity	Rustan Leino	2014-08-12
\| *	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
\| *	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
\| *	- fixed an issue regarding including ghost functions in the compiled interface	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
\| *	Don't assume can calls for quantifiers	Dan Rosén	2014-07-11
\|/
*	Make reveal axioms from opaque functions quantify over layers	Dan Rosén	2014-07-10
*	Ignore checked-only and free-only split expressions in places where they "don...	Rustan Leino	2014-07-09
*	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
\| \| *	Merge	leino	2014-07-03
\| \| \|\
\| \| * \|	Translate CanCallAssumption with the same fuel value as in the body of the fu...	leino	2014-07-03
\| \| \| *	Changed "dummy" checksums to "stable" and added more tests for the verificati...	wuestholz	2014-07-03
* \| \| \|	Fixed a crash in the translation of fresh(seq<T>).	Rustan Leino	2014-07-02
\| \|_\|/ \|/\| \|
\| \| *	Allow array-type parameters to be filled in automatically.	leino	2014-07-02
\| \| *	Merge	leino	2014-07-01
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Added support for verifying Dafny program snapshots from the command-line.	wuestholz	2014-07-01
* \| \|	Added tuples and tuple types. Syntax is the expected one, namely parentheses ...	Rustan Leino	2014-06-27
\| \| *	Merge	leino	2014-06-24
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	Merge	leino	2014-06-24
\| \| \|\
* \| \| \|	Make syntax of "match" expressions and "match" statements the same -- curly b...	Rustan Leino	2014-06-24
\| \|/ / \|/\| \|
* \| \|	Invert LHS sub-expressions in forall assignment statements, which gives the o...	Rustan Leino	2014-06-24
\| \| *	Merge	leino	2014-06-16
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	Add support doing computations over sequences	leino	2014-06-16
* \| \|	Specialized Lit function for int and real (leaving all other cases polymorphi...	Rustan Leino	2014-06-10
\| \|/ \|/\|
\| *	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
* \|	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04