CIL dependency should use goblint-cil

Open stephenrkell opened this issue 6 months ago • 2 comments

We are using our own fork of CIL, but there is a separate fork maintained by the Goblint project. It would be good to merge these before the divergence gets any bigger. It may have useful fixes, and there are many fixes I can contribute the other way (e.g. I need to check but I think I have fixes for https://github.com/goblint/cil/issues/142 and https://github.com/goblint/cil/issues/69, possibly among others).

Sep 02 '25 15:09 stephenrkell

Would this be a good place to start contributing to liballocs?

Sep 07 '25 15:09 alethkit

It depends a bit what kind of work you like doing, but I wouldn't say so. It does not get you very close to the core of liballocs. Perhaps try one of the simpler student projects (#84)?

Sep 08 '25 16:09 stephenrkell