nixpkgs / compcert - Formally verified C compiler

Homepage - https://compcert.org

Maintainers - Austin Seipp - John Wiegley - Vincent Laporte

Releases

3.9 (expand/collapse)
From commit 02c142a2 to 00460bd6
3.8 (expand/collapse)
From commit 074ef76e to 074ef76e
3.9 (expand/collapse)
From commit 04855119 to 07557e3b
3.8 (expand/collapse)
From commit 065a8102 to 065a8102
3.9 (expand/collapse)
From commit 013c6c32 to 04de1306
3.8 (expand/collapse)
From commit 045afcce to 045afcce
3.9 (expand/collapse)
From commit 012f2315 to 008453f7
3.8 (expand/collapse)
From commit 03582eb6 to 044053e2
3.9 (expand/collapse)
From commit 062e1e59 to 062e1e59
3.8 (expand/collapse)
From commit 05ca995e to 0048af77
3.7 (expand/collapse)
From commit 06c0f165 to 06c0f165
3.8 (expand/collapse)
From commit 022d7207 to 075da392
3.7 (expand/collapse)
From commit 0769fe27 to 0769fe27
3.8 (expand/collapse)
From commit 06749ba3 to 0597dcb0
3.7 (expand/collapse)
From commit 05fe6112 to 05fe6112
3.8 (expand/collapse)
From commit 0263f626 to 0096eb92
3.7 (expand/collapse)
From commit 00a246c5 to 0127013b
3.8 (expand/collapse)
From commit 02b7ec6a to 0219c46a
3.7 (expand/collapse)
From commit 024877e7 to 02698c96
3.6 (expand/collapse)
From commit 04a5e5ab to 04a5e5ab
3.7 (expand/collapse)
From commit 0288741d to 0288741d
3.6 (expand/collapse)
From commit 03f3d67e to 03f3d67e
3.7 (expand/collapse)
From commit 04a6f80f to 01c9c9b1
3.6 (expand/collapse)
From commit 0218f30a to 042c3dc3
3.5 (expand/collapse)
From commit 0767de3d to 0767de3d
3.6 (expand/collapse)
From commit 0634484a to 00610756
3.5 (expand/collapse)
From commit 036cef94 to 010d2f4a
3.6 (expand/collapse)
From commit 02f869ff to 016111e8
3.5 (expand/collapse)
From commit 04f3bc51 to 04f3bc51
3.6 (expand/collapse)
From commit 0646b9f7 to 069364f3
3.5 (expand/collapse)
From commit 069e9fd4 to 069e9fd4
3.6 (expand/collapse)
From commit 053168d4 to 03941c1e
3.5 (expand/collapse)
From commit 04cb05d2 to 04cb05d2
3.6 (expand/collapse)
From commit 03e78496 to 03e6ca15
3.5 (expand/collapse)
From commit 06c5e811 to 06c5e811
3.6 (expand/collapse)
From commit 054ceb82 to 07b40774
3.5 (expand/collapse)
From commit 03e55536 to 03e55536
3.6 (expand/collapse)
From commit 0060782d to 0361ae22
3.5 (expand/collapse)
From commit 0486eacd to 0486eacd
3.6 (expand/collapse)
From commit 071d181e to 071d181e
3.5 (expand/collapse)
From commit 06744bb2 to 06744bb2
3.6 (expand/collapse)
From commit 06abd248 to 05c01148
3.5 (expand/collapse)
From commit 04cc8385 to 059483bf
3.4 (expand/collapse)
From commit 0045164b to 0045164b
3.5 (expand/collapse)
From commit 006bb983 to 06fad89b
3.4 (expand/collapse)
From commit 01cb9b01 to 01cb9b01
3.5 (expand/collapse)
From commit 045f0906 to 006a699e
3.4 (expand/collapse)
From commit 053d79db to 053d79db
3.5 (expand/collapse)
From commit 00e66147 to 0015e526
3.4 (expand/collapse)
From commit 045e1332 to 04425c62
2.6 (expand/collapse)
From commit 044ceae2 to 044ceae2
3.0.1 (expand/collapse)
From commit 0338817f to 07e2460a
2.7.1 (expand/collapse)
From commit 0481a33d to 0789a2a4
3.0.1 (expand/collapse)
From commit 00738036 to 00738036
2.7.1 (expand/collapse)
From commit 0761b0bc to 055d6399
2.6 (expand/collapse)
From commit 06e16f00 to 06e16f00
2.7.1 (expand/collapse)
From commit 04a022be to 000fb9be
2.6 (expand/collapse)
From commit 01fa27a8 to 01fa27a8
2.7.1 (expand/collapse)
From commit 0678263b to 049f5e44
2.6 (expand/collapse)
From commit 07ca8027 to 0528b8c9
2.7.1 (expand/collapse)
From commit 064b8787 to 050b7eec
2.6 (expand/collapse)
From commit 014a30da to 050452dd
2.5 (expand/collapse)
From commit 03f2888b to 03f2888b
2.6 (expand/collapse)
From commit 030838ba to 061c62a3
2.5 (expand/collapse)
From commit 0055c6aa to 02c3ae15
2.6 (expand/collapse)
From commit 057e54f2 to 05b2afed
2.5 (expand/collapse)
From commit 06527f77 to 06527f77
2.6 (expand/collapse)
From commit 063f5e3d to 063f5e3d
2.5 (expand/collapse)
From commit 03730319 to 07049a7e
2.4 (expand/collapse)
From commit 024b0414 to 024b0414
2.5 (expand/collapse)
From commit 0619a232 to 0635ec3b
2.4 (expand/collapse)
From commit 071009ee to 071009ee
2.5 (expand/collapse)
From commit 00fd3b25 to 03921972
2.4 (expand/collapse)
From commit 05130419 to 02f9f0c7
2.3pl2 (expand/collapse)
From commit 00c0c2a7 to 00c0c2a7
2.4 (expand/collapse)
From commit 06a62d44 to 066db307
2.3pl2 (expand/collapse)
From commit 0085a1aa to 02e221eb
2.2 (expand/collapse)
From commit 062e2567 to 0672cfcc