Code

[DRAFT] add bitwuzla build for linux#678

Code

Open

charles-cooper wants to merge 4 commits intoethereum:mainethereum/hevm:mainfrom

charles-cooper:bitwuzla-linuxcharles-cooper/hevm:bitwuzla-linuxCopy head branch name to clipboard

Commits

Commits on Mar 9, 2025

• draft - add bitwuzla build for linux

  charles-cooper

  committed
  57acc43

  Copy full SHA for 57acc43

• update dependencies

  charles-cooper

  committed
  5df8eb6

  Copy full SHA for 5df8eb6

Commits on Mar 11, 2025

• Merge branch 'main' into bitwuzla-linux

  charles-cooper

  authored
  96a79b1

  Copy full SHA for 96a79b1

• remove --win64

  charles-cooper

  committed
  27ae3e4

  Copy full SHA for 27ae3e4