diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 16:29:33 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 16:29:33 -0700 |
| commit | dcc10fd61f7056542bc61c096a851aa76f6d688f (patch) | |
| tree | b0e0de635fe5ca887f94cd4e5b928515e66d0365 /Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs | |
| parent | 40d21f0057a4d0ce9fc184aae375e2404f00f51e (diff) | |
Dafny: for refinements, don't consider a newly provided predicate body to be an extension--clients don't need to be reverified if the body is new, only an extensions to a previous definition need to be
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs')
0 files changed, 0 insertions, 0 deletions