| 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 |