index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
ResolverTagger.cs
Commit message (
Expand
)
Author
Age
*
Revert change 1997 (bfe7c149bef1). IDE performance. Don't delay the resolver
qunyanm
2016-02-29
*
VS IDE performance - invoke dafny parser when the buffer hasn't changed for
qunyanm
2016-01-20
*
In Visual Studio, be willing to display both resolution warnings and verifica...
leino
2015-10-24
*
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
*
Fix an issue with column numbers in the VS extension
Clément Pit--Claudel
2015-07-31
*
Fix: Visual studio did not show warnings.
Clément Pit--Claudel
2015-07-23
*
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
*
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
*
DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.
wuestholz
2013-07-28
*
DafnyExtension: Did some refactoring and worked towards integrating the Dafny...
wuestholz
2013-07-26
*
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 buffe...
wuestholz
2013-05-27
*
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...
wuestholz
2013-05-23
*
Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD
Rustan Leino
2012-10-30
*
Put all sources under \Source directory
Rustan Leino
2012-10-04