Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |