[Draft] Add stateful properties#821

Open

bsamuels453 wants to merge 13 commits intoUniswap:mainfrom

trailofbits:add-stateful-properties

Commits on Aug 9, 2024

Commits on Aug 12, 2024

ensure parity with internal properties repo
bsamuels453
committed

Commits on Aug 21, 2024

add diagrams
bsamuels453
committed

Commits on Sep 23, 2024