search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
136 stars 20 forks source link

Remove batteries dependency to support OCaml 5 #106

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

Batteries is the only thing keeping us from OCaml 5 and its usage in CIL is ridiculously minimal: only BatList.filter_map. Therefore this adds its implementation to an util module (OCaml >= 4.08 would have List.filter_map, but CIL supports >= 4.05 right now) and adds OCaml 5 alpha to the CI.