Commits

History for

Commits on Aug 30, 2026

Remove the unused DeepView derive crate
y1ca1
committed
9db3f76
Rename Vest 2.0 crates for release
y1ca1
committed
fd722e4
WIP: mutual recursion in the dsl
y1ca1
committed
a70ad24
Sync vest_dev with vest_lib2
y1ca1
committed
9f7a5a4

Commits on Jul 21, 2026

Cleanups
y1ca1
committed
e25b748

Commits on Jul 16, 2026

Consistent naming for asn1
y1ca1
committed
f549635

Commits on Jul 15, 2026

Update vest_dev with the new serializer design
y1ca1
committed
1c176fd

Commits on Jul 5, 2026

Sync `vest_dev` with `vest_lib2`
y1ca1
committed
7953110

Commits on Jun 25, 2026

Improved template for mutual recursion
y1ca1
committed
8e560e1
WIP: mutual recursion template
y1ca1
committed
e12990e
Add a disjointness lemma for `Alt`
y1ca1
committed
205a48c
Sync vest_dev with the `xxx_gas` functions
y1ca1
committed
e9bd050

Commits on Jun 24, 2026

RecBody now takes `&self`
y1ca1
committed
e7942fd

Commits on Jun 23, 2026

Make `chain_a` <--> `chain_b` lifetime-bearing
y1ca1
committed
f0cdfaf
Templates for (mutual) recursion
y1ca1
committed
5083e2d

Commits on Jun 22, 2026

Refactor the shape of exec code for mutual recursion
y1ca1
committed
758642d
Make `prepare` directly mutually recursive as well
y1ca1
committed
92d1eec
Modularize mutual recursion proofs
y1ca1
committed
dd56032

Commits on Jun 21, 2026

Progress
y1ca1
committed
71a69b7
Experiment with verifying direct mutual recursion
y1ca1
committed
a00e7f4

Commits on Jun 15, 2026

More mutual recursion benches
y1ca1
committed
a6cec4b
Fix vest_dev
y1ca1
committed
693af59

Commits on Jun 13, 2026

Use the `Bits` combinator for bitfields
y1ca1
committed
882d301

Commits on Jun 11, 2026

Bits in a good shape
y1ca1
committed
f258965
Bits refactor WI
y1ca1
committed
0c996f7
Bits refactor WIP
y1ca1
committed
acf0cfa
Refactor bits helpers
y1ca1
committed
7050841
Bitfields experiments
y1ca1
committed
f997871

Commits on Jun 9, 2026

Renaming in vest_dev
y1ca1
committed
7863294

Loading