diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-10-31 15:09:08 -0700 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-10-31 15:09:08 -0700 |
| commit | 7c799c6f3536e873327213d74d01e7f1235b3ca8 (patch) | |
| tree | c29b287559838cc6cc51604fd36b0768be9b7e40 /Test/datatypes | |
| parent | 36be8fc06b5d08fcf023a9b095a9ee948afcb94d (diff) | |
Major changes to the translator traversers because they now are based on the
new traversers. (The old ones have been marked as obsolete.)
All types are now encoded as "datatypes" in Boogie. So non-generic types are
nullary functions and generic types just have at least one type argument.
Lots of other fixes: string encoding of names is now done by negating Boogie's
regular expression for identifiers, etc.
Diffstat (limited to 'Test/datatypes')
0 files changed, 0 insertions, 0 deletions