Commits

Commits on May 14, 2026

Update VestLib code to verify with the new mutable reference framework (#45)

parno
and
y1ca1
authored
78b1aa9

Commits on Feb 23, 2026

Fix grammar and clarity in property lists
parno
authored
9aadd5c

Commits on Feb 21, 2026

Fix an unstable proof (#39)
parno
authored
19d1c9f

Commits on Jan 8, 2026

Update Verus crate version numbers.

parno
authored and
y1ca1
committed
5a71ea6

Commits on Dec 25, 2025

Update Verus crate version numbers.

parno
authored and
y1ca1
committed
3dc067f

Commits on Dec 4, 2025

Bump the version number

parno
authored and
y1ca1
committed
1e6c24f
Update to the latest version of vstd and verus_builtin_macros

parno
authored and
y1ca1
committed
6a9c0a3
Bump `vest` version to 0.1.0

parno
authored and
y1ca1
committed
6276b07
Bump the version number

parno
authored and
y1ca1
committed
67be363
Fix code-gen prelude

parno
authored and
y1ca1
committed
415dfc3
Update the examples to use the new crate names

parno
authored and
y1ca1
committed
39ce36b
Swap vest_dsl to vest

parno
authored and
y1ca1
committed
0360898
Prep for potential publication on crates.io

parno
authored and
y1ca1
committed
9fb1bb2

Commits on Nov 17, 2025

Bump the version number
parno
committed
61dabe6
Update to the latest version of vstd and verus_builtin_macros
parno
committed
95b4cc0

Commits on Nov 6, 2025

Bump `vest` version to 0.1.0
parno
committed
922352e

Commits on Nov 5, 2025

Bump the version number
parno
committed
159cac7
Merge pull request #26 from secure-foundations/crates-io-prep
parno
authored
86f6a53
Fix code-gen prelude
parno
committed
3234f87
Update the examples to use the new crate names
parno
committed
a8c209d

Commits on Nov 4, 2025

Swap vest_dsl to vest
parno
committed
c3753c2
Prep for potential publication on crates.io
parno
committed
a294db9

Commits on Jan 22, 2025

Add recursive and unrolled recursive impls

parno
authored and
zhengyao-lin
committed
af71a22