compcert

Formally verified C compiler

Current version:
3.0

Homepage:http://compcert.inria.fr

Dependencies

compcert requires the following formulae to be installed:

Formula history

Benjamin Beurdouchecompcert 3.0
ilovezfscompcert: build with Coq 8.5pl3 from OPAM
ilovezfscompcert 2.7.1
ilovezfscompcert 2.7
ilovezfscompcert: fix ocaml 4.03.0 induced build failure
ilovezfscompcert 2.6
Viktor Szakatscompcert: fix minor regression in desc
Andrew Jankecompcert: audit fix
Alex Wangrename objective-caml to ocaml
Alex Dunncompcert 2.5
Show all revisions of this formula