package coq-compcert

  1. Overview
  2. No Docs
The CompCert C compiler (64 bit)

Install

Dune Dependency

compcert.org Edit opam file Versions (30)

Authors

  1. Xavier Leroy

Maintainers

  1. Xavier Leroy

Sources

v3.15.tar.gz
sha256=6baae8f69bdbf0192d02fae911207cbde73bb1ff6b9790b1e745be0bd9b2342a
sha512=bde000d0da4ed5ba1c951a0d6677eb3f1386eb446cd85b59758145910bae2d002316396b12fdd0c11f31da8534fffa6a1dc74272ef6d2a96e245a7f44571c2dc

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2024-12-13

Published: 03 Jan 2025

Dependencies (4)

  1. coq-menhirlib >= "20200624"
  2. coq-flocq >= "4.1.0" & < "5~"
  3. ocaml >= "4.05.0" & < "5~"
  4. coq >= "8.13.0" & < "8.21~"

Dev Dependencies (1)

  1. menhir >= "20200624" & != "dev"

Conflicts

None