model-checking/kani

View on GitHub

Kani Rust Verifier

Open issues and pull requests

Average time to close issues

All Time:
3 months
Past Year:
4 months
Past Month:
4 months

Average time to close pull requests

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

New issues and pull requests

Average new issues per month

All Time:
45
Past Year:
44

Average new pull requests per month

All Time:
43
Past Year:
48

Similar Repositories