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:
10 months
Past Month:
about 1 year

Average time to close pull requests

All Time:
7 days
Past Year:
12 days
Past Month:
3 days

New issues and pull requests

Average new issues per month

All Time:
35
Past Year:
22

Average new pull requests per month

All Time:
45
Past Year:
51

Similar Repositories