diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 13:16:03 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 13:16:03 +0200 |
| commit | 916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70 (patch) | |
| tree | b26e517989410a4e145d0d4efe8f8dbe70d99572 /cparser/Cutil.mli | |
| parent | b04bb783badb9051c62b26fb1858f916d0e4ccd0 (diff) | |
| download | compcert-kvx-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.tar.gz compcert-kvx-916bfc0c4f2a025e9aa642cf616cd8c6ace4ec70.zip | |
Bitfield improvements continued: perform bitfield expansion before unblocking; improve translation of bitfield initializers and compound literals.
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions