CIL: C Intermediate Language

Re:CIL: C Intermediate Language by saagarjha on Friday November 01, 2024 @03:21AM (#42014725)

Is anyone using this? Perhaps for transpiring to a more limited compiler?

[ Parent | on HN ]

Re:CIL: C Intermediate Language by nikki93 on Friday November 01, 2024 @03:45AM (#42014820)

Frama-C uses CIL.

[ Parent | on HN ]

Re:CIL: C Intermediate Language by KsassPeuk on Friday November 01, 2024 @10:40AM (#42017355)

Well, Frama-C uses a quite modified version of CIL.

[ Parent | on HN ]

Re:CIL: C Intermediate Language by mingodad on Friday November 01, 2024 @04:32AM (#42015034)

See also https://melt.cs.umn.edu/ableC/ that has a similar goal.

[ Parent | on HN ]

Re:CIL: C Intermediate Language by Tiberium on Friday November 01, 2024 @11:21AM (#42017782)

One thing that CIL allows is creating amalgamations - converting the whole program into a single C file that can be then compiled by GCC or other compilers.

[ Parent | on HN ]