source/tools · verus · Tangled

forked from verus-lang/verus

verus source tools

4 folders · 13 files

Martin Mirchev · Publish Linux and Windows arm64 release builds (#3292) · 3w ago

bump_crate_versions

Fix crate version bumping to account for lack of `vstd/src` (#2937)

internals_interface

workspace: update dependencies (#2650)

[linecount] mark more trusted (#2977)

Moar docs for the minimizer + how to reporting issues (#1187)

build-run-log.sh

Update build-run-log to new logging arguments

check-doc-links.sh

Check doc crosslinks in CI and fix broken links (#3141)

coverage: trim absolute paths from the report (#2594)

[vargo] feat: deprecate Vargo (#3105)

[vargo] feat: deprecate Vargo (#3105)

Upgrade cvc5 pin from 1.1.2 to 1.3.4 (#3241)

Upgrade cvc5 pin from 1.1.2 to 1.3.4 (#3241)

Upgrade to Z3 4.16.0 (#2578)

Publish Linux and Windows arm64 release builds (#3292)

render-verus-log-call-graphs.sh

add logging for function call graphs

Revert "remove legacy scripts"

add a deprecation warning to rust-verify.sh

update-rustc-forks.sh

fork rustc_hir_analysis and delay certain queries (#2889)