Julian/soroban auto sanity - #48

Merged

julian-certora merged 16 commits into

mainfrom

julian/soroban_auto_sanity

Aug 27, 2026

Commits on Aug 14, 2026

work toward generating sanity rules for soroban and compiling it
julian-certora
committed
b7072c5

Commits on Aug 25, 2026

export some primitives for use in cvlr_soroban
julian-certora
committed
85fef5f

Commits on Aug 26, 2026

Merge branch 'main' into julian/soroban_auto_sanity
julian-certora
authored
4392f0f
clean up 'env'
julian-certora
committed
34e159d
Merge branch 'julian/soroban_auto_sanity' of github.com:Certora/cvlr into julian/soroban_auto_sanity
julian-certora
committed
e187d3a
remove duplicate annotation
julian-certora
committed
a579210
fmt
julian-certora
committed
fc92ab0
remove default-features=false
julian-certora
committed
ea27c3a
trying to fix CI based on copilot advice
chandrakananandi
committed
c4891c1
forgot to exclude hook tests from all tests
chandrakananandi
committed
deb969f
add workspace
chandrakananandi
committed
428ce77
avoid builtin macros that affect expansion across rustc versions
chandrakananandi
committed
d55fd8b
undo previous yml change
chandrakananandi
committed
ba64a82

Commits on Aug 27, 2026