model-checking/kani

Kani Rust Verifier

Open issues and pull requests

Average time to close issues

All Time:

5 months

Past Year:

10 months

Past Month:

1 day

Average time to close pull requests

All Time:

7 days

Past Year:

11 days

Past Month:

1 day

New issues and pull requests

Average new issues per month

All Time:

34

Past Year:

18

Average new pull requests per month

All Time:

46

Past Year:

51

Similar Repositories

aws/aws-sdk-go