Back to search
Top Contributors
400
commits
373
commits
287
commits
243
commits
194
commits
131
commits
127
commits
88
commits
49
commits
46
commits
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