seahorn/crab_elina

Crab is an Abstract Interpretation library. This build includes Elina library

Latest release: over 2 years ago - 7,657 downloads - 550 dependencies

More details on packages.ecosyste.ms - JSON

Versions