search

jku-ssw / cicro-benchmarks

A C mICRO benchmark suite
Other
8 stars 4 forks source link

CompCert: Support bit-fields in structure declarations #29

Closed mrigger closed 6 years ago