about summary refs log tree commit diff
path: root/pkgs/development/compilers/compcert
AgeCommit message (Expand)AuthorFilesLines
2018-02-16compcert: Permit building with Coq 8.7.2John Wiegley1-0/+4
2018-02-13compcert: 3.1 -> 3.2Vincent Laporte1-3/+2
2017-09-21compcert: fix licenseThéo Zimmermann1-1/+1
2017-09-21compcert: 3.0.1 -> 3.1Théo Zimmermann1-2/+3
2017-07-17coqPackages.compcert: Recent compcert supports 64-bit architecturesJohn Wiegley1-2/+2
2017-02-20compcert: 2.7.1 -> 3.0.1Vincent Laporte1-7/+7
2017-02-01compcert: adding clightgen to the buildRussell O'Connor1-1/+1
2016-11-02compcert: patch to build with Coq-8.5pl3Vincent Laporte1-0/+1
2016-09-26treewide: move to ocaml-ng systemKirill Boltaev1-2/+5
2016-08-13nixpkgs: compcert 2.6 -> 2.7.1Austin Seipp1-2/+2
2016-01-25compcert: 2.5 -> 2.6Vincent Laporte1-3/+3
2015-07-15compcert: 2.4 -> 2.5Vincent Laporte1-5/+19
2014-12-26Change occurrences of gcc to the more general ccJohn Wiegley1-2/+5
2014-10-05CompCert: update to 2.4Vincent Laporte1-8/+7
2014-07-01compcert: Correct syntax used in default.nixJohn Wiegley1-2/+2
2014-07-01compcert: build with 64-bit compiler, add darwin supportJohn Wiegley1-3/+6
2014-06-09compcert: fix build by adding menhir dependencyAustin Seipp1-2/+2
2014-06-06compcert: 2.2 -> 2.3pl2Austin Seipp1-2/+2
2014-05-02compcert: Fix Hydra platformsAustin Seipp1-1/+1
2014-05-01nixpkgs: add CompCertAustin Seipp1-0/+24
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-01 08:47:20 +0000