Commits

History for

Commits on Sep 30, 2026

update paper link (#830)
Catoverflow
authored
a597f9d

Commits on Sep 5, 2026

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

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

Refine README for clarity and detail (#811)
marshtompsxd
authored
47a1bc3

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 Dec 10, 2025

Update Documentation (#714)
Catoverflow
authored
56439bf

Commits on Jul 8, 2025

Update Verus version to Release/0.2025.07.05.8bd7c32 (#664)
Catoverflow
authored
bc9d621

Commits on Jun 23, 2025

Remove V2 (#650)
Catoverflow
authored
a27a595

Commits on May 30, 2025

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

Commits on May 19, 2025

Fix link in README (#635)
jff
authored
94e9730

Commits on Feb 11, 2025

Update to newest verus version (#588)
ahuoguo
authored
f2741cb

Commits on Oct 16, 2024

Fix links pointing to the old repo (#567)
marshtompsxd
authored
0138e00

Commits on Aug 28, 2024

Upgrade Verus version (#516)
marshtompsxd
authored
a42a9fc

Commits on May 30, 2024

Upgrade Verus version (#484)
marshtompsxd
authored
258faf7
Update readme for general users (#483)
marshtompsxd
authored
9ad9cb1

Commits on Apr 29, 2024

Explicily show other profile options in AE doc (#479)
marshtompsxd
authored
8d27a89

Commits on Apr 24, 2024

Highlight key results in readme (#478)
marshtompsxd
authored
1801e39

Commits on Apr 23, 2024

Use the AE doc as the README (#477)
marshtompsxd
authored
53656b5

Commits on Sep 7, 2023

Remove redundant badges from README
marshtompsxd
committed
837e24b
Enhance and parallelize CI workflow (#243)
marshtompsxd
authored
41f9830

Commits on Sep 6, 2023

Make e2e tests self-contained (#236)
marshtompsxd
authored
5e72a49

Commits on May 28, 2023

Follow the naming convention of Docker images and Rust projects (#121)
marshtompsxd
authored
36003e8

Commits on May 16, 2023

Update deploy.sh with argument for app name
marshtompsxd
committed
3035e5e

Commits on May 7, 2023

Add deploy script to deploy the simple controller
marshtompsxd
committed
8ca5a38

Commits on May 6, 2023

Add badges to README
marshtompsxd
committed
ff0132b

Commits on May 4, 2023

Update build script to use Verus binary (#102)
marshtompsxd
authored
516efa8

Commits on May 2, 2023

Update README: go back to Verus main branch
marshtompsxd
committed
415407a

Commits on May 1, 2023

Move simple controller to controller_examples
marshtompsxd
committed
f5ce645

Commits on Apr 13, 2023

Migrate to Verus main_new (#92)
tchajed
authored
eb9ef16

Commits on Mar 23, 2023

Make the bash scripts more robust
tchajed
committed
8ca64af

Commits on Mar 21, 2023

Update README
marshtompsxd
committed
1af156b

Commits on Jan 18, 2023

docs: update build and run instructions
lalithsuresh
committed
637675d