Commit message (Expand) | Author | Age | |
---|---|---|---|
* | compcert: patch to build with Coq-8.5pl3 | Vincent Laporte | 2016-11-02 |
* | treewide: move to ocaml-ng system | Kirill Boltaev | 2016-09-26 |
* | nixpkgs: compcert 2.6 -> 2.7.1 | Austin Seipp | 2016-08-13 |
* | compcert: 2.5 -> 2.6 | Vincent Laporte | 2016-01-25 |
* | compcert: 2.4 -> 2.5 | Vincent Laporte | 2015-07-15 |
* | Change occurrences of gcc to the more general cc | John Wiegley | 2014-12-26 |
* | CompCert: update to 2.4 | Vincent Laporte | 2014-10-05 |
* | compcert: Correct syntax used in default.nix | John Wiegley | 2014-07-01 |
* | compcert: build with 64-bit compiler, add darwin support | John Wiegley | 2014-07-01 |
* | compcert: fix build by adding menhir dependency | Austin Seipp | 2014-06-09 |
* | compcert: 2.2 -> 2.3pl2 | Austin Seipp | 2014-06-06 |
* | compcert: Fix Hydra platforms | Austin Seipp | 2014-05-02 |
* | nixpkgs: add CompCert | Austin Seipp | 2014-05-01 |