debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	Merge	Rustan Leino	2013-07-29
\|\
* \|	Make functions and predicates be opaque outside the defining module -- only t...	Rustan Leino	2013-07-29
\| *	DafnyExtension: Make it possible to enable and disable BVD.	wuestholz	2013-07-28
\| *	DafnyExtension: Hide the state list and the menu strip in BVD.	wuestholz	2013-07-28
\| *	DafnyExtension: Avoid allocating too much space for the error model adornments.	wuestholz	2013-07-28
\| *	DafnyExtension: Update the error model when a new error state is selected.	wuestholz	2013-07-28
\| *	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\| *	DafnyExtension: minor change	wuestholz	2013-07-26
\| *	DafnyExtension: Did some refactoring and worked towards integrating the Dafny...	wuestholz	2013-07-26
\| *	Fixed build failure.	wuestholz	2013-07-25
\|/
*	Merge	Rustan Leino	2013-07-24
\|\
* \|	Allow field names to be sequences of digits (this is nice, for example, to de...	Rustan Leino	2013-07-24
* \|	Make sure there's at least one CaptureState per method (otherwise BVD doesn't...	Rustan Leino	2013-07-24
\| *	DafnyExtension: minor fix	wuestholz	2013-07-23
\|/
*	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
*	DafnyExtension: Worked on improving the error selection and visualization.	wuestholz	2013-07-21
*	DafnyExtension: Added support for selecting errors and showing the model in BVD.	wuestholz	2013-07-15
*	DafnyExtension: Added support for collecting additional information during re...	wuestholz	2013-07-15
*	DafnyExtension: Made the 'ProgressTagger' use tasks instead of threads for in...	wuestholz	2013-07-15
*	DafnyExtension: Worked on integrating BVD.	wuestholz	2013-07-14
*	DafnyExtension: Enabled model extraction for verification failures.	wuestholz	2013-07-12
*	DafnyExtension: Fixed an error list issue.	wuestholz	2013-07-12
*	Fixed printer bug to handle static receivers in function call expressions. (T...	chmaria	2013-07-11
*	Because of neighboring parse conflict handlers, must call ResetPeek()	Rustan Leino	2013-07-10
*	Look through paren expressions when determining a default loop decreases clause	Rustan Leino	2013-07-10
*	Merge	Rustan Leino	2013-07-10
\|\
* \|	Fixed parsing bug in "if" and "while" guards	Rustan Leino	2013-07-10
\| *	Did some refactoring of the interaction with the Boogie execution engine.	wuestholz	2013-07-10
\|/
*	DafnyExtension: Fixed flickering of errors in the error list.	wuestholz	2013-07-10