Feat/property testing#18

Closed

0xteddybear wants to merge 18 commits intodevelopfrom

feat/property-testing

Commits on Jul 25, 2024

Commits on Jul 29, 2024

fix: event signature and interface pragma
0xng
committed

Commits on Jul 31, 2024

feat: add initializer
agusduha
committed

Commits on Aug 1, 2024

feat: use unstructured storage and OZ v5
agusduha
committed

Commits on Aug 2, 2024