index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
compilers
/
compcert
Commit message (
Expand
)
Author
Age
*
compcert: 3.3 -> 3.4
Vincent Laporte
2018-09-17
*
compcert: 3.2 -> 3.3 (#44512)
Vincent Laporte
2018-08-05
*
compcert: Permit building with Coq 8.7.2
John Wiegley
2018-02-16
*
compcert: 3.1 -> 3.2
Vincent Laporte
2018-02-13
*
compcert: fix license
Théo Zimmermann
2017-09-21
*
compcert: 3.0.1 -> 3.1
Théo Zimmermann
2017-09-21
*
coqPackages.compcert: Recent compcert supports 64-bit architectures
John Wiegley
2017-07-17
*
compcert: 2.7.1 -> 3.0.1
Vincent Laporte
2017-02-20
*
compcert: adding clightgen to the build
Russell O'Connor
2017-02-01
*
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