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:
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
aws/aws-sdk-go