diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-21 18:15:17 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-21 18:15:17 -0700 |
| commit | 9dbf2a6ce1e130f634c27da7bc300001e28aedaf (patch) | |
| tree | 929593e6a181ba2cfb4fe94d5157f73f3667fae2 /_admin/Boogie/aste | |
| parent | 1aa1ca45fc066c9f8d94eeff1a2dc140c49db393 (diff) | |
Dafny:
* started rewriting parsing of qualified identifiers in expressions
* annoyingly, had to introduce AST nodes for concrete syntax
* previous syntax for invoking datatype constructors: #List.Cons(h, t)
new syntax: List.Cons(h, t)
or, if only one datatype has a constructor named Cons: Cons(h, t)
* Removed type parameters for datatype constructors from the grammar
* Helped Test/VSI-Benchmarks/b4.dfy along with a couple of assertions (previously, its proving performance was highly varied)
Diffstat (limited to '_admin/Boogie/aste')
0 files changed, 0 insertions, 0 deletions