Evm

.github/workflows/ci.yml

@@ -15,11 +15,42 @@ jobs:
           cache: 'maven'
 
       - name: Build and run tests
-        run: mvn -B clean test
+        run: mvn -B clean test -Dtest='!vegas.eth.**'
 
       - name: Upload test reports
-        if: always() # run even if tests fail
+        if: always()
         uses: actions/upload-artifact@v4
         with:
           name: surefire-reports
           path: target/surefire-reports
+
+  eth-tests:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: actions/setup-java@v4
+        with:
+          distribution: 'temurin'
+          java-version: '25'
+          cache: 'maven'
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Install solc
+        run: |
+          pip3 install -r requirements-test.txt
+          solc-select install 0.8.31
+          solc-select use 0.8.31
+          solc --version
+
+      - name: Build and run Ethereum tests
+        run: mvn -B clean test -Dtest='vegas.eth.**'
+
+      - name: Upload test reports
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: surefire-reports-eth
+          path: target/surefire-reports

.gitignore

@@ -2,6 +2,7 @@ CLAUDE.md
 lsp/server/*.jar
 
 __pycache__
+.venv/
 .diff
 .idea
 .claude

docs/LANGUAGE.md

@@ -135,3 +135,8 @@ withdraw (Alice.x != null)
 4.  **Backend Generation**:
     - **Solidity**: Generates functions with `depends` modifiers and bail logic.
     - **Gambit**: Generates a game tree where concurrent DAG nodes share information sets.
+
+## Related langauges
+
+https://github.com/marlowe-lang
+