SMT Storage - #27

Draft

LesterEvSe wants to merge 14 commits into

feat/smt-storage

Commits on May 14, 2026

Initial version (#8)
aritkulova
authored
cf13455

Commits on May 30, 2026

Example of a test with the unhappy path (#9)
aritkulova
authored
03b5ba7

Commits on Jun 11, 2026

Updated smplx version (#12)
aritkulova
authored
e40d9fb

Commits on Jun 15, 2026

Asserts function refactoring (#11)
aritkulova
authored
588d91e

Commits on Jun 18, 2026

added logical operations (#13)
aritkulova
authored
1a9f16c

Commits on Jun 23, 2026

Added safe uint functions (#14)
aritkulova
authored
48ba803
Updated readme (#15)
aritkulova
authored
7bb72e2

Commits on Jun 25, 2026

Feat/modules (#17)
aritkulova
authored
64741ab

Commits on Jul 1, 2026

Refactor library architecture (#19)
LesterEvSe
authored
7d30e26

Commits on Jul 14, 2026

Add uint128 (#21)
aritkulova
authored
0e79bfd
Add gt ge functions for uints (#23)
aritkulova
authored
685aa01

Commits on Jul 15, 2026

Add functions for op_return (#22)
aritkulova
authored
88a15ee
Feat/get ready for release (#24)
aritkulova
authored
faee652

Commits on Jul 16, 2026

wip: add smt storage with tests
LesterEvSe
committed
a4feb56