nixpkgs / coqPackages.compcert - Formally verified C compiler

Homepage - https://compcert.org

Maintainers - Austin Seipp - John Wiegley - Vincent Laporte

Releases

3.9 (expand/collapse)
From commit 075fb19d to 00460bd6
3.8 (expand/collapse)
From commit 02acc0af to 02acc0af
3.9 (expand/collapse)
From commit 044d9969 to 06a56b80
3.8 (expand/collapse)
From commit 017b0596 to 017b0596
3.9 (expand/collapse)
From commit 0505ed81 to 0505ed81
3.8 (expand/collapse)
From commit 067b55bf to 067b55bf
3.9 (expand/collapse)
From commit 044072ad to 044072ad
3.8 (expand/collapse)
From commit 020af1c6 to 02328ff6