diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:42:10 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:42:10 +0200 |
| commit | c1937e330a3ca6c19ef648e2dcfe4871fc3c2219 (patch) | |
| tree | e77f33185f3012c9579d7ef3bbff6d130cf80efe /cparser/Builtins.ml | |
| parent | e9ba1d3276b0b2fbc37ecb8bd7e4955fd8ec030b (diff) | |
| download | compcert-kvx-c1937e330a3ca6c19ef648e2dcfe4871fc3c2219.tar.gz compcert-kvx-c1937e330a3ca6c19ef648e2dcfe4871fc3c2219.zip | |
Factorized the productions for several categories of binary operators.
This leads to a small savings in the number of states (which could
become greater in the future if we decide to parameterize expressions).
If desired, the old automaton could be recovered by marking the binary
operators as %inline.
Diffstat (limited to 'cparser/Builtins.ml')
0 files changed, 0 insertions, 0 deletions