summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
Commit message (Expand)AuthorAge
...
* MergeGravatar Dan Rosén2014-08-11
|\
* | Add higher-order-functions and some other goodiesGravatar Dan Rosén2014-08-11
| * MergeGravatar leino2014-08-02
| |\
| * | Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...Gravatar leino2014-08-02
|/ /
| * added trait feature:Gravatar Reza Ahmadi2014-07-18
|/
* Fixed build break from recent changeGravatar leino2014-07-15
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* Build VS Extension for both VS 2012 and VS 2013.Gravatar Rustan Leino2014-07-08
* MergeGravatar Dan Rosén2014-07-07
|\
| * DafnyExtension: Worked on adding support for Visual Studio 2013.Gravatar wuestholz2014-07-02
| * Dispose DafnyTokenTaggerGravatar Rustan Leino2014-07-01
| * Color nested comments correctly in the Dafny IDEGravatar Rustan Leino2014-07-01
| * 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: 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 19:03:09 +0000