Merge remote-tracking branch 'origin/master' into dev-library-support-echidna

Author: gustavo-grieco

.github/workflows/deploy.yml

@@ -3,6 +3,10 @@ on:
   push:
     branches:
       - master
+    ignore-paths:
+      - "**.rs"
+      - "**.py"
+      - "**.sol"
   workflow_dispatch:
 
 jobs:

.github/workflows/echidna.yml

@@ -1,15 +1,18 @@
-name: Echidna
+name: Run Echidna tests
 
 on:
   push:
-    paths-ignore:
-      - "**.md"
-      - "**.rs"
-      - "**.py"
+    paths:
+      - ".github/workflows/echidna.yml"
+      - "program-analysis/echidna/**/*.sol"
+      - "program-analysis/echidna/**/*.yml"
     branches:
       - master
-      - dev
   pull_request:
+    paths:
+      - ".github/workflows/echidna.yml"
+      - "program-analysis/echidna/**/*.sol"
+      - "program-analysis/echidna/**/*.yml"
   schedule:
     # run CI every day even if no PRs/merges occur
     - cron: "0 12 * * *"

.github/workflows/lint_links.yml

@@ -4,7 +4,13 @@ on:
   push:
     branches:
       - master
+    paths:
+      - ".github/workflows/lint_links.yml"
+      - "**.md"
   pull_request:
+    paths:
+      - ".github/workflows/lint_links.yml"
+      - "**.md"
   schedule:
     # run CI at 09:00, on day 1 of the month even if no PRs/merges occur
     - cron: "0 9 1 * *"

.github/workflows/manticore.yml

@@ -0,0 +1,36 @@
+name: Run Manticore tests
+
+on:
+  push:
+    paths:
+      - ".github/workflows/manticore.yml"
+      - "program-analysis/manticore/**/*.py"
+    branches:
+      - master
+  pull_request:
+    paths:
+      - ".github/workflows/manticore.yml"
+      - "program-analysis/manticore/**/*.py"
+  schedule:
+    # run CI every day even if no PRs/merges occur
+    - cron: "0 12 * * *"
+
+jobs:
+  tests:
+    runs-on: ubuntu-22.04
+    strategy:
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v3
+      - name: Set up Python 3.8
+        uses: actions/setup-python@v4
+        with:
+          python-version: 3.8
+      - name: Install dependencies
+        run: |
+          pip install solc-select
+          solc-select install 0.5.11
+          solc-select use 0.5.11
+      - name: Run Tests
+        run: |
+          bash program-analysis/manticore/scripts/gh_action_test.sh

.github/workflows/ci.yml renamed to .github/workflows/slither.yml

@@ -1,13 +1,16 @@
-name: CI
+name: Run Slither tests
 
 on:
   push:
-    paths-ignore:
-      - "**.md"
+    paths:
+      - ".github/workflows/slither.yml"
+      - "program-analysis/slither/**/*.py"
     branches:
       - master
-      - dev
   pull_request:
+    paths:
+      - ".github/workflows/slither.yml"
+      - "program-analysis/slither/**/*.py"
   schedule:
     # run CI every day even if no PRs/merges occur
     - cron: "0 12 * * *"
@@ -17,8 +20,6 @@ jobs:
     runs-on: ubuntu-22.04
     strategy:
       fail-fast: false
-      matrix:
-        type: ["slither", "manticore"]
     steps:
       - uses: actions/checkout@v3
       - name: Set up Python 3.8
@@ -31,7 +32,5 @@ jobs:
           solc-select install 0.5.11
           solc-select use 0.5.11
       - name: Run Tests
-        env:
-          TEST_TYPE: ${{ matrix.type }}
         run: |
-          bash program-analysis/${TEST_TYPE}/scripts/gh_action_test.sh
+          bash program-analysis/slither/scripts/gh_action_test.sh

README.md

@@ -16,6 +16,7 @@ We welcome contributions, and you can contribute by following our [contributing
 - [Learn EVM](./learn_evm): EVM technical knowledge
   - [EVM Opcodes](./learn_evm/evm_opcodes.md): Details on all EVM opcodes
   - [Transaction Tracing](./learn_evm/tracing.md): Helper scripts and guidance for generating and navigating transaction traces
+  - [Arithmetic Checks](./learn_evm/arithmetic-checks.md): A guide to performing arithmetic checks in the EVM
   - [Yellow Paper Guidance](./learn_evm/yellow-paper.md): Symbol reference for more easily reading the Ethereum yellow paper
   - [Forks <> EIPs](./learn_evm/eips_forks.md): Summarize the EIPs included in each Ethereum fork
     - [Forks <> CIPs](./learn_evm/cips_forks.md): Summarize the CIPs and EIPs included in each Celo fork _(EVM-compatible chain)_

SUMMARY.md

@@ -10,6 +10,7 @@
 - [Learn EVM](./learn_evm/README.md)
   - [EVM Opcode Reference](./learn_evm/evm_opcodes.md)
   - [Transaction Tracing](./learn_evm/tracing.md)
+  - [Arithmetic Checks](./learn_evm/arithmetic-checks.md)
   - [Yellow Paper Guidance](./learn_evm/yellow-paper.md):
     - [Forks <> EIPs](./learn_evm/eips_forks.md)
     - [Forks <> CIPs](./learn_evm/cips_forks.md)

book

@@ -15,6 +15,7 @@ no-section-label = true
 additional-css = ["static/custom.css"]
 additional-js = ["static/script.js"]
 default-theme = "light"
+mathjax-support = true
 
 [output.html.fold]
 enable = true

book.toml

@@ -4,6 +4,7 @@ List of EVM technical knowledge
 
 - [EVM Opcode Reference](evm_opcodes.md): Reference and notes for each of the EVM opcodes
 - [Transaction Tracing](tracing.md): Helper scripts and guidance for generating and navigating transaction traces
+- [Arithmetic Checks](./arithmetic-checks.md): A guide to performing arithmetic checks in the EVM
 - [Yellow Paper Guidance](yellow-paper.md): Symbol reference for more easily reading the Ethereum yellow paper
 - [Forks <> EIPs](eips_forks.md): Summarize the EIPs included in each fork
   - [Forks <> CIPs](cips_forks.md): Summarize the CIPs and EIPs included in each Celo fork _(EVM-compatible chain)_