debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...	wuestholz	2013-12-09
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-11-23
*	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
\|/
*	Fixed build failure due to changes in Boogie.	wuestholz	2013-10-28
*	Removed old keyword "choose"	Rustan Leino	2013-08-06
*	Bumped version to 1.7.0, to be released as a binary and on rise4fun.	wuestholz	2013-08-06
*	Removed code for an unreachable case	Rustan Leino	2013-08-06
*	Merge	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
\| *	Updated 'PrepareDafnyZip.bat'.	wuestholz	2013-08-05
\| *	DafnyExtension: Use the same version number as Dafny (unfortunately needs to ...	wuestholz	2013-08-05
* \|	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
* \|	Set up call-graph to keep track of edges between functions and methods. (To ...	Rustan Leino	2013-08-04
\| *	DafnyExtension: Fixed issue with visual elements being accessed by non-owning...	wuestholz	2013-08-04
\| *	DafnyExtension: Did some refactoring and added a description to error states.	wuestholz	2013-08-03
\|/
*	Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...	Rustan Leino	2013-08-02
*	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
\| *	DafnyExtension: Fixed a minor issue in the error selection.	wuestholz	2013-08-01
\| *	Fixed contract build errors	Rustan Leino	2013-08-01
\| *	DafnyExtension: Fixed a minor issue in the error selection.	wuestholz	2013-08-01
\| *	DafnyExtension: Made it select the last error state by default when an error ...	wuestholz	2013-08-01
\| *	DafnyExtension: Made it display if a variable was updated in a given model st...	wuestholz	2013-08-01
\| *	DafnyExtension: Made it display all variable values from the model.	wuestholz	2013-08-01
\| *	DafnyExtension: Increased the font size for the BVD tool window.	wuestholz	2013-07-31
\| *	Added support for more fine-grained generation of unique names.	wuestholz	2013-07-31
\| *	Regenerated Parser after a merge.	Nadia Polikarpova	2013-07-31
\| *	Merge	Nadia Polikarpova	2013-07-31
\| \|\
\| * \|	Allowing dangling hints in calculations.	Nadia Polikarpova	2013-07-31
\|/ /
\| *	DafnyExtension: Added support for displaying values from the model as hover t...	wuestholz	2013-07-30
\| *	Add support for hexidecimal numbers.	parno	2013-07-30
\| *	Minor change	wuestholz	2013-07-30
\|/
*	Added "co-recursive call" to drop box	Rustan Leino	2013-07-30
*	Simplified the guardedness checking algorithm	Rustan Leino	2013-07-30
*	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