solc8.26

safe-global · Sep 20, 2024 · 45a4f28 · 45a4f28
1 parent a267b37
commit 45a4f28
Show file tree

Hide file tree

Showing 11 changed files with 12 additions and 12 deletions.
diff --git a/.github/workflows/certora_passkey.yml b/.github/workflows/certora_passkey.yml
@@ -50,9 +50,9 @@ jobs:
 
       - name: Install solc
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.23/solc-static-linux
+          wget https://github.com/ethereum/solidity/releases/download/v0.8.26/solc-static-linux
           chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc8.23
+          sudo mv solc-static-linux /usr/local/bin/solc8.26
 
       - name: Install dependencies
         run: pnpm install

diff --git a/modules/passkey/certora/conf/GetConfigurationConf.conf b/modules/passkey/certora/conf/GetConfigurationConf.conf
@@ -20,6 +20,6 @@
 		" -split false"
 	],
 	"rule_sanity": "basic",
-	"solc": "solc8.23",
+	"solc": "solc8.26",
 	"verify": "GetConfigurationProxyHarness:certora/specs/GetConfigurationSpec.spec"
 }
diff --git a/modules/passkey/certora/conf/GetSigner.conf b/modules/passkey/certora/conf/GetSigner.conf
@@ -18,6 +18,6 @@
     ],
     "process": "emv",
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "GetSignerHarness:certora/specs/GetSigner.spec"
 }
diff --git a/modules/passkey/certora/conf/ProxySimulator.conf b/modules/passkey/certora/conf/ProxySimulator.conf
@@ -22,6 +22,6 @@
     ],
     "process": "emv",
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "ProxySimulator:certora/specs/ProxySimulator.spec"
 }
diff --git a/modules/passkey/certora/conf/SafeWebAuthnSignerFactory.conf b/modules/passkey/certora/conf/SafeWebAuthnSignerFactory.conf
@@ -25,6 +25,6 @@
     ],
     "process": "emv",
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "FactoryHarnessForSignerConsistency:certora/specs/SafeWebAuthnSignerFactoryWithMunge.spec"
 }
diff --git a/modules/passkey/certora/conf/SafeWebAuthnSignerProxy.conf b/modules/passkey/certora/conf/SafeWebAuthnSignerProxy.conf
@@ -18,6 +18,6 @@
     ],
     "process": "emv",
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "SafeWebAuthnSignerProxy:certora/specs/SafeWebAuthnSignerProxy.spec"
 }
diff --git a/modules/passkey/certora/conf/SafeWebAuthnSignerSingleton.conf b/modules/passkey/certora/conf/SafeWebAuthnSignerSingleton.conf
@@ -18,6 +18,6 @@
     ],
     "process": "emv",
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "SafeWebAuthnSignerSingleton:certora/specs/SafeWebAuthnSignerSingleton.spec"
 }
diff --git a/modules/passkey/certora/conf/SignerCreationCantOverride.conf b/modules/passkey/certora/conf/SignerCreationCantOverride.conf
@@ -26,6 +26,6 @@
         "SignerCreationCantOverride"
     ],
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "SafeWebAuthnSignerFactoryHarness:certora/specs/SafeWebAuthnSignerFactory.spec"
 }
diff --git a/modules/passkey/certora/conf/SingletonIsValidSignatureRevertingConditions.conf b/modules/passkey/certora/conf/SingletonIsValidSignatureRevertingConditions.conf
@@ -18,6 +18,6 @@
         "isValidSignatureRevertingConditions"
     ],
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "SafeWebAuthnSignerSingleton:certora/specs/SafeWebAuthnSignerSingleton.spec"
 }
diff --git a/modules/passkey/certora/conf/ValidSignatureForSignerIntegrity.conf b/modules/passkey/certora/conf/ValidSignatureForSignerIntegrity.conf
@@ -21,6 +21,6 @@
         "isValidSignatureForSignerIntegrity"
     ],
     "rule_sanity": "basic",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "SafeWebAuthnSignerFactoryHarness:certora/specs/SafeWebAuthnSignerFactory.spec"
 }
diff --git a/modules/passkey/certora/conf/VerifyEQtoIsValidSignatureForSigner.conf b/modules/passkey/certora/conf/VerifyEQtoIsValidSignatureForSigner.conf
@@ -28,6 +28,6 @@
     ],
     "rule_sanity": "basic",
     "smt_timeout": "600",
-    "solc": "solc8.23",
+    "solc": "solc8.26",
     "verify": "SafeWebAuthnSignerFactoryHarness:certora/specs/SafeWebAuthnSignerFactoryWithMunge.spec"
 }