index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyMenu
/
DafnyMenu.vsct
Commit message (
Collapse
)
Author
Age
*
DafnyExtension: Add menu item for automatic induction (mainly developed by ↵
wuestholz
2015-10-26
|
|
|
|
Rustan).
*
DafnyExtension: Added experimental support for diagnosing timeouts.
wuestholz
2015-05-18
|
*
DafnyExtension: Made it use the more advanced on-demand re-verification by ↵
wuestholz
2015-01-26
|
|
|
|
default.
*
DafnyExtension: Made it possible to activate the more advanced verification ↵
wuestholz
2014-06-23
|
|
|
|
result caching in Boogie (experimental for now).
*
DafnyExtension: Make it possible to enable and disable BVD.
wuestholz
2013-07-28
|
*
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 verification result caching by default.
wuestholz
2013-07-02
|
*
DafnyExtension: Added a menu item to toggle verification result caching.
wuestholz
2013-06-12
|
*
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).