search

ethereum / hevm

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

Update bitwuzla #467

Closed msooseth closed 5 months ago

msooseth commented 5 months ago

Description

Update bitwuzla, as per Lexi's bitwuzla-main that was used to generate results for HEVM on the benchmarks directory

Checklist