anormal revise#1

Merged

mir-ikbch merged 4 commits intoproof-ninja:mainfrom

Oct 3, 2024

Commits on Aug 8, 2024

anormal revise
y-tak6
committed

Commits on Sep 6, 2024

added if-expression to yul_compile.ml
y-tak6
committed

Commits on Sep 18, 2024

add a test for if, and a small revise
y-tak6
committed

Commits on Sep 23, 2024

fix,and add readme about dune build
y-tak6
committed