search

goblint / analyzer

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

Add opam package description and tags #1529

Closed sim642 closed 5 days ago

sim642 commented 5 days ago

Closes #1528.