source/rust_verify_test · verus · Tangled

forked from verus-lang/verus

verus source rust_verify_test

1 folder · 1 file

Travis Hance · forbid unsafe attrs (#3362) · 2w ago

forbid unsafe attrs (#3362)

build: use Cargo instead of Vargo (#2686)