diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:53:26 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 10:53:26 +0200 |
| commit | c16b1ce7a09e7091f2482c9d898bc4f7ac73fe29 (patch) | |
| tree | 2c7568ae28e5812509b21b7d4b30c97cb5f15a45 /driver | |
| parent | 09527e66514edcfa20a0341acd75c1fe6fd77363 (diff) | |
| download | compcert-kvx-c16b1ce7a09e7091f2482c9d898bc4f7ac73fe29.tar.gz compcert-kvx-c16b1ce7a09e7091f2482c9d898bc4f7ac73fe29.zip | |
Factorized the two forms of FOR statement by introducing [for_statement_header].
This leads to a smaller automaton.
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions