nixsearch / pkg / compcert
compcert
Formally verified C compiler
version3.17
attributecompcert
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin d54020a6ac3211e9f4201631bdf67678818c0cdf aarch64-linux d54020a6ac3211e9f4201631bdf67678818c0cdf x86_64-darwin f205b5574fd0cb7da5b702a2da51507b7f4fdd1b x86_64-linux d54020a6ac3211e9f4201631bdf67678818c0cdf $ devbox add compcert@3.17
$ nix shell github:NixOS/nixpkgs/d54020a6ac3211e9f4201631bdf67678818c0cdf#compcert # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/d54020a6ac3211e9f4201631bdf67678818c0cdf#compcert # aarch64-linux
$ nix shell github:NixOS/nixpkgs/f205b5574fd0cb7da5b702a2da51507b7f4fdd1b#compcert # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/d54020a6ac3211e9f4201631bdf67678818c0cdf#compcert # x86_64-linux
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 3.17resolved | ✓ | ✓ | ✓ | ✓ | compcert |
varies | man, out, doc, lib | |
| 3.16 | ✓ | ✓ | ✓ | ✓ | compcert |
varies | man, out, doc, lib | |
| 3.15 | ✓ | ✓ | ✓ | ✓ | compcert |
varies | man, out, doc, lib | |
| 3.14 | ✓ | ✓ | ✓ | ✓ | compcert |
4989a246d7 | man, out, doc, lib | |
| 3.13.1 | ✓ | ✓ | ✓ | ✓ | compcert |
varies | man, out, doc, lib | |
| 3.13 | ✓ | ✓ | ✓ | ✓ | compcert |
varies | man, out, doc, lib | |
| 3.11 | – | – | ✓ | ✓ | compcert |
7d0ed7f2e5 | ||
| 3.10 | – | – | – | ✓ | compcert |
72bbea9db7 | ||
| 3.9 | – | – | ✓ | ✓ | compcert |
24c33ab795 | ||
| 3.8 | – | – | ✓ | ✓ | compcert |
varies | ||
| 3.7 | – | – | – | ✓ | compcert |
5101b357ec |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.