Sign in
Join now
verus
stepbrobd.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from verus-lang/verus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
verus
/
source
/
rust_verify
1 folder
·
3 files
at
master
Daniel Schoepe
·
Get `isize` width from rustc rather than platform where verus is built (#3373)
·
2w ago
6048d5d9
src
Get `isize` width from rustc rather than platform where verus is built (#3373)
2w ago
build.rs
[rust_verify] fix: `rerun-if-changed` paths in `build.rs` (#2826)
2mo ago
Cargo.toml
fork rustc_hir_analysis and delay certain queries (#2889)
2mo ago
NOTES.md
Add NOTES for future improvements
5y ago
