Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2024 (3)
20082026
AllStoriesComments NewestTopOldest
  1. https://github.com/goblint/cil/blob/develop/LICENSE Copyright (c) 2001-2020 (I first learned about CIL in https://people.eecs.berkeley.edu/~necula/Papers/cil_cc02.pdf ) I guess ECMA should have done better research.
    comment by pkhuong · 2024-11-01 · in CIL: C Intermediate Language
  2. FWIW it's possible to amalgamate almost any C program automatically with the help of https://github.com/goblint/cil (a maintained fork of CIL): https://goblint.github.io/cil/merger.html All you have to do is to make your CC this: cilly…
    comment by Tiberium · 2024-10-07 · in The SQLite Amalgamation