Repo Trends
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:
7 months
Past Month:
11 months
Average time to close pull requests
All Time:
5 days
Past Year:
7 days
Past Month:
12 days
New issues and pull requests
Average new issues per month
All Time:
38
Past Year:
22
Average new pull requests per month
All Time:
43
Past Year:
40
Similar Repositories
aws/aws-sdk-go