summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
Commit message (Expand)AuthorAge
* Removed old keyword "choose"Gravatar Rustan Leino2013-08-06
* Bumped version to 1.7.0, to be released as a binary and on rise4fun.Gravatar wuestholz2013-08-06
* Updated 'PrepareDafnyZip.bat'.Gravatar wuestholz2013-08-05
* DafnyExtension: Use the same version number as Dafny (unfortunately needs to ...Gravatar wuestholz2013-08-05
* DafnyExtension: Fixed issue with visual elements being accessed by non-owning...Gravatar wuestholz2013-08-04
* DafnyExtension: Did some refactoring and added a description to error states.Gravatar wuestholz2013-08-03
* Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...Gravatar Rustan Leino2013-08-02
* DafnyExtension: Fixed a minor issue in the error selection.Gravatar wuestholz2013-08-01
* DafnyExtension: Fixed a minor issue in the error selection.Gravatar wuestholz2013-08-01
* DafnyExtension: Made it select the last error state by default when an error ...Gravatar wuestholz2013-08-01
* DafnyExtension: Made it display if a variable was updated in a given model st...Gravatar wuestholz2013-08-01
* DafnyExtension: Added support for displaying values from the model as hover t...Gravatar wuestholz2013-07-30
* DafnyExtension: Make it possible to enable and disable BVD.Gravatar wuestholz2013-07-28
* DafnyExtension: Avoid allocating too much space for the error model adornments.Gravatar wuestholz2013-07-28
* DafnyExtension: Update the error model when a new error state is selected.Gravatar wuestholz2013-07-28
* DafnyExtension: Did some refactoring to integrate the Dafny menu more tightly.Gravatar wuestholz2013-07-28
* DafnyExtension: Did some refactoring and worked towards integrating the Dafny...Gravatar wuestholz2013-07-26
* DafnyExtension: minor fixGravatar wuestholz2013-07-23
* Fixed build failures due to changes in Boogie.Gravatar wuestholz2013-07-22
* DafnyExtension: Worked on improving the error selection and visualization.Gravatar wuestholz2013-07-21
* DafnyExtension: Added support for selecting errors and showing the model in BVD.Gravatar wuestholz2013-07-15
* DafnyExtension: Added support for collecting additional information during re...Gravatar wuestholz2013-07-15
* DafnyExtension: Made the 'ProgressTagger' use tasks instead of threads for in...Gravatar wuestholz2013-07-15
* DafnyExtension: Worked on integrating BVD.Gravatar wuestholz2013-07-14
* DafnyExtension: Enabled model extraction for verification failures.Gravatar wuestholz2013-07-12
* DafnyExtension: Fixed an error list issue.Gravatar wuestholz2013-07-12
* Did some refactoring of the interaction with the Boogie execution engine.Gravatar wuestholz2013-07-10
* DafnyExtension: Fixed flickering of errors in the error list.Gravatar wuestholz2013-07-10
* DafnyExtension: Integrated support for multiple Z3 instances in Boogie (incl....Gravatar wuestholz2013-07-09
* DafnyExtension: Enabled verification result caching by default.Gravatar wuestholz2013-07-02
* DafnyExtension: Fixed a memory leak.Gravatar wuestholz2013-06-24
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-24
* DafnyExtension: Use tracking spans instead of regular spans.Gravatar wuestholz2013-06-21
* 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: Worked on integrating the verification result caching.Gravatar wuestholz2013-06-11
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-11
* DafnyExtension: Did some refactoring.Gravatar wuestholz2013-06-11
* DafnyExtension: Worked on integrating the verification result caching.Gravatar wuestholz2013-06-10
* 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-07-05 23:26:21 +0000