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:
5 months
Past Month:
17 days
Average time to close pull requests
All Time:
5 days
Past Year:
6 days
Past Month:
3 days
New issues and pull requests
Average new issues per month
All Time:
39
Past Year:
23
Average new pull requests per month
All Time:
42
Past Year:
39
Similar Repositories
aws/aws-sdk-go