Hevm transactions

.github/workflows/main.yml

@@ -6,7 +6,7 @@ name: CI
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:
-    branches: [ master, act-amm ]
+    branches: [ master, hevm-transactions ]
   pull_request:
     branches: [ master ]
 
@@ -15,6 +15,40 @@ on:
 
 # A workflow run is made up of one or more jobs that can run sequentially or in parallel
 jobs:
+  runact:
+    name: run act tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: cachix/install-nix-action@v20
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
+      - uses: haskell/actions/setup@v1
+        with:
+          ghc-version: '9.2.6' # Exact version of ghc to use
+          # cabal-version: 'latest'. Omitted, but defaults to 'latest'
+          enable-stack: true
+          stack-version: 'latest'
+      - run: |
+          cd act
+          stack test
+  runevm:
+    name: run hevm tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: cachix/install-nix-action@v20
+        with:
+          nix_path: nixpkgs=channel:nixos-unstable
+      - uses: haskell/actions/setup@v1
+        with:
+          ghc-version: '9.4.5' # Exact version of ghc to use
+          # cabal-version: 'latest'. Omitted, but defaults to 'latest'
+          enable-stack: true
+          stack-version: 'latest'
+      - run: |
+          cd evm
+          stack test
   runhaskell:
     name: run tests
     runs-on: ubuntu-latest # or macOS-latest, or windows-latest
@@ -30,5 +64,4 @@ jobs:
           # cabal-version: 'latest'. Omitted, but defaults to 'latest'
           enable-stack: true
           stack-version: 'latest'
-      - run: stack test
-      - run: stack run act-exec
+      - run: stack build

act/README.md

@@ -0,0 +1,4 @@
+# Act integration of open games
+
+This project implements the integration of open games with the ACT project. The goal is to be able to
+perform game-theoretic analysis of contracts from an act specification. See the test for some examples.

act/golden/ev.golden

@@ -0,0 +1,12 @@
+----Analytics begin----
+Player: Marx
+Optimal Move: 10
+Current Strategy: fromFreqs [(1,1.0)]
+Optimal Payoff: 1.157920892373162e77
+Current Payoff: 1.157920892373162e77
+Observable State: ()
+Unobservable State: "((),(AmmState {reserve0 = 8, reserve1 = 10},AmmState {reserve0 = 10, reserve1 = 8}))"
+ --other game-- 
+ --No more information--
+ NEWGAME: 
+----Analytics end----

act/golden/ev1.golden

@@ -0,0 +1,12 @@
+----Analytics begin----
+Player: Marx
+Optimal Move: [Transaction {contract = "amm1", method = "swap1", arguments = [5]},Transaction {contract = "amm2", method = "swap0", arguments = [10]}]
+Current Strategy: fromFreqs [([Transaction {contract = "amm2", method = "swap0", arguments = [10]},Transaction {contract = "amm1", method = "swap1", arguments = [5]}],1.0)]
+Optimal Payoff: 4.0
+Current Payoff: 2.0
+Observable State: ()
+Unobservable State: "((),AmmState {reserve0 = 10, reserve1 = 10})"
+ --other game-- 
+ --No more information--
+ NEWGAME: 
+----Analytics end----

act/golden/foo.golden

@@ -0,0 +1,12 @@
+----Analytics begin----
+Player: Marx
+Optimal Move: [Transaction {contract = "amm1", method = "swap0", arguments = [10]},Transaction {contract = "amm2", method = "swap1", arguments = [10]}]
+Current Strategy: fromFreqs [([Transaction {contract = "amm1", method = "swap0", arguments = [0]},Transaction {contract = "amm2", method = "swap1", arguments = [0]}],1.0)]
+Optimal Payoff: 102.0
+Current Payoff: 101.0
+Observable State: ()
+Unobservable State: "(((),()),())"
+ --other game-- 
+ --No more information--
+ NEWGAME: 
+----Analytics end----