Commits

Commits on Sep 30, 2026

update paper link (#830)
Catoverflow
authored
a597f9d

Commits on Sep 29, 2026

Simplify vd rolling update proofs (#829)

Catoverflow
and
claude
authored
6a63fe3

Commits on Sep 22, 2026

Give rabbitmq resource_match not-found lemma an rlimit budget (#828)

Catoverflow
and
claude
authored
8398ca3

Commits on Sep 7, 2026

Use index-form quantifiers instead of Seq::contains (#827)

Catoverflow
and
claude
authored
df60d76

Commits on Sep 6, 2026

Add a generic vec_filter and drop the hand-written filter loops (#826)

Catoverflow
and
claude
authored
5a94665
Improve proofs stability and performance (#825)

Catoverflow
and
claude
authored
66aa9c6

Commits on Sep 5, 2026

Add welder to README (#823)
Catoverflow
authored
6793f16
Bump Rust toolchain version to `1.98.0` and fix rlimit errors (#824)

Catoverflow
and
claude
authored
2edac69

Commits on Aug 24, 2026

Verify VSTS get ordinal (#822)

Catoverflow
and
claude
authored
f874062

Commits on Aug 3, 2026

Cite Welder paper and add AE instructions (#821)
Catoverflow
authored
b3bf983

Commits on Jul 28, 2026

Unpin verus version (#819)

Catoverflow
and
claude
authored
aa757c8

Commits on Jul 25, 2026

add rlimit (#818)
Catoverflow
authored
9f3ef2c

Commits on Jul 23, 2026

Update vstd to 0.0.0-2026-07-12-0122 and pin Verus release in CI (#817)
Catoverflow
authored
3c95bbb

Commits on Jul 8, 2026

Merge parallel verification CI (#816)
Catoverflow
authored
468dc44

Commits on Jul 7, 2026

remove rlimit 50 (#815)
Catoverflow
authored
0babe9d
remove artifact (#814)
Catoverflow
authored
e712c46
Speed up proofs (#813)

Catoverflow
and
claude
authored
114fda0

Commits on Jul 5, 2026

update line counting script (#812)
Catoverflow
authored
2e25e80

Commits on Jul 2, 2026

Update doc to add verus-tla and fix wrong info (#810)
Catoverflow
authored
6096278
Use verus tla (#809)
Catoverflow
authored
f9cc8c0

Commits on Jul 1, 2026

Fix warning of unknown_automatic_derive (#808)
Catoverflow
authored
17d0900
ci: cache vstd compilation across verification jobs (#807)

Catoverflow
and
claude
authored
a5ccead
update CI/doc for cargo verus (#806)

Catoverflow
and
claude
authored
b1d8635

Commits on Jun 30, 2026

Migrate to `cargo verus` (#800)
Catoverflow
authored
0cd9f9f
remove is_variant_no_deprecation_warning (#805)
Catoverflow
authored
3efdf6c

Commits on Jun 23, 2026

update controller build script (#804)
Catoverflow
authored
eb0f700

Commits on Jun 10, 2026

Adapt to finite map (#802)
Catoverflow
authored
aa72ead

Commits on Jun 9, 2026

update Rust toolchain to 1.96 (#803)
Catoverflow
authored
8761fb1

Commits on May 8, 2026

Update proof approach of RMQ controller (#798)
Catoverflow
authored
cc8ab6a

Commits on Apr 26, 2026

Weaken gc lemma preconditions (#797)
Catoverflow
authored
dd27242

Commits on Apr 23, 2026

Clean up CORE (#796)
Catoverflow
authored
6ab6ff6

Commits on Apr 22, 2026

add rlib to ignore (#795)
Catoverflow
authored
8982192

Commits on Apr 19, 2026

Use the most recent Verus release in controller build CI (#794)
Catoverflow
authored
52741e8

Commits on Apr 18, 2026

update #[path] for verus-analyser to work (#792)
Catoverflow
authored
f811038

Commits on Apr 16, 2026

Fix performance regression (#790)
Catoverflow
authored
825d1f8