index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
/
OutliningTagger.cs
Commit message (
Collapse
)
Author
Age
*
In the VS IDE, don't generate hover-text information for auto-generated ↵
leino
2015-11-05
|
|
|
|
identifiers
*
Fixed latent crash of hovertext/outlining with include.
Rustan Leino
2015-10-02
|
|
|
|
(This also undoes two previous attempted fixes, which had accidentally disabled some outlining and hovertexts.)
*
Added inductive predicates
leino
2015-05-06
|
*
When ambiguous references all resolve to the same declaration, don't complain
leino
2015-01-09
|
*
Fixed range bug that was causing extension to sometimes crash
Bryan Parno
2014-10-27
|
*
Fixed build break from recent change
leino
2014-07-15
|
*
Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" ↵
Rustan Leino
2014-02-23
|
|
|
|
-> "prefix lemma")
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have ↵
Rustan Leino
2013-08-02
|
|
|
|
a "modifies" clause) and "colemma" (synonymous with "comethod"; perhaps "comethod" will go away at some point)
*
DafnyExtension: Added support for selecting errors and showing the model in BVD.
wuestholz
2013-07-15
|
*
DafnyExtension: Made it display verification errors incrementally.
wuestholz
2013-06-20
|
*
DafnyExtension: Did some refactoring.
wuestholz
2013-06-11
|
*
Improved hover text for collapsed code fragments
Rustan Leino
2012-11-25
|
*
Parse prefix predicates/methods
Rustan Leino
2012-11-24
|
*
Put all sources under \Source directory
Rustan Leino
2012-10-04