search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Unpin ppx_deriving #1496

Open sim642 opened 1 month ago

sim642 commented 1 month ago

The pinned performance optimizations have finally been released on opam, so we can get rid of the pin.

TODO