index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
TokenTagger.cs
Commit message (
Expand
)
Author
Age
*
Changed syntax of derived types to "newtype"
leino
2014-08-21
*
added trait feature:
Reza Ahmadi
2014-07-18
*
Dispose DafnyTokenTagger
Rustan Leino
2014-07-01
*
Color nested comments correctly in the Dafny IDE
Rustan Leino
2014-07-01
*
Added "modify" statement.
Rustan Leino
2014-04-03
*
Fixed build-break typo
Rustan Leino
2014-02-23
*
Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...
Rustan Leino
2014-02-23
*
Syntax highlighting for reals
Rustan Leino
2014-02-13
*
Fixed bug in DafnyExtension (hover text computation would crash if Translator...
Rustan Leino
2014-02-06
*
Add support for the "include" keyword, which accepts a (possibly relative) path
Bryan Parno
2013-12-10
*
Removed old keyword "choose"
Rustan Leino
2013-08-06
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...
Rustan Leino
2013-08-02
*
DafnyExtension: Made it display if a variable was updated in a given model st...
wuestholz
2013-08-01
*
DafnyExtension: Added support for displaying values from the model as hover t...
wuestholz
2013-07-30
*
DafnyExtension: Added support for collecting additional information during re...
wuestholz
2013-07-15
*
DafnyExtension: Did some refactoring.
wuestholz
2013-06-11
*
Deleted a non-keyword
Rustan Leino
2013-04-04
*
Renamed "parallel" statement to "forall" statement, and made the parentheses ...
Rustan Leino
2013-03-06
*
Rename _reverifyPost to $_reverifyPost, so that it doesn't show up in BVD
Rustan Leino
2012-10-30
*
removed deprecated "allocated" keyword from DafnyExtension syntax highlighting
Rustan Leino
2012-10-22
*
renamed "abstract module" to "module facade"
Rustan Leino
2012-10-22
*
allow a refinement to introduce "return" statements, at the price of re-verif...
Rustan Leino
2012-10-22
*
New feature:
Rustan Leino
2012-10-11
*
Put all sources under \Source directory
Rustan Leino
2012-10-04