diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-03-05 00:03:08 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-03-05 00:03:08 +0000 |
commit | f3e75370a69e2d61d0b6eaf04593b600ce98c355 (patch) | |
tree | f55a9599ab4c22a8d7d6f08a161c8a4d37934b69 /src/util | |
parent | 3dbabefa475f034f07276dc0bb0d86f61f2239c3 (diff) |
adding three features to CVC parser that drastically improve its support for the language: LET now supported (but not "type-lets" yet), OPTION now supported, and ^ operator (exponentiation) supported for nonnegative integer exponents. The latter simply expands to MULT, and of course fails assertions in arithmetic if a variable is raised to n >= 2. Also other CVC parser clean-up.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions