index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
DafnyDriver.cs
Commit message (
Expand
)
Author
Age
*
Implement 'extern' declaration modifier.
Richard L. Ford
2016-01-27
*
VS IDE performance - invoke dafny parser when the buffer hasn't changed for
qunyanm
2016-01-20
*
DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...
wuestholz
2015-10-26
*
Make /autoTriggers:1 be the default in Visual Studio
leino
2015-10-24
*
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
*
Tiny refactoring in the extension's driver
Clément Pit--Claudel
2015-07-31
*
Update the VS extension to use the error interface defined in 576eac2e17ff
Clément Pit--Claudel
2015-07-29
*
Update DafnyExtension to use the parser constructor introduced in d2e394fc4b93
Clément Pit--Claudel
2015-07-24
*
Fix: Visual studio did not show warnings.
Clément Pit--Claudel
2015-07-23
*
DafnyExtension: Added experimental support for diagnosing timeouts.
wuestholz
2015-05-18
*
Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...
chrishaw
2015-03-11
*
DafnyExtension: Made it use the more advanced on-demand re-verification by de...
wuestholz
2015-01-26
*
Ensure that no file is processed twice, even if one command-line file is incl...
Bryan Parno
2014-10-27
*
DafnyExtension: Fixed minor issue in the menu.
wuestholz
2014-10-19
*
Did more refactoring.
wuestholz
2014-09-23
*
DafnyExtension: minor change
wuestholz
2014-09-22
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Merge
Dan Rosén
2014-07-07
|
\
|
*
Minor change due to change in Boogie
wuestholz
2014-06-28
|
*
DafnyExtension: Made it possible to activate the more advanced verification r...
wuestholz
2014-06-23
*
|
DafnyExtension: Minor change to deal with a change in the Boogie command-line...
wuestholz
2014-06-20
|
*
DafnyExtension: Minor change to deal with a change in the Boogie command-line...
wuestholz
2014-06-20
*
|
Fixed issues with absolute file names in the expected output for the lit tests.
wuestholz
2014-06-04
|
*
Fixed issues with absolute file names in the expected output for the lit tests.
wuestholz
2014-06-04
|
/
*
DafnyExtension: Made it display the compilation output in the VS output pane.
wuestholz
2014-04-21
*
DafnyExtension: Reduce the default number of Z3 instances by one.
wuestholz
2013-12-26
*
Add support for the "include" keyword, which accepts a (possibly relative) path
Bryan Parno
2013-12-10
*
Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...
wuestholz
2013-12-09
*
DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.
wuestholz
2013-07-28
*
DafnyExtension: Added support for collecting additional information during re...
wuestholz
2013-07-15
*
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: Integrated support for multiple Z3 instances in Boogie (incl....
wuestholz
2013-07-09
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-24
*
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: Did some refactoring.
wuestholz
2013-06-11
*
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
[next]