chore: bump libs and solc version (#50)

* chore: bump libs and solc version

* chore: fix certora

* chore: bump aave cli

Author: brotherlymite

.github/workflows/certora.yml

@@ -32,9 +32,9 @@ jobs:
 
       - name: Install solc
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.24/solc-static-linux
+          wget https://github.com/ethereum/solidity/releases/download/v0.8.27/solc-static-linux
           chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc8.24
+          sudo mv solc-static-linux /usr/local/bin/solc8.27
 
       - name: Verify rule ${{ matrix.rule }}
         run: |

certora/confs/rules.conf

@@ -23,7 +23,7 @@
    "rule_sanity": "basic",
    "prover_args": ["-depth 15","-mediumTimeout 1000"],
    "smt_timeout": "2000",
-   "solc": "solc8.24",
+   "solc": "solc8.27",
    "verify": "RiskSteward:certora/specs/rules.spec",
    "cache" :"none",
    "msg": "RISK-STEWARD::rules"

certora/confs/sanity.conf

@@ -17,7 +17,7 @@
     "optimistic_loop": true,
    "prover_args": ["-depth 15","-mediumTimeout 1000"],
     "smt_timeout": "2000",
-    "solc": "solc8.24",
+    "solc": "solc8.27",
     "verify": "RiskSteward:certora/specs/sanity.spec",
     "cache" :"none",
     "msg": "RISK-STEWARD::sanity"

foundry.toml

@@ -3,7 +3,7 @@ src = 'src'
 test = 'tests'
 script = 'scripts'
 out = 'out'
-solc = '0.8.24'
+solc = '0.8.27'
 optimizer = true
 optimizer_runs = 200
 libs = ['lib']