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 /powerpc/extractionMachdep.v | |
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 'powerpc/extractionMachdep.v')
0 files changed, 0 insertions, 0 deletions