cilversion.ml
goblint-cil
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
1 2 3 4 5 6 (* src/cilversion.ml. Generated from cilversion.ml.in by configure. *) let cilVersionMajor = 1 let cilVersionMinor = 8 let cilVersionRev = 2 let cilVersion = "1.8.2"
1 2 3 4 5 6
(* src/cilversion.ml. Generated from cilversion.ml.in by configure. *) let cilVersionMajor = 1 let cilVersionMinor = 8 let cilVersionRev = 2 let cilVersion = "1.8.2"