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
Version history of
source/docs/guide/src/
assert_assume.md
October 2026
Travis Hance
39e84676
Copied
Failed
Copy SHA
Guide typos (#3340)
Copy SHA
Browse repository
committed
2w ago
Martin Mirchev
581aeccf
Copied
Failed
Copy SHA
Check doc crosslinks in CI and fix broken links (#3141)
Copy SHA
Browse repository
committed
3w ago
June 2025
Chris Hawblitzel
886c84eb
Copied
Failed
Copy SHA
Change verifier::auto_ext_equal default to assert, assert_by, ensures, invariant
Copy SHA
Browse repository
committed
1y ago
May 2025
nobody
8707ef26
Copied
Failed
Copy SHA
Rename examples directory (rename source/rust_verify/example to examples)
Copy SHA
Browse repository
committed
1y ago
January 2025
Bryan Parno
3cbb5a60
Copied
Failed
Copy SHA
Docs: Minor fixes to using assert and assume to develop proofs
Copy SHA
Browse repository
committed
1y ago
Bryan Parno
85d48368
Copied
Failed
Copy SHA
Rename the documentation page on using assert and assume to develop proofs.
Copy SHA
Browse repository
committed
1y ago
