Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' into staging-next | VladimĂr ÄunĂĄt | 2019-08-24 | 1 | -0/+1 |
|\ | |||||
| * | coq: make version 8.9 the default one | Vincent Laporte | 2019-08-21 | 1 | -0/+1 |
* | | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 | 1 | -1/+1 |
|/ | |||||
* | treewide: remove unused variables (#63177) | volth | 2019-06-16 | 1 | -1/+1 |
* | compcert: fix source | Vincent Laporte | 2019-03-20 | 1 | -5/+6 |
* | compcert: 3.4 -> 3.5 | Vincent Laporte | 2019-03-09 | 1 | -2/+3 |
* | compcert: clean up expression | Austin Seipp | 2019-01-12 | 1 | -13/+37 |
* | compcert: 3.3 -> 3.4 | Vincent Laporte | 2018-09-17 | 1 | -9/+4 |
* | compcert: 3.2 -> 3.3 (#44512) | Vincent Laporte | 2018-08-05 | 1 | -6/+7 |
* | compcert: Permit building with Coq 8.7.2 | John Wiegley | 2018-02-16 | 1 | -0/+4 |
* | compcert: 3.1 -> 3.2 | Vincent Laporte | 2018-02-13 | 1 | -3/+2 |
* | compcert: fix license | Théo Zimmermann | 2017-09-21 | 1 | -1/+1 |
* | compcert: 3.0.1 -> 3.1 | Théo Zimmermann | 2017-09-21 | 1 | -2/+3 |
* | coqPackages.compcert: Recent compcert supports 64-bit architectures | John Wiegley | 2017-07-17 | 1 | -2/+2 |
* | compcert: 2.7.1 -> 3.0.1 | Vincent Laporte | 2017-02-20 | 1 | -7/+7 |
* | compcert: adding clightgen to the build | Russell O'Connor | 2017-02-01 | 1 | -1/+1 |
* | compcert: patch to build with Coq-8.5pl3 | Vincent Laporte | 2016-11-02 | 1 | -0/+1 |
* | treewide: move to ocaml-ng system | Kirill Boltaev | 2016-09-26 | 1 | -2/+5 |
* | nixpkgs: compcert 2.6 -> 2.7.1 | Austin Seipp | 2016-08-13 | 1 | -2/+2 |
* | compcert: 2.5 -> 2.6 | Vincent Laporte | 2016-01-25 | 1 | -3/+3 |
* | compcert: 2.4 -> 2.5 | Vincent Laporte | 2015-07-15 | 1 | -5/+19 |
* | Change occurrences of gcc to the more general cc | John Wiegley | 2014-12-26 | 1 | -2/+5 |
* | CompCert: update to 2.4 | Vincent Laporte | 2014-10-05 | 1 | -8/+7 |
* | compcert: Correct syntax used in default.nix | John Wiegley | 2014-07-01 | 1 | -2/+2 |
* | compcert: build with 64-bit compiler, add darwin support | John Wiegley | 2014-07-01 | 1 | -3/+6 |
* | compcert: fix build by adding menhir dependency | Austin Seipp | 2014-06-09 | 1 | -2/+2 |
* | compcert: 2.2 -> 2.3pl2 | Austin Seipp | 2014-06-06 | 1 | -2/+2 |
* | compcert: Fix Hydra platforms | Austin Seipp | 2014-05-02 | 1 | -1/+1 |
* | nixpkgs: add CompCert | Austin Seipp | 2014-05-01 | 1 | -0/+24 |