model-checking/kani

Kani Rust Verifier

Open issues and pull requests

Average time to close issues

All Time:

4 months

Past Year:

8 months

Past Month:

9 months

Average time to close pull requests

All Time:

6 days

Past Year:

8 days

Past Month:

11 days

New issues and pull requests

Average new issues per month

All Time:

38

Past Year:

20

Average new pull requests per month

All Time:

44

Past Year:

43

Similar Repositories

aws/aws-sdk-go