compcert

Formally verified C compiler

Current version:
2.7.1

Homepage: http://compcert.inria.fr

Dependencies

compcert requires the following formulae to be installed:

Formula history

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
Calvin Loncaric Compcert 2.4
Show all revisions of this formula