Migrate to Goblint CIL#183

Open

mbyzhang wants to merge 22 commits intostephenrkell:masterfrom

mbyzhang:goblint-cil

Commits on Sep 29, 2025

Remove original CIL
probablytom
committed

Commits on Oct 23, 2025

goblint/cil liballocs with fixed makefiles, working `allocscc`
probablytom
committed

Commits on Dec 16, 2025

More-or-less building liballocs with goblint/cil
probablytom
committed

Commits on Dec 18, 2025

Commits on Dec 19, 2025

Commits on Jan 3, 2026

Add missing dependencies in README.md
mbyzhang
committed

Commits on Jan 4, 2026

Commits on Jan 15, 2026

Commits on Jan 16, 2026

Cleanup and fix Makefile for CIL dependencies
mbyzhang
committed

Commits on Jan 17, 2026