model-checking/kani

View on GitHub

Kani Rust Verifier

Open issues and pull requests

Average time to close issues

All Time:
6 months
Past Year:
over 1 year
Past Month:
over 2 years

Average time to close pull requests

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

New issues and pull requests

Average new issues per month

All Time:
30
Past Year:
8

Average new pull requests per month

All Time:
43
Past Year:
36

Similar Repositories