debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Added more tests.	wuestholz	2014-07-15
*	Merge	Rustan Leino	2014-07-14
\|\
* \|	Support for type synonyms in refinements	Rustan Leino	2014-07-14
\| *	Added a test.	wuestholz	2014-07-13
\|/
*	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
*	Added more tests for the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
*	Further resolved merge conflicts	Rustan Leino	2014-07-08
*	Merge	Rustan Leino	2014-07-08
\|\
* \|	Test cases for int<->real conversions	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
\| \| \|\
\| \| \| *	Changed "dummy" checksums to "stable" and added more tests for the verificati...	wuestholz	2014-07-03
* \| \| \|	Updated expected test results for previous check-in	Rustan Leino	2014-07-02
* \| \| \|	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
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Removed the old test infrastructure.	wuestholz	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
\| \|/ / \|/\| \|
* \| \|	Added some axioms about seq-to-multiset conversions	Rustan Leino	2014-06-24
* \| \|	Invert LHS sub-expressions in forall assignment statements, which gives the o...	Rustan Leino	2014-06-24
\| \| *	Add support doing computations over sequences	leino	2014-06-16
\| \|/ \|/\|
* \|	Improved axiom that knows that array-to-sequence converstion depends only on ...	Rustan Leino	2014-06-04
\| *	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
* \|	Added support for 'dirty' forall statements.	chmaria	2014-06-03
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Add support for assumption variables.	wuestholz	2014-04-21
*	Fixed bug #33.	Rustan Leino	2014-04-19
*	Members included from different files are now internally marked with an Inclu...	Rustan Leino	2014-04-19
*	Fixed bug #32 dafny.codeplex.com.	Rustan Leino	2014-04-15
*	Compile reals	Rustan Leino	2014-04-13
*	Allow reals in decreases clauses	Rustan Leino	2014-04-08
*	Partial support for slicing a sequence using lengths, rather than indices.	Bryan Parno	2014-04-04
*	Adjusted merge	Rustan Leino	2014-04-04
*	Merge	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
*	Added axiom to transfer array element-type information onto the elements them...	Rustan Leino	2014-03-20