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