3 search results for "tag:"logpath:compcert""

Showing 1 - 3
  1. coq-compcert

    No documentation

    The CompCert C compiler (64 bit)
    category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert date:2025-09-01
    Xavier Leroy
    3.16
    INRIA Non-Commercial License Agreement
    Used by 4 other packages
    08 Sep 2025
  2. coq-compcert-32

    No documentation

    The CompCert C compiler (32 bit)
    category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert32 date:2023-07-04
    Xavier Leroy
    3.13.1
    INRIA Non-Commercial License Agreement
    Used by 1 other packages
    09 Nov 2023
  3. coq-compcert-64

    No documentation

    The CompCert C compiler (64 bit, using coq-platform supplied version of Flocq)
    category:Computer Science/Semantics and Compilation/Compilation category:Computer Science/Semantics and Compilation/Semantics keyword:C keyword:compiler logpath:compcert64 date:2020-04-29
    Xavier Leroy
    3.7+8.12~coq_platform
    INRIA Non-Commercial License Agreement
    Used by 1 other packages
    28 Jul 2020