source · verus · Tangled

forked from verus-lang/verus

verus source

23 folders · 7 files

Daniel Schoepe · Get `isize` width from rustc rather than platform where verus is built (#3373) · 2w ago

[cargo-verus] fix: mitigate known caching issue (#2794)

verification observer: interface to capture information about VC lowering (#2965)

Support opens_invariants in proof closures (#3199)

Support opens_invariants in proof closures (#3199)

Make NonZero specifications available in default Cargo builds. (#3361)

cargo-verus-toolchains

[CI] feat: optimize release archive size (#3350)

Swap from will_return_none to produces (#3330)

Get `isize` width from rustc rather than platform where verus is built (#3373)

rust_verify_build_macros

overhaul the build process, again

rust_verify_test

forbid unsafe attrs (#3362)

rust_verify_test_macros

workspace: centralize deps (#2653)

rustc_hir_analysis

Upgrade Verus to Rust 1.99 (#3125)

rustc_hir_typeck

Integrate Query into rustc query system (#3316)

rustc_mir_build

Integrate Query into rustc query system (#3316)

rustc_mir_build_additional_files

Integrate Query into rustc query system (#3316)

state_machines_macros

Update crate version numbers (#3333)

Publish Linux and Windows arm64 release builds (#3292)

Revert "[verus] refactor: depend on `rust_verify` explicitly" (#3237)

Avoid some panics for verusdoc (#2066)

Support opens_invariants in proof closures (#3199)

workspace: update dependencies (#2650)

Support opens_invariants in proof closures (#3199)

Make NonZero specifications available in default Cargo builds. (#3361)

Add .envrc to auto-source activation for vargo (#668)

source/tools: collect `rust_verify_test` code coverage (#2552)

Update crate version numbers (#3333)

Speedup CI runs. (#3255)

Expand some of our internal documentation (#2001)

[CI] feat: optimize release archive size (#3350)

vargo: move style_edition=2024 enforcement to rustfmt.toml (#2085)