ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
223 stars 45 forks source link

Upgrade solc to 0.8.24 #498

Closed blishko closed 1 month ago

blishko commented 1 month ago

Description

Rationale: sold releases prior to 0.8.24 did not contain an executable for arm64 chips. Without Rosetta, the part of hevm that requires calling solc wouldn't work on arm-based OSX.

Upgrading solc also showed that hevm loops if the bytecode contains infinite recursion using only JUMP (and not JUMPI) instructions. For this reason we now skip a few tests that contain infinite recursion.

Checklist