goblint-cil
GoblintCil.Cillower
A number of lowering passes over CIL
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
val lowerEnumVisitor : Cil.cilVisitor
Replace enumeration constants with integer constants