debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Revert change 1997 (bfe7c149bef1). IDE performance. Don't delay the resolver	qunyanm	2016-02-29
\| \| \| \|	until the editor is idle for 5 second.
*	VS IDE performance - invoke dafny parser when the buffer hasn't changed for	qunyanm	2016-01-20
\| \| \| \| \| \|	half a second, but delay calling Dafny resolver until the text buffer hasn't been changed for 5 seconds. Also save the parsing result from TokenTagger in ITextBuffer's property instead of in a static field.
*	In Visual Studio, be willing to display both resolution warnings and ↵	leino	2015-10-24
\| \| \| \| \| \|	verification errors (previously, verification errors were masked by resolution warnings)
*	DafnyExtension: Fix concurrency issue.	wuestholz	2015-10-08
\|
*	Enable unicode output in the VS extension	Clément Pit--Claudel	2015-08-19
\|
*	Refactor the error reporting code	Clément Pit--Claudel	2015-08-18
\| \| \| \| \|	The new error reporting system has a simpler interface, isn't tied to the resolver, and contains error source information.
*	Fix an issue with column numbers in the VS extension	Clément Pit--Claudel	2015-07-31
\| \| \| \| \| \|	The error came from the fact that Dafny now consistently used 0-based indexing. Boogie gets its traces from text that's inserted by Dafny in the Boogie file, so there's no need to apply an extra offset in the VS extension.
*	Fix: Visual studio did not show warnings.	Clément Pit--Claudel	2015-07-23
\| \| \| \| \|	To check if the fix works, try declaring a static top level function. Initial work on this patch by Rustan
*	DafnyExtension: minor change due to change in Boogie	wuestholz	2014-09-28
\|
*	Did more refactoring.	wuestholz	2014-09-23
\|
*	Did more refactoring.	wuestholz	2014-09-23
\|
*	DafnyExtension: minor change	wuestholz	2014-09-22
\|
*	Add support for the "include" keyword, which accepts a (possibly relative) path	Bryan Parno	2013-12-10
\| \| \| \| \|	to another Dafny file. That file's functions and methods are included but not checked. This is intended to support incremental verification on a per-file basis.
*	DafnyExtension: Did some refactoring and added a description to error states.	wuestholz	2013-08-03
\|
*	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
\| \| \| \|	is selected.
*	DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.	wuestholz	2013-07-28
\|
*	DafnyExtension: Did some refactoring and worked towards integrating the ↵	wuestholz	2013-07-26
\| \| \| \|	Dafny menu more tightly.
*	DafnyExtension: minor fix	wuestholz	2013-07-23
\|
*	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: Worked on integrating BVD.	wuestholz	2013-07-14
\|
*	DafnyExtension: Enabled model extraction for verification failures.	wuestholz	2013-07-12
\|
*	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
\|
*	DafnyExtension: Use tracking spans instead of regular spans.	wuestholz	2013-06-21
\|
*	DafnyExtension: Made it display verification errors incrementally.	wuestholz	2013-06-20
\|
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-11
\|
*	DafnyExtension: Did some refactoring.	wuestholz	2013-06-10
\|
*	DafnyExtension: Improved the way errors (incl. locations) are kept up-to-date.	wuestholz	2013-06-10
\|
*	DafnyExtension: Worked on integrating the verification result caching.	wuestholz	2013-06-07
\|
*	DafnyExtension: Fixed an issue (error list wasn't cleared after closing ↵	wuestholz	2013-05-27
\| \| \| \|	buffers).
*	DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵	wuestholz	2013-05-23
\| \| \| \|	compilation).
*	Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD	Rustan Leino	2012-10-30
\| \| \| \| \|	Remove some duplicated hover text in DafnyExtension Enable Code Contracts in the build
*	Put all sources under \Source directory	Rustan Leino	2012-10-04