debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Version 1.8.2.10419, binary release and (except for the "include" update in t...	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
*	Run-time real support	Rustan Leino	2014-04-13
*	Compile reals	Rustan Leino	2014-04-13
*	Allow reals in decreases clauses	Rustan Leino	2014-04-08
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Fixed refinement of modify statements	Rustan Leino	2014-04-04
\| *	Partial support for slicing a sequence using lengths, rather than indices.	Bryan Parno	2014-04-04
\|/
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Also include lower set bounds (bounding a set from below) in witness guesses ...	Rustan Leino	2014-04-04
* \|	Support the transition from "modify Frame;" to "modify Frame { Body }" by ref...	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
\|/
*	DafnyExtension: Fixed a concurrency issue.	wuestholz	2014-04-03
*	Bumped version to 1.8.1.10324. To go onto rise4fun and as a binary drop.	Rustan Leino	2014-03-24
*	Merge	Rustan Leino	2014-03-24
\|\
* \|	Reduced noise in BVD display of temporary variables of the translation	Rustan Leino	2014-03-24
\| *	Auto-set type arguments of built-in collection types, just like for user-defi...	Rustan Leino	2014-03-21
\|/
*	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
* \|	Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...	Rustan Leino	2014-03-17
* \|	AST refactoring:	Rustan Leino	2014-03-17
\| *	Improve computations, in particular compositionality. Isolated useless litera...	Nada Amin	2014-03-12
\| *	change computation weight to 3. Tests still pass.	Nada Amin	2014-03-11
\|/
*	Added further assistance in coming up with decreases clauses in SCCs with co-...	Rustan Leino	2014-02-24
*	Unfinished code -- please forgive (I'm switching machines and will fix shortly)	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
*	Fixed some checking of recursive method/copredicate calls	Rustan Leino	2014-02-23
*	Fixed build-break typo	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
*	Syntax highlighting for reals	Rustan Leino	2014-02-13
*	Fixed crash in parser	Rustan Leino	2014-02-13
*	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
*	Fixed bug in DafnyExtension (hover text computation would crash if Translator...	Rustan Leino	2014-02-06
*	Removed some blank lines at the end of hover texts.	Rustan Leino	2014-02-06
*	Merge	Rustan Leino	2014-02-04
\|\
* \|	Mark auto-generated expressions (in "decreases" clauses) and don't use these ...	Rustan Leino	2014-02-04
\| *	Provide more detailed feedback for errors involving if-then-else	Bryan Parno	2014-02-03
\|/
*	Fixed bug that misclassified a ghost statement	Rustan Leino	2014-01-31
*	Compile to .exe only if the Main method has no user-defined preconditions.	Rustan Leino	2014-01-31
*	Produce hover text for many of the refinement omissions (i.e., "..." and the ...	Rustan Leino	2014-01-31
*	Fix a bug in the interaction between opaque and generics	Bryan Parno	2014-01-23