Formally verified C compiler

Current version:



compcert requires the following formulae to be installed:

Formula history

ilovezfs compcert: build with Coq 8.5pl3 from OPAM
ilovezfs compcert 2.7.1
ilovezfs compcert 2.7
ilovezfs compcert: fix ocaml 4.03.0 induced build failure
ilovezfs compcert 2.6
Viktor Szakats compcert: fix minor regression in desc
Andrew Janke compcert: audit fix
Alex Wang rename objective-caml to ocaml
Alex Dunn compcert 2.5
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Show all revisions of this formula