debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
\| *	Added support for automatic generation of function requirements via the :auto...	Bryan Parno	2014-01-08
\|/
*	More thoroughly check for nested assume statements during compilation	Rustan Leino	2014-01-05
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Allow "match" expressions anywhere	Rustan Leino	2014-01-03
*	Added proper parsing for StmtExpr's in all contexts.	Rustan Leino	2013-12-30
*	Fixed pretty printing of calc statements to use the new(-since-long) format.	Rustan Leino	2013-12-17
*	Don't expand {:opaque} for inherited functions. (Note, more design is still ...	Rustan Leino	2013-12-17
*	Merge	Rustan Leino	2013-12-17
\|\
* \|	Don't inline opaque functions.	Rustan Leino	2013-12-17
\| *	Merge	Rustan Leino	2013-12-16
\| \|\ \| \|/ \|/\|
\| *	Fixed bug where free conditions preceded checked conditions (for inlined pred...	Rustan Leino	2013-12-16
* \|	Pass assert/assume attributes down to Boogie	Rustan Leino	2013-12-16
* \|	Add support for the :axiom attribute for ghost methods.	Bryan Parno	2013-12-13
* \|	Added support for opaque function definitions, indicated via the {:opaque} at...	Bryan Parno	2013-12-13
* \|	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
* \|	Updated an 'Answer' file.	wuestholz	2013-12-03
\|/
*	Use full name of type in compilation error	Rustan Leino	2013-11-18
*	Merge	Rustan Leino	2013-11-18
\|\
\| *	Added support for attributes on variable declarations.	wuestholz	2013-11-18
* \|	Let compiler complain about body-less functions and methods, even if these ar...	Rustan Leino	2013-11-14
\|/
*	Allow calls to side-effect-free ghost methods from expressions	Rustan Leino	2013-08-06
*	Merged PredicateExpr and CalcExpr into a single StmtExpr	Rustan Leino	2013-08-06
*	Allow co-predicates to be wrapped inside bounded existential quantifiers	Rustan Leino	2013-08-04
*	Disallow call-graph clusters that mix co-methods / prefix methods with other ...	Rustan Leino	2013-08-04