Uniswap sqrt eth test summary#18

Open

ovatman wants to merge 16 commits intomasterfrom

uniswap-sqrt-eth-test-summary

Commits on Sep 25, 2024

Update CI for PI2 fork (#2)

authored and
dwightguth
committed
Delete useGas cell (#4)

Dwight Guth
authored and
dwightguth
committed
Optimize `_<_>` schedule operator (#1)

Dwight Guth
authored and
dwightguth
committed
Update <wordstack> cell to use List sort (#3)

Dwight Guth
authored and
dwightguth
committed
Change how json is parsed in pytest harness (#5)

Dwight Guth
authored and
dwightguth
committed
Add new optimization rules to optimizations.md (#7)

Dwight Guth
authored and
dwightguth
committed
add support for branch for syncing master (#9)

Dwight Guth
authored and
dwightguth
committed
First draft of the USL API (#8)

theo25
authored and
dwightguth
committed
Supporting LLVM Proof Hints Flags (#12)

Robertorosmaninho
authored and
dwightguth
committed
Introducing `proof hints` feature to be used directly through `kevm` binary or poetry. (#14)

Robertorosmaninho
authored and
dwightguth
committed

Commits on Oct 2, 2024