search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
233 stars 32 forks source link

Merging dev branch into master #57

Closed caballa closed 1 year ago

caballa commented 1 year ago

Already running a github action for dev branch.