summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
Commit message (Expand)AuthorAge
* 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: Added some support for logging program snapshots that are sen...Gravatar wuestholz2014-04-21
* Run-time real supportGravatar Rustan Leino2014-04-13
* Added "modify" statement.Gravatar Rustan Leino2014-04-03
* DafnyExtension: Fixed a concurrency issue.Gravatar wuestholz2014-04-03
* Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...Gravatar Rustan Leino2014-03-17
* Fixed build-break typoGravatar Rustan Leino2014-02-23
* Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...Gravatar Rustan Leino2014-02-23
* Syntax highlighting for realsGravatar Rustan Leino2014-02-13
* Fixed bug in DafnyExtension (hover text computation would crash if Translator...Gravatar Rustan Leino2014-02-06
* Mark auto-generated expressions (in "decreases" clauses) and don't use these ...Gravatar Rustan Leino2014-02-04
* Version 1.8.0.10115 release candidateGravatar Rustan Leino2014-01-15
* Manually adjusted mergeGravatar Rustan Leino2014-01-08
* One more file to go with the previous check-in (DafnyRuntime.cs apparently ge...Gravatar Rustan Leino2014-01-06
* DafnyExtension: Reduce the default number of Z3 instances by one.Gravatar wuestholz2013-12-26
* Compute default decreases clauses in Resolver instead of in the Translator.Gravatar Rustan Leino2013-12-19
* 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
* Fixed build failures due to changes in Boogie.Gravatar wuestholz2013-11-23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 06:58:08 +0000