diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-08 01:30:18 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:51:12 +0200 |
| commit | 4972a6a8851dfe823a022fc3b8c7c01332a89c35 (patch) | |
| tree | 1000138755e8c1b550f0e8a8169bcf0b2503079d /debug | |
| parent | 44b910bb829f6e5920b0a51985624c345019711e (diff) | |
| download | compcert-4972a6a8851dfe823a022fc3b8c7c01332a89c35.tar.gz compcert-4972a6a8851dfe823a022fc3b8c7c01332a89c35.zip | |
Introduced [list] and [ilist]. Redefined [declaration_specifiers_no_type] as a left-recursive list.
This further reduces the number of states (and error states).
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions