Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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


Frama-C uses CIL.


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


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.


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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: