debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix soundness bug (Issue #9 on dafny.codeplex.com) in function axiom for lite...	Rustan Leino	2014-02-13
*	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
*	Improve error information by generating "Related location" information that t...	Rustan Leino	2014-01-14
*	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
\| *	Added support for automatic generation of function requirements via the :auto...	Bryan Parno	2014-01-08
\|/
*	Improved the name-clashing situation when substituting to produce printable A...	Rustan Leino	2014-01-03
*	No longer specialize axioms Haskell-style for functions whose bodies contains...	Rustan Leino	2014-01-03
*	Print and translate "match" expressions in general positions, not just at the...	Rustan Leino	2014-01-03
*	Merge	Rustan Leino	2013-12-30
\|\
* \|	Added proper parsing for StmtExpr's in all contexts.	Rustan Leino	2013-12-30
\| *	Pass on attributes for methods, iterators, and functions to Boogie.	wuestholz	2013-12-26
\|/
*	Hover text for default decreases clauses of loops.	Rustan Leino	2013-12-20
*	Merge	Rustan Leino	2013-12-19
\|\
* \|	Added an .EndTok for every statement. (Note, in some places, especially in V...	Rustan Leino	2013-12-19
\| *	Compute default decreases clauses in Resolver instead of in the Translator.	Rustan Leino	2013-12-19
\|/
*	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
* \|	Fix build failure due to changes in Boogie.	wuestholz	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
* \|	Fixed a bug in the Boogie generated for refinement checks (now that there is ...	Rustan Leino	2013-12-09
\|/
*	Added support for attributes on variable declarations.	wuestholz	2013-11-18
*	Removed code for an unreachable case	Rustan Leino	2013-08-06
*	Merged PredicateExpr and CalcExpr into a single StmtExpr	Rustan Leino	2013-08-06
*	Unified function/method context heights	Rustan Leino	2013-08-04
*	Set up call-graph to keep track of edges between functions and methods. (To ...	Rustan Leino	2013-08-04
*	More and improved CaptureState info	Rustan Leino	2013-08-02
*	Merge adjustments	Rustan Leino	2013-08-02
\|\
* \|	Added activation antecedents for co-predicate / prefix predicate axioms.	Rustan Leino	2013-08-02
* \|	Changed the encoding of recursive functions. Previous, three hardcoded layer...	Rustan Leino	2013-08-02
\| *	Added support for more fine-grained generation of unique names.	wuestholz	2013-07-31
\| *	Allowing dangling hints in calculations.	Nadia Polikarpova	2013-07-31
\|/
*	Co-recursion, now sounder than ever!	Rustan Leino	2013-07-30
*	Fixed issue in the computation of checksums.	wuestholz	2013-07-29
*	Fixed distinction between intra/inter-module calls and refined calls.	Rustan Leino	2013-07-29
*	Make functions and predicates be opaque outside the defining module -- only t...	Rustan Leino	2013-07-29
*	Make sure there's at least one CaptureState per method (otherwise BVD doesn't...	Rustan Leino	2013-07-24
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-07-22
*	Fixed issues due to merge.	wuestholz	2013-07-22
*	Merge	Rustan Leino	2013-07-22
\|\
* \|	Fixed build failures from recent Boogie refactoring.	Rustan Leino	2013-07-22
\| *	Fixed build failures due to changes in Boogie.	wuestholz	2013-07-22
\|/
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-07-22
*	Look through paren expressions when determining a default loop decreases clause	Rustan Leino	2013-07-10
*	DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl....	wuestholz	2013-07-09