summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension/DafnyDriver.cs
Commit message (Expand)AuthorAge
* Implement 'extern' declaration modifier.Gravatar Richard L. Ford2016-01-27
* VS IDE performance - invoke dafny parser when the buffer hasn't changed forGravatar qunyanm2016-01-20
* DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...Gravatar wuestholz2015-10-26
* Make /autoTriggers:1 be the default in Visual StudioGravatar leino2015-10-24
* Enable unicode output in the VS extensionGravatar Clément Pit--Claudel2015-08-19
* Refactor the error reporting codeGravatar Clément Pit--Claudel2015-08-18
* Tiny refactoring in the extension's driverGravatar Clément Pit--Claudel2015-07-31
* Update the VS extension to use the error interface defined in 576eac2e17ffGravatar Clément Pit--Claudel2015-07-29
* Update DafnyExtension to use the parser constructor introduced in d2e394fc4b93Gravatar Clément Pit--Claudel2015-07-24
* Fix: Visual studio did not show warnings.Gravatar Clément Pit--Claudel2015-07-23
* DafnyExtension: Added experimental support for diagnosing timeouts.Gravatar wuestholz2015-05-18
* Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...Gravatar chrishaw2015-03-11
* DafnyExtension: Made it use the more advanced on-demand re-verification by de...Gravatar wuestholz2015-01-26
* Ensure that no file is processed twice, even if one command-line file is incl...Gravatar Bryan Parno2014-10-27
* DafnyExtension: Fixed minor issue in the menu.Gravatar wuestholz2014-10-19
* Did more refactoring.Gravatar wuestholz2014-09-23
* DafnyExtension: minor changeGravatar wuestholz2014-09-22
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* MergeGravatar Dan Rosén2014-07-07
|\
| * Minor change due to change in BoogieGravatar wuestholz2014-06-28
| * DafnyExtension: Made it possible to activate the more advanced verification r...Gravatar wuestholz2014-06-23
* | DafnyExtension: Minor change to deal with a change in the Boogie command-line...Gravatar wuestholz2014-06-20
| * DafnyExtension: Minor change to deal with a change in the Boogie command-line...Gravatar wuestholz2014-06-20
* | Fixed issues with absolute file names in the expected output for the lit tests.Gravatar wuestholz2014-06-04
| * Fixed issues with absolute file names in the expected output for the lit tests.Gravatar wuestholz2014-06-04
|/
* DafnyExtension: Made it display the compilation output in the VS output pane.Gravatar wuestholz2014-04-21
* DafnyExtension: Reduce the default number of Z3 instances by one.Gravatar wuestholz2013-12-26
* Add support for the "include" keyword, which accepts a (possibly relative) pathGravatar Bryan Parno2013-12-10
* Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...Gravatar wuestholz2013-12-09
* DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.Gravatar wuestholz2013-07-28
* DafnyExtension: Added support for collecting additional information during re...Gravatar wuestholz2013-07-15
* DafnyExtension: Enabled model extraction for verification failures.Gravatar wuestholz2013-07-12
* Did some refactoring of the interaction with the Boogie execution engine.Gravatar wuestholz2013-07-10
* DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl....Gravatar wuestholz2013-07-09
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-24
* DafnyExtension: Made it display verification errors incrementally.Gravatar wuestholz2013-06-20
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-19
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-19
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-19
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-18
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-18
* DafnyExtension: Fixed an issue in the verification result caching.Gravatar wuestholz2013-06-17
* DafnyExtension: Disabled the default console printer for Boogie.Gravatar wuestholz2013-06-13
* DafnyExtension: Added a menu item to toggle verification result caching.Gravatar wuestholz2013-06-12
* DafnyExtension: Added a todo.Gravatar wuestholz2013-06-12
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-11
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-11
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-10
* DafnyExtension: Improved the way errors (incl. locations) are kept up-to-date.Gravatar wuestholz2013-06-10
* DafnyExtension: Worked on integrating the verification result caching.Gravatar wuestholz2013-06-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 20:16:30 +0000