index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
Commit message (
Expand
)
Author
Age
...
*
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 (incl....
wuestholz
2013-07-09
*
DafnyExtension: Enabled verification result caching by default.
wuestholz
2013-07-02
*
DafnyExtension: Fixed a memory leak.
wuestholz
2013-06-24
*
Did some refactoring of the error reporting functionality.
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-19
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-19
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-18
*
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: Disabled the default console printer for Boogie.
wuestholz
2013-06-13
*
DafnyExtension: Added a menu item to toggle verification result caching.
wuestholz
2013-06-12
*
DafnyExtension: Added a todo.
wuestholz
2013-06-12
*
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: Cleaned up some references and disabled non-functional suppor...
wuestholz
2013-06-07
*
DafnyExtension: Worked on integrating the verification result caching.
wuestholz
2013-06-06
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-04
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Minor change to a project file
wuestholz
2013-05-30
*
Minor change to a project file
wuestholz
2013-05-30
*
Minor change to a project file
wuestholz
2013-05-30
*
Changed the Dafny driver to report traces for time outs and out of memory.
wuestholz
2013-05-30
*
DafnyExtension: minor changes
wuestholz
2013-05-27
*
DafnyExtension: Fixed an issue (error list wasn't cleared after closing buffe...
wuestholz
2013-05-27
*
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., c...
wuestholz
2013-05-23
*
Updated several project files.
wuestholz
2013-05-21
*
In Visual Studio interface, highlight variable definitions of let expressions
Rustan Leino
2013-05-12
*
Deleted a non-keyword
Rustan Leino
2013-04-04
*
Renamed "parallel" statement to "forall" statement, and made the parentheses ...
Rustan Leino
2013-03-06
*
Support for copredicates and prefix predicates in comethods.
Rustan Leino
2012-12-04
[prev]
[next]