goblint/cil
View on GitHub ↗ ★ 162 OCaml
C Intermediate Language
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-10-07 · latest 2024-11-01
20082026
-
▲ 80
CIL: C Intermediate Languagestory by tosh · 2024-10-28 · 32 comments