model-checking/kani

Kani Rust Verifier

Open issues and pull requests

Average time to close issues

All Time:

6 months

Past Year:

over 1 year

Past Month:

17 days

Average time to close pull requests

All Time:

7 days

Past Year:

5 days

Past Month:

14 days

New issues and pull requests

Average new issues per month

All Time:

29

Past Year:

6

Average new pull requests per month

All Time:

42

Past Year:

29

Similar Repositories

aws/aws-sdk-go