Kani Rust Verifier
Stars
3.0k
Forks
142
Watchers
3.0k
Open Issues
471
Overall repository health assessment
No package.json found
This might not be a Node.js project
400
commits
373
commits
287
commits
243
commits
194
commits
131
commits
127
commits
88
commits
49
commits
46
commits
Bump tests/perf/s2n-quic from `82c66f2` to `024b804` (#4569)
39988dcView on GitHubFix stubbing bugs: FFI name resolution and generic parameter validation (#4565)
105be6bView on GitHubBump ncipollo/release-action from 1.20.0 to 1.21.0 (#4562)
d1abc2cView on GitHubBump tests/perf/s2n-quic from `296b644` to `82c66f2` (#4560)
03f50deView on GitHubCreate AGENTS.md to guide AI coding assistants (#4543)
70a4ad4View on GitHubFix atomic compare_exchange to return correct failure status (#4542)
edfa537View on GitHubFix workspace feature handling to filter features per-package (#4545)
05a3cd8View on GitHubFix CBMC output parser panic when using SMT solvers (#4540)
d4c31ffView on GitHub