tools · verus · Tangled

Sign in Join now

verus stepbrobd.com /

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

forked from verus-lang/verus

Star Starred Star 0

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

verus /tools

4 folders · 6 files

Chris Hawblitzel (Microsoft) · In verita, restore vest (#3353) · 2w ago

[cargo-verus-toolchains] feat: consolidate `external-deps.toml` and `consts.rs` (#2916)

add adopt-an-issue and release dev scripts in tools, in case they're useful again in the future

Fix activate script and vargo's cvc5 version matching (#3308)

In verita, restore vest (#3353)

Fix activate script and vargo's cvc5 version matching (#3308)

[vargo] feat: deprecate Vargo (#3105)

[vargo] feat: deprecate Vargo (#3105)

[vargo] feat: deprecate Vargo (#3105)

macos_allow_gatekeeper.sh

[ci] fix: add MacOS allow gatekeeper script to release archives (#3348)

zsh + nix support on `main_new` (#483)