diff options
| author |  Dan Rosén <danr@chalmers.se> | 2014-08-15 11:46:59 -0700 |
|---|---|---|
| committer | Dan Rosén <danr@chalmers.se> | 2014-08-15 11:46:59 -0700 |
| commit | 2ef4d9e637e0633347c4030b50925a92f8c12963 (patch) | |
| tree | 5c4f4e0997ce6b7fcbaa50d7b0dcb3e621011b83 /Test/dafny1/ExtensibleArray.dfy | |
| parent | 9eeeaeb525173d6322f929f630587ebb6ca0b201 (diff) | |
Refactor resolver, and really allow reads to take fields of type A -> set<obj>
twoState and codeContext is moved to a new class ResolveOpts
Diffstat (limited to 'Test/dafny1/ExtensibleArray.dfy')
0 files changed, 0 insertions, 0 deletions