index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
ProgressMargin.cs
Commit message (
Collapse
)
Author
Age
*
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 to integrate the Dafny menu more tightly.
wuestholz
2013-07-28
|
*
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: Made the 'ProgressTagger' use tasks instead of threads for ↵
wuestholz
2013-07-15
|
|
|
|
invoking the verifier.
*
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
|
*
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: Integrated support for multiple Z3 instances in Boogie ↵
wuestholz
2013-07-09
|
|
|
|
(incl. request cancellation).
*
DafnyExtension: Enabled verification result caching by default.
wuestholz
2013-07-02
|
*
DafnyExtension: Fixed a memory leak.
wuestholz
2013-06-24
|
*
DafnyExtension: Use tracking spans instead of regular spans.
wuestholz
2013-06-21
|
*
DafnyExtension: Made it display verification errors incrementally.
wuestholz
2013-06-20
|
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-19
|
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-18
|
*
DafnyExtension: Fixed an issue in the verification result caching.
wuestholz
2013-06-17
|
*
DafnyExtension: Worked on integrating the verification result caching.
wuestholz
2013-06-11
|
*
DafnyExtension: Did some refactoring.
wuestholz
2013-06-11
|
*
DafnyExtension: Did some refactoring.
wuestholz
2013-06-11
|
*
DafnyExtension: Worked on integrating the verification result caching.
wuestholz
2013-06-10
|
*
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 (InvalidOperationException).
wuestholz
2013-06-07
|
*
DafnyExtension: Worked on integrating the verification result caching.
wuestholz
2013-06-06
|
*
DafnyExtension: Fixed an issue (error list wasn't cleared after closing ↵
wuestholz
2013-05-27
|
|
|
|
buffers).
*
DafnyExtension: Added a button to the menu for stopping/starting the verifier.
wuestholz
2013-05-26
|
*
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., ↵
wuestholz
2013-05-23
|
|
|
|
compilation).
*
Put all sources under \Source directory
Rustan Leino
2012-10-04