seahorn/crab_apron

Crab is an Abstract Interpretation Library. This build includes Apron library.

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

More details on packages.ecosyste.ms - JSON

Versions