summary refs log tree commit diff
path: root/pkgs/development/compilers/compcert
Commit message (Expand)AuthorAge
* compcert: 3.5 → 3.6Vincent Laporte2019-10-19
* Merge branch 'master' into staging-nextVladimír Čunát2019-08-24
|\
| * coq: make version 8.9 the default oneVincent Laporte2019-08-21
* | treewide: name -> pname (easy cases) (#66585)volth2019-08-15
|/
* treewide: remove unused variables (#63177)volth2019-06-16
* compcert: fix sourceVincent Laporte2019-03-20
* compcert: 3.4 -> 3.5Vincent Laporte2019-03-09
* compcert: clean up expressionAustin Seipp2019-01-12
* compcert: 3.3 -> 3.4Vincent Laporte2018-09-17
* compcert: 3.2 -> 3.3 (#44512)Vincent Laporte2018-08-05
* compcert: Permit building with Coq 8.7.2John Wiegley2018-02-16
* compcert: 3.1 -> 3.2Vincent Laporte2018-02-13
* compcert: fix licenseThéo Zimmermann2017-09-21
* compcert: 3.0.1 -> 3.1Théo Zimmermann2017-09-21
* coqPackages.compcert: Recent compcert supports 64-bit architecturesJohn Wiegley2017-07-17
* compcert: 2.7.1 -> 3.0.1Vincent Laporte2017-02-20
* compcert: adding clightgen to the buildRussell O'Connor2017-02-01
* compcert: patch to build with Coq-8.5pl3Vincent Laporte2016-11-02
* treewide: move to ocaml-ng systemKirill Boltaev2016-09-26
* nixpkgs: compcert 2.6 -> 2.7.1Austin Seipp2016-08-13
* compcert: 2.5 -> 2.6Vincent Laporte2016-01-25
* compcert: 2.4 -> 2.5Vincent Laporte2015-07-15
* Change occurrences of gcc to the more general ccJohn Wiegley2014-12-26
* CompCert: update to 2.4Vincent Laporte2014-10-05
* compcert: Correct syntax used in default.nixJohn Wiegley2014-07-01
* compcert: build with 64-bit compiler, add darwin supportJohn Wiegley2014-07-01
* compcert: fix build by adding menhir dependencyAustin Seipp2014-06-09
* compcert: 2.2 -> 2.3pl2Austin Seipp2014-06-06
* compcert: Fix Hydra platformsAustin Seipp2014-05-02
* nixpkgs: add CompCertAustin Seipp2014-05-01
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 21:37:29 +0000