debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
\| *	Added support for automatic generation of function requirements via the :auto...	Bryan Parno	2014-01-08
\| *	Compile assign-such-that for all integers, not just ones where a bound is found	Rustan Leino	2014-01-06
\|/
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration	Bryan Parno	2014-01-03
*	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
*	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
\|/
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
*	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
*	Set up call-graph to keep track of edges between functions and methods. (To ...	Rustan Leino	2013-08-04
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	Fixed contract build errors	Rustan Leino	2013-08-01
*	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
*	Allow field names to be sequences of digits (this is nice, for example, to de...	Rustan Leino	2013-07-24
*	DafnyExtension: Added support for collecting additional information during re...	wuestholz	2013-07-15
*	Datatypes with ghost fields (that is, with constructors with ghost parameters...	Rustan Leino	2013-07-09
*	Merge	Unknown	2013-07-04
\|\
\| *	Computations!	Unknown	2013-07-04
* \|	Fixed bug with substitutions in let-such-that expressions. This cures Issue 22.	Rustan Leino	2013-07-04
\|/
*	Fixed bug of inappropriate Boogie name	Rustan Leino	2013-07-01
*	Fixed soundness bug with co-recursive calls: co-recursive calls may now no l...	Rustan Leino	2013-06-29
*	Fixed compilation bug where C# keywords were not being escaped	Rustan Leino	2013-06-25
*	When inlining the body of a predicate (in a proof obligation--via TrSplitExpr),	Rustan Leino	2013-04-24
*	Refactored some resolution stages to make use of Visitors	Rustan Leino	2013-04-02
*	Moved resolution of BinaryExpr.ResolveOp until the CheckTypeInference phase, ...	Rustan Leino	2013-04-01
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ...	Rustan Leino	2013-03-27
*	Compilation of (many common) assign-such-that statements.	Rustan Leino	2013-03-26
*	Type-inference support for cardinality operator	Rustan Leino	2013-03-26
*	First take on set, multiset and map cardinality.	Nadia Polikarpova	2013-03-22
*	Minor code cleanup.	Nadia Polikarpova	2013-03-21
*	Finished support for ==# in calc, changed Paulson example to use it.	Nadia Polikarpova	2013-03-20
*	Added some data structure to support ==# in calculations.	Nadia Polikarpova	2013-03-20
*	Added explies support to calculations.	Nadia Polikarpova	2013-03-15
*	Added the <== operator.	Nadia Polikarpova	2013-03-14
*	Renamed "parallel" statement to "forall" statement, and made the parentheses ...	Rustan Leino	2013-03-06
*	New well-formedness checks for calculations (no cascading).	Nadia Polikarpova	2013-03-05
*	Added Equals method on Type	Rustan Leino	2013-02-20
*	Minor fixes for calc expressions.	Nadia Polikarpova	2013-02-13
*	First take on calc expressions.	Nadia Polikarpova	2013-02-14
*	Minor cleanup.	Nadia Polikarpova	2013-02-12
*	Added parsing and resolution of a new let-such-that expression. Translation h...	Rustan Leino	2013-01-21
*	Removed the syntactic form copredicate #-form with the implicit argument.	Rustan Leino	2013-01-16
*	Encode codatatype equalities by predefined copredicates, including their pref...	Rustan Leino	2013-01-15
*	Support for copredicates and prefix predicates in comethods.	Rustan Leino	2012-12-04