Merge develop to main

.github/pull_request_template.md

@@ -0,0 +1,16 @@
+## Description
+
+Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context. List any dependencies that are required for this change.
+
+Fixes # (issue)
+
+## Type of change
+
+Please delete options that are not relevant.
+
+- [ ] Bug fix (non-breaking change which fixes an issue)
+- [ ] New feature (non-breaking change which adds functionality)
+- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
+- [ ] Refactoring (changes that do NOT affect functionality)
+- [ ] Adds or updates testing
+- [ ] This change requires a documentation update

.github/workflows/CI_UBUNTU.yaml

@@ -0,0 +1,22 @@
+name: CI
+
+on:
+  pull_request:
+    branches: [ "main", "develop" ]
+
+jobs:
+
+  build:
+    runs-on: self-hosted
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Check import formatting
+        run: diff -u <(echo -n) <(find . \( -path "./carmen" -o -path "./tosca" \) -prune -o  -name '*.go' -exec goimports -l {} \;)
+
+      - name: Check code formatting
+        run: diff -u <(echo -n)  <(find . \( -path "./carmen" -o -path "./tosca" \) -prune -o  -name '*.go' -exec gofmt -d -s {} \;)
+
+      - name: Test
+        run: go test -v ./...

.github/workflows/Documentation.yaml

@@ -0,0 +1,21 @@
+name: Documentation
+
+on:
+  pull_request:
+    branches:
+      - main
+    types:
+      - closed
+
+jobs:
+  docs_update:
+    if: ${{ github.event.pull_request.merged }}
+    runs-on: self-hosted
+    steps:
+      - name: Upload Documentation to Wiki
+        uses: SwiftDocOrg/github-wiki-publish-action@v1
+        with:
+          path: "docs"
+        env:
+          GH_PERSONAL_ACCESS_TOKEN: ${{ secrets.ACCESS_TOKEN }}
+

README.md

@@ -7,16 +7,16 @@ Database contains a minimal subset of the World-State Trie to faithfully replay
 
 There are 5 data structures stored in a substate DB:
 1. `SubstateAccount`: account information (nonce, balance, code, storage)
-2. `SubstateAlloc`: mapping of account address and `SubstateAccount`
+2. `WorldState`: mapping of account address and `SubstateAccount`
 3. `SubstateEnv`: information from block headers (block gasLimit, number, timestamp, hashes)
 4. `SubstateMessage`: message for transaction execution
 5. `SubstateResult`: result of transaction execution
 
 5 values are required to replay transactions and validate results:
-1. `InputAlloc`: alloc that is read during transaction execution
+1. `PreState`: world-state that is read during transaction execution
 2. `Env`: block information required for transaction execution
 3. `Message`: array with exactly 1 transaction
-4. `OutputAlloc`: alloc that is generated by transaction execution
+4. `PostState`: alloc that is generated by transaction execution
 5. `Result`: execution result and receipt array with exactly 1 receipt
 
 The first 2 bytes of a key in a substate DB represent different data types as follows: