AbsInt/CompCert Issues
VERSION file still in 3.12
Closed 2failure of if-conversion
Closedseqw etc.
Closed 1emitting .eabi_attribute on ARM
Closed 1armv7r and default thumb mode
Closed 1switch3 test takes forever
Closed 1opam releases for 64 bit?
Closed 1Switch.v out-of-sync documentation
Closed 2x86 execution semantics quirk
Closed 4