search

jku-ssw / cicro-benchmarks

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

Fix some compile errors with compcert #73

Closed pointhi closed 6 years ago