debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	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
*	Improved the name-clashing situation when substituting to produce printable A...	Rustan Leino	2014-01-03
*	Merge	Rustan Leino	2014-01-03
\|\
\| *	Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration	Bryan Parno	2014-01-03
* \|	Allow "match" expressions anywhere	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
\|/
*	Hover text for inferred postconditions of 'forall' statements (the one for ca...	Rustan Leino	2013-12-30
*	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
\| *	Changed the iterator class hover text back to the iterator name (which is con...	Rustan Leino	2013-12-20
\|/
*	Hover text for default decreases clauses of loops.	Rustan Leino	2013-12-20
*	Moved the hover text of iterator classes to the "iterator" keyword itself (si...	Rustan Leino	2013-12-19
*	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
\|/
*	Fix a possible null dereference.	wuestholz	2013-12-18
*	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
* \|	Fix build failure due to changes in Boogie.	wuestholz	2013-12-16
* \|	Merge	Bryan Parno	2013-12-13
\|\ \
* \| \|	Add support for the :axiom attribute for ghost methods.	Bryan Parno	2013-12-13
\| * \|	Produce "tail recursive" hover text in the IDE only for methods that are recu...	Rustan Leino	2013-12-13
* \| \|	Added support for opaque function definitions, indicated via the {:opaque} at...	Bryan Parno	2013-12-13
\|/ /
* \|	Add a command-line option to disable include directives.	Bryan Parno	2013-12-13
* \|	Merge	Rustan Leino	2013-12-11
\|\ \
* \| \|	Refactored the calling of rewriters	Rustan Leino	2013-12-11
\| * \|	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
\|/ /
* \|	Fixed a bug in the Boogie generated for refinement checks (now that there is ...	Rustan Leino	2013-12-09
* \|	Fixed bug reported as discussion:472216 on dafny.codeplex.com	Rustan Leino	2013-12-09
\|/
*	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
\|/
*	Removed code for an unreachable case	Rustan Leino	2013-08-06
*	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
*	Added hover text ("additional information") in places where co-predicates pro...	Rustan Leino	2013-08-04
*	Allow co-predicates to be wrapped inside bounded existential quantifiers	Rustan Leino	2013-08-04
*	Added hover text ("additional information") in places where co-methods provid...	Rustan Leino	2013-08-04
*	Unified function/method context heights	Rustan Leino	2013-08-04
*	Disallow call-graph clusters that mix co-methods / prefix methods with other ...	Rustan Leino	2013-08-04