Wrap library - Githubissues

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

40 stars 16 forks source link

Wrap library #107

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

It's about time we did this, because without wrapping we expose super-generic top level module names such as Util, Cfg, Escape, Feature, etc. That's why Goblint has been forced to use names like ThreadEscape and MyCFG instead...

TODO

[x] Make Goblint compatible. https://github.com/goblint/analyzer/pull/791

sim642 commented 2 years ago

Not sure if I'm blind or GitHub is crazy, but this @michael-schwarz's comment that I got an email about is not here:

There still seems to be some incompatibility with OCaml <4.07.1 here.

That was just an upstream regression on opam that is now fixed and published, so it's all green here: https://github.com/c-cube/seq/pull/16.