debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
* \| \|	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
*	Fixed problem with propagating allocation information about array elements.	Rustan Leino	2014-03-20
*	Propagate literals through equality operations.	Nada Amin	2014-03-19
*	Merge	Rustan Leino	2014-03-17
\|\
* \|	Fixed resolution bug where "var x := x" was allowed.	Rustan Leino	2014-03-17
\| *	Improve computations, in particular compositionality. Isolated useless litera...	Nada Amin	2014-03-12
\|/
*	Added further assistance in coming up with decreases clauses in SCCs with co-...	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
*	Added another colemma-calls-function-recursively test	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
*	Fix soundness bug (Issue #9 on dafny.codeplex.com) in function axiom for lite...	Rustan Leino	2014-02-13
*	Updated test suite after a Boogie bug fix for reals	Rustan Leino	2014-02-10
*	Add basic tests for reals	Bryan Parno	2014-02-10
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Provide more detailed feedback for errors involving if-then-else	Bryan Parno	2014-02-03
*	Fix a bug in the interaction between opaque and generics	Bryan Parno	2014-01-23
*	Merge	Rustan Leino	2014-01-14
\|\
* \|	Improve error information by generating "Related location" information that t...	Rustan Leino	2014-01-14
\| *	Improve autoReq's interactions with opaque	Bryan Parno	2014-01-13
\|/
*	Fixed spurious complaint about assignment to non-ghost variable	Rustan Leino	2014-01-11
*	A better fix to deal with StaticReceiverTypes affected by autoReq.	Bryan Parno	2014-01-10
*	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