compcert

Formally verified C compiler

Current version:
3.0.1

Revision: 2

Homepage:http://compcert.inria.fr

Dependencies

compcert requires the following formulae to be installed:

Formula history

ilovezfscompcert: revision for ocaml
ilovezfscompcert: depend on coq
Benjamin BeurdoucheCompcert 3.0.1
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
Show all revisions of this formula