Support of OPCODE BLOBBASEFEE , BLOBHASH and CLZ

.devcontainer/postCreate.sh

@@ -14,4 +14,4 @@ curl -L https://foundry.paradigm.xyz | bash
 echo 'source .venv/bin/activate' >> ~/.bashrc
 
 # just a test
-# pytest -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st --storage-layout solidity --solver-timeout-assertion 0"
+# pytest -v -k "not long and not ffi" --ignore=tests/lib --dolmos-options="-v -st --storage-layout solidity --solver-timeout-assertion 0"

.gitattributes

@@ -0,0 +1,3 @@
+# the file cheatcode tests (tests/regression/test/File.t.sol) hash these fixtures byte for byte:
+# never convert their line endings (core.autocrlf is on by default on the Windows runners)
+tests/regression/test/data/** -text

.github/ISSUE_TEMPLATE/bug_report.md

@@ -16,7 +16,7 @@ Please provide a reproducible example.
 **Environment:**
  - OS: [e.g., Linux / Windows / macOS]
  - Python version: [e.g., `python --version`]
- - Halmos and other dependency versions: [e.g., `pip list`]
+ - dolmos and other dependency versions: [e.g., `pip list`]
 
 **Additional context**
 Add any other context about the problem here.

.github/workflows/copilot-setup-steps.yml

@@ -15,10 +15,10 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Set up Python
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v6
         with:
           # let's use the oldest version of python that is supported by the project
           python-version: "3.11"
@@ -27,9 +27,9 @@ jobs:
         uses: foundry-rs/foundry-toolchain@v1
 
       - name: Install uv
-        uses: astral-sh/setup-uv@v4
+        uses: astral-sh/setup-uv@v7
         with:
           version: "0.5.21"
 
-      - name: Install halmos and its dependencies
+      - name: Install dolmos and its dependencies
         run: uv sync --extra dev

.github/workflows/pre-commit.yml

@@ -6,6 +6,15 @@ jobs:
   pre-commit:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v4
-    - uses: actions/setup-python@v5
-    - uses: pre-commit/action@v3.0.1
+    - uses: actions/checkout@v6
+    - uses: actions/setup-python@v6
+      with:
+        python-version: "3.12"
+    # pre-commit/action@v3.0.1 still uses actions/cache@v4 (node20) internally:
+    # run pre-commit directly, with a node24 cache
+    - uses: actions/cache@v5
+      with:
+        path: ~/.cache/pre-commit
+        key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
+    - run: pip install pre-commit
+    - run: pre-commit run --show-diff-on-failure --color=always --all-files

.github/workflows/publish-halmos-builder-package.yml → .github/workflows/publish-dolmos-builder-package.yml

@@ -1,20 +1,20 @@
 # based on https://docs.github.com/en/packages/managing-github-packages-using-github-actions-workflows/publishing-and-installing-a-package-with-github-actions#upgrading-a-workflow-that-accesses-a-registry-using-a-personal-access-token
-name: Push halmos-builder package
+name: Push dolmos-builder package
 
 on:
-  # only trigger manually, this is independent from halmos releases
+  # only trigger manually, this is independent from dolmos releases
   workflow_dispatch:
   workflow_run:
     workflows: ["Push solvers package"]
     types:
       - completed
   push:
     paths:
-      - packages/halmos-builder/**/*
-      - .github/workflows/publish-halmos-builder-package.yml
+      - packages/dolmos-builder/**/*
+      - .github/workflows/publish-dolmos-builder-package.yml
 
 env:
-  IMAGE_NAME: halmos-builder
+  IMAGE_NAME: dolmos-builder
 
 jobs:
   # This pushes the image to GitHub Packages.
@@ -28,18 +28,18 @@ jobs:
 
     steps:
       - name: Login to GitHub Container Registry
-        uses: docker/login-action@v3
+        uses: docker/login-action@v4
         with:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: false
 
       - name: Build image
-        run: docker build . --file packages/halmos-builder/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
+        run: docker build . --file packages/dolmos-builder/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
 
       - name: Push image
         run: |

.github/workflows/publish-halmos-package.yml → .github/workflows/publish-dolmos-package.yml

@@ -1,22 +1,22 @@
 # based on https://docs.github.com/en/packages/managing-github-packages-using-github-actions-workflows/publishing-and-installing-a-package-with-github-actions#upgrading-a-workflow-that-accesses-a-registry-using-a-personal-access-token
-name: Push halmos package
+name: Push dolmos package
 
 on:
   workflow_dispatch:
   workflow_run:
-    workflows: ["Push halmos-builder package"]
+    workflows: ["Push dolmos-builder package"]
     types:
       - completed
   push:
     paths:
-      - packages/halmos/**/*
-      - .github/workflows/publish-halmos-package.yml
+      - packages/dolmos/**/*
+      - .github/workflows/publish-dolmos-package.yml
     tags:
       # push when we release a new tagged version
       - 'v*'
 
 env:
-  IMAGE_NAME: halmos
+  IMAGE_NAME: dolmos
 
 jobs:
   # This pushes the image to GitHub Packages.
@@ -30,22 +30,22 @@ jobs:
 
     steps:
       - name: Login to GitHub Container Registry
-        uses: docker/login-action@v3
+        uses: docker/login-action@v4
         with:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           # we may need tests/lib for the workflows using this image
           submodules: recursive
 
       - name: Build image
-        run: docker build . --file packages/halmos/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
+        run: docker build . --file packages/dolmos/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
 
-      - name: Print halmos version
-        run: docker run $IMAGE_NAME halmos --version
+      - name: Print dolmos version
+        run: docker run $IMAGE_NAME dolmos --version
 
       - name: Push image
         run: |
@@ -54,15 +54,17 @@ jobs:
           # This changes all uppercase characters to lowercase.
           IMAGE_ID=$(echo $IMAGE_ID | tr '[A-Z]' '[a-z]')
 
-          # This strips the git ref prefix from the version.
-          VERSION=$(echo "${{ github.ref }}" | sed -e 's,.*/\(.*\),\1,')
+          if [[ "${{ github.ref }}" == refs/tags/v* ]]; then
+            # release: X.Y.Z, X.Y and latest
+            VERSION="${GITHUB_REF_NAME#v}"
+            TAGS="$VERSION ${VERSION%.*} latest"
+          else
+            # anything else (main, builder rebuilds): a moving `main` tag
+            TAGS="main"
+          fi
 
-          # This strips the "v" prefix from the tag name.
-          [[ "${{ github.ref }}" == "refs/tags/"* ]] && VERSION=$(echo $VERSION | sed -e 's/^v//')
-
-          # This uses the Docker `latest` tag convention.
-          [ "$VERSION" == "main" ] && VERSION=latest
-          echo IMAGE_ID=$IMAGE_ID
-          echo VERSION=$VERSION
-          docker tag $IMAGE_NAME $IMAGE_ID:$VERSION
-          docker push $IMAGE_ID:$VERSION
+          for TAG in $TAGS; do
+            echo "pushing $IMAGE_ID:$TAG"
+            docker tag $IMAGE_NAME $IMAGE_ID:$TAG
+            docker push $IMAGE_ID:$TAG
+          done

.github/workflows/publish-pypi.yml

@@ -1,22 +1,87 @@
 name: Publish to PyPI
+
+# Triggered by publishing a GitHub Release whose tag is vX.Y.Z.
+# The package version comes from that tag (setuptools-scm).
+
 on:
   release:
     types: [published]
+  # manual dry run: builds and checks the distributions, publishes nothing
+  workflow_dispatch:
+
 jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+        with:
+          # setuptools-scm needs the tags and the history
+          fetch-depth: 0
+
+      - uses: actions/setup-python@v6
+        with:
+          python-version: "3.12"
+
+      - name: Build
+        run: |
+          python -m pip install --upgrade build twine
+          python -m build
+          twine check --strict dist/*
+
+      - name: Check that the version matches the tag
+        if: github.event_name == 'release'
+        run: |
+          expected="${GITHUB_REF_NAME#v}"
+          wheel=$(ls dist/*.whl)
+          case "$wheel" in
+            dist/dolmos-${expected}-*) echo "version $expected OK" ;;
+            *) echo "::error::wheel $wheel does not match tag $GITHUB_REF_NAME"; exit 1 ;;
+          esac
+
+      - name: Smoke test the wheel
+        run: |
+          python -m venv /tmp/smoke
+          /tmp/smoke/bin/pip install dist/*.whl
+          /tmp/smoke/bin/dolmos --version
+          /tmp/smoke/bin/python -Ic 'import dolmos'
+
+      - uses: actions/upload-artifact@v6
+        with:
+          name: dist
+          path: dist/
+
   pypi:
+    needs: build
+    if: github.event_name == 'release'
     runs-on: ubuntu-latest
-    environment: release
+    environment:
+      name: release
+      url: https://pypi.org/project/dolmos/
     permissions:
-      # IMPORTANT: this permission is mandatory for Trusted Publishing
+      # mandatory for Trusted Publishing
       # https://docs.pypi.org/trusted-publishers/using-a-publisher/
       id-token: write
     steps:
-      - name: Checkout
-        uses: actions/checkout@v4
+      - uses: actions/download-artifact@v7
         with:
-          fetch-depth: 0
-      - name: Build
-        run: python3 -m pip install --upgrade build && python3 -m build
+          name: dist
+          path: dist/
       - name: Publish
         uses: pypa/gh-action-pypi-publish@release/v1
 
+  github-release-assets:
+    needs: build
+    if: github.event_name == 'release'
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/download-artifact@v7
+        with:
+          name: dist
+          path: dist/
+      - name: Attach the distributions to the GitHub Release
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: gh release upload "$GITHUB_REF_NAME" dist/* --repo "$GITHUB_REPOSITORY" --clobber

.github/workflows/publish-solvers-package.yml

@@ -2,7 +2,7 @@
 name: Push solvers package
 
 on:
-  # only trigger manually, this is independent from halmos releases
+  # only trigger manually, this is independent from dolmos releases
   workflow_dispatch:
   push:
     paths:
@@ -21,13 +21,13 @@ jobs:
 
     steps:
       - name: Login to GitHub Container Registry
-        uses: docker/login-action@v3
+        uses: docker/login-action@v4
         with:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
         with:
           submodules: false