about summary refs log tree commit diff
path: root/pkgs/development/compilers/compcert
AgeCommit message (Expand)AuthorFilesLines
2020-12-09compcert: 3.7 → 3.8Vincent Laporte1-15/+32
2020-11-12compcert: remove annoying assertionsVincent Laporte1-3/+0
2020-10-05compcert: build with Coq 8.11Vincent Laporte1-8/+14
2020-04-01compcert: 3.6 -> 3.7R. RyanTM1-2/+2
2019-10-19compcert: 3.5 → 3.6Vincent Laporte1-4/+3
2019-08-24Merge branch 'master' into staging-nextVladimír Čunát1-0/+1
2019-08-21coq: make version 8.9 the default oneVincent Laporte1-0/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-06-16treewide: remove unused variables (#63177)volth1-1/+1
2019-03-20compcert: fix sourceVincent Laporte1-5/+6
2019-03-09compcert: 3.4 -> 3.5Vincent Laporte1-2/+3
2019-01-12compcert: clean up expressionAustin Seipp1-13/+37
2018-09-17compcert: 3.3 -> 3.4Vincent Laporte1-9/+4
2018-08-05compcert: 3.2 -> 3.3 (#44512)Vincent Laporte1-6/+7
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-07-16 10:36:46 +0000