seahorn/crab

Crab (https://github.com/seahorn/crab)

Latest release: almost 3 years ago - 6,965 downloads - 550 dependencies

More details on packages.ecosyste.ms - JSON

Versions

nightly

Published: almost 3 years ago Last synced: over 1 year ago

bionic

Ubuntu 18.04.6 LTS

Published: over 3 years ago Last synced: almost 3 years ago