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.13.tar.gz
sha512=a1d493ad9d85c54cd3b5f6cbf0a01b4568044a5df1357366bc18afc82ceefec8bb431d163ab4743e2962d5c77f9becdbffec79604f3cf738ee6b21b35a7fadf7

Description

Tags

category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2023-07-04

Published: 11 Sep 2023

Dependencies (4)

  1. coq-menhirlib >= "20190626"
  2. coq-flocq >= "4.1.0" & < "5~"
  3. ocaml >= "4.05.0" & < "5~"
  4. coq >= "8.12.0" & < "8.19~"

Dev Dependencies (1)

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

Conflicts

None