Commits

History for

Commits on Sep 5, 2026

Add welder to README (#823)
Catoverflow
authored
6793f16

Commits on Jul 28, 2026

Unpin verus version (#819)

Catoverflow
and
claude
authored
aa757c8

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 7, 2026

remove rlimit 50 (#815)
Catoverflow
authored
0babe9d

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

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

Commits on Mar 12, 2026

Add Rabbitmq e2e tests (#758)
Catoverflow
authored
30e6870

Commits on Dec 10, 2025

Update Documentation (#714)
Catoverflow
authored
56439bf

Commits on May 30, 2025

Update Verus Version to 3b6b805ac (#641)
Catoverflow
authored
102f313

Commits on May 15, 2025

Fix outdated build.md (#629)
Catoverflow
authored
d825840
Implement (simplified) Deployment controller and its model (#611)

Catoverflow
and
codyjrivera
authored
eb373de

Commits on May 6, 2025

Make docker builder optional, and simplify local test step (#619)
Catoverflow
authored
877caba

Loading