summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/VST
AgeCommit message (Expand)Author
2026-04-03coqPackages.VST: 2.15 -> 2.16Arthur Azevedo de Amorim
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-07-04coqPackages.VST: adapt to masterPierre Roux
2025-02-12coqPackages.VST: 2.14 -> 2.15Pierre Roux
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-17compcert: add support for Coq 8.19.2Vincent Laporte
2024-03-23coqPackages.VST: 2.13 → 2.14Vincent Laporte
2023-11-27coqPackages.VST: 2.12 → 2.13Vincent Laporte
2023-11-01coqPackages.VST: 2.11.1 → 2.12Vincent Laporte
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-12-22coqPackages.VST: 2.10 → 2.11.1Vincent Laporte
2022-12-05coqPackages.VST: add support for Coq 8.16.1Vincent Laporte
2022-10-11coqPackages.VST: enable for Coq 8.16Vincent Laporte
2022-07-19coqPackages.flocq: 3.4.3 → 4.1.0Vincent Laporte
2022-06-03coqPackages.VST: fix build with Coq 8.15.2Vincent Laporte
2022-05-25coqPackages: etcCyril Cohen
2022-05-13Revert "coqPackages: etc"Vincent Laporte
2022-05-12coqPackages: etcCyril Cohen
2022-03-24coqPackages.VST: fix build with Coq 8.15.1Vincent Laporte
2022-02-16coqPackages.VST: 2.8 → 2.9Vincent Laporte
2021-07-31coqPackages.VST: build and install more modules from floyd/Vincent Laporte
2021-06-18coqPackages.VST: 2.7.1 -> 2.8Ben Siraphob
2021-06-14Move CompCert into coqPackages. (#126214)Théo Zimmermann
2021-05-07coqPackages.VST: 2.6 → 2.7.1Vincent Laporte
2021-01-09coqPackages: refactorCyril Cohen
2020-10-05coqPackages.VST: init at 2.6Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:48:32 +0000