Squash

.github/issue_template.md

@@ -0,0 +1,10 @@
+<!--     Emoji Table:     -->
+<!-- readme/docs       📝 -->
+<!-- new feature       ✨ -->
+<!-- refactor/cleanup  ♻️ -->
+<!-- nit               🥢 -->
+<!-- security fix      🔒 -->
+<!-- optimization      ⚡️ -->
+<!-- configuration     👷‍♂️ -->
+<!-- events            🔊 -->
+<!-- bug fix           🐞 -->

.github/pull_request_template.md

@@ -7,7 +7,6 @@ Describe the changes made in your pull request here.
 Ensure you completed **all of the steps** below before submitting your pull request:
 
 - [ ] Ran `forge fmt`?
-- [ ] Ran `forge snapshot`?
 - [ ] Ran `forge test`?
 
 _Pull requests with an incomplete checklist will be thrown out._

.github/workflows/ci-all-via-ir.yml

@@ -10,13 +10,13 @@ jobs:
 
     strategy:
       matrix:
-        profile: [via-ir-0,via-ir-1]
+        profile: [via-ir-0,via-ir-1,via-ir-2,via-ir-3]
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Install Foundry
-        uses: onbjerg/foundry-toolchain@v1
+        uses: foundry-rs/foundry-toolchain@v1
         with:
           version: nightly
 
@@ -26,24 +26,35 @@ jobs:
       - name: Run Tests with ${{ matrix.profile }}
         run: >
           ( [ "${{ matrix.profile }}" = "via-ir-0" ] &&
-            forge test --use 0.8.4 --via-ir &&
-            forge test --use 0.8.5 --via-ir &&
-            forge test --use 0.8.6 --via-ir &&
-            forge test --use 0.8.7 --via-ir &&
-            forge test --use 0.8.8 --via-ir &&
-            forge test --use 0.8.9 --via-ir &&
-            forge test --use 0.8.10 --via-ir &&
-            forge test --use 0.8.11 --via-ir &&
-            forge test --use 0.8.12 --via-ir
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.4 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.5 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.6 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.7 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.8 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.9 --via-ir
           ) ||
           ( [ "${{ matrix.profile }}" = "via-ir-1" ] &&
             forge test --use 0.8.13 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.12 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.11 --via-ir &&
+            FOUNDRY_PROFILE=pre_global_structs forge test --use 0.8.10 --via-ir
+          ) ||
+          ( [ "${{ matrix.profile }}" = "via-ir-2" ] &&
             forge test --use 0.8.14 --via-ir &&
             forge test --use 0.8.15 --via-ir &&
             forge test --use 0.8.16 --via-ir &&
-            forge test --use 0.8.17 --via-ir &&
-            forge test --use 0.8.18 --via-ir &&
-            forge test --use 0.8.19 --via-ir &&
+            forge test --use 0.8.17 --via-ir
+          ) ||
+          ( [ "${{ matrix.profile }}" = "via-ir-3" ] &&
+            forge test --use 0.8.28 --via-ir &&
+            forge test --use 0.8.27 --via-ir &&
+            forge test --use 0.8.26 --via-ir &&
+            forge test --use 0.8.25 --via-ir &&
+            forge test --use 0.8.24 --via-ir &&
+            forge test --use 0.8.23 --via-ir &&
+            forge test --use 0.8.22 --via-ir &&
+            forge test --use 0.8.21 --via-ir &&
             forge test --use 0.8.20 --via-ir &&
-            forge test --use 0.8.21 --via-ir
-          ) 
+            forge test --use 0.8.19 --via-ir &&
+            forge test --use 0.8.18 --via-ir
+          )

.github/workflows/ci-invariant-intense.yml

@@ -0,0 +1,27 @@
+name: ci-invariant-intense
+
+on:
+  workflow_dispatch:
+
+jobs:
+  tests:
+    name: Forge Testing invariant intense
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        profile: [invariant-intense-0,invariant-intense-1,invariant-intense-2,invariant-intense-3]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Install Dependencies
+        run: forge install
+
+      - name: Run Tests with ${{ matrix.profile }}
+        run: FOUNDRY_INVARIANT_RUNS=500 FOUNDRY_INVARIANT_DEPTH=500 forge test

.github/workflows/ci-super-intense.yml

@@ -0,0 +1,33 @@
+name: ci-super-intense
+
+on:
+  workflow_dispatch:
+
+jobs:
+  tests:
+    name: Forge Testing super intense
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        profile: [super-intense-0,super-intense-1]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Install Dependencies
+        run: forge install
+
+      - name: Run Tests with ${{ matrix.profile }}
+        run: >
+          ( [ "${{ matrix.profile }}" = "super-intense-0" ] &&
+            forge test --fuzz-runs 20000
+          ) ||
+          ( [ "${{ matrix.profile }}" = "super-intense-1" ] &&
+            forge test --fuzz-runs 200000
+          )

.github/workflows/ci-wake.yml

@@ -0,0 +1,36 @@
+name: ci - Wake
+
+on:
+  workflow_dispatch:
+
+jobs:
+  tests:
+    name: Wake Testing
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        profile: [via-ir-off, via-ir-on]
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Setup Wake
+        uses: Ackee-Blockchain/[email protected]
+
+      - name: Install Dependencies
+        run: forge install
+
+      - name: Move Wake test files
+        run: mv ext/wake tests && mv tests/wake.toml .
+
+      - name: Generate pytypes with via-ir-on
+        if: ${{ matrix.profile }} == 'via-ir-on'
+        run: wake init pytypes --via-ir
+
+      - name: Generate pytypes with via-ir-off
+        if: ${{ matrix.profile }} == 'via-ir-off'
+        run: wake init pytypes --no-via-ir
+
+      - name: Run tests
+        run: wake test