about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/compcert
AgeCommit message (Expand)AuthorFilesLines
2024-05-03compcert: 3.13.1 → 3.14 (#308752)Vincent Laporte1-1/+2
2024-03-23compcert: make compatible with Coq 8.18–8.19Vincent Laporte1-4/+19
2024-03-12compcert: add riscv-linux targetsSteven Keuchel1-0/+2
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte1-1/+2
2023-09-19compcert: add aarch64 supportWeijia Wang1-3/+16
2023-07-17coqPackages.compcert: enable for Coq 8.17Vincent Laporte1-1/+10
2023-07-17coqPackages.compcert: 3.12 → 3.13Vincent Laporte1-1/+2
2023-03-01compcert: 3.11 → 3.12Vincent Laporte1-2/+3
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-2/+4
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-4/+2
2022-12-05compcert: add support for Coq 8.16.1Vincent Laporte1-0/+5
2022-10-11coqPackages.compcert: enable for Coq 8.16Vincent Laporte1-1/+10
2022-07-19coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte1-1/+3
2022-06-03compcert: add support for Coq 8.15.2Vincent Laporte1-0/+5
2022-05-25coqPackages: etcCyril Cohen1-4/+9
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-10/+5
2022-05-12coqPackages: etcCyril Cohen1-5/+10
2022-03-24compcert: add support for Coq 8.15.1Vincent Laporte1-0/+5
2022-02-16coqPackages.compcert: enable for Coq 8.15Vincent Laporte1-2/+8
2021-12-01compcert: fix for Coq 8.14.1Vincent Laporte1-0/+9
2021-11-29compcert: 3.9 → 3.10Vincent Laporte1-1/+2
2021-06-18coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob1-1/+2
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann1-0/+109
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 14:26:18 +0000