model-checking/kani

View on GitHub

Kani Rust Verifier

Open issues and pull requests

Average time to close issues

All Time:
5 months
Past Year:
12 months
Past Month:
26 days

Average time to close pull requests

All Time:
7 days
Past Year:
6 days
Past Month:
9 days

New issues and pull requests

Average new issues per month

All Time:
31
Past Year:
10

Average new pull requests per month

All Time:
44
Past Year:
41

Similar Repositories