diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-08 18:42:57 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-08 18:42:57 -0700 |
| commit | a6cf67873c2fce7bfe07e8ff57ee6b279ffbbb2c (patch) | |
| tree | a4213afe5bd8402a5c79373ab871a451a818bb6a /Util/VS2010/Dafny | |
| parent | 2285a93403a728f9552b1645298de9277d676d95 (diff) | |
Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and visually indicates a non-verified buffer
Diffstat (limited to 'Util/VS2010/Dafny')
0 files changed, 0 insertions, 0 deletions