add forge selectors

Author: laisolizq

.githooks/pre-commit

@@ -41,6 +41,11 @@ if npm run lint; then
     cp artifacts/contracts/v2/utils/ClaimCompressor.sol/ClaimCompressor.json compiled-contracts/
 
     git add compiled-contracts
+
+    forge build
+    
+    forge selectors ls > docs/foundry/selectors.txt
+
     exit 0
 else
     exit 1

contracts/PolygonZkEVMBridge.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./lib/DepositContract.sol";
 import "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";

contracts/PolygonZkEVMGlobalExitRoot.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./interfaces/IPolygonZkEVMGlobalExitRoot.sol";
 import "./lib/GlobalExitRootLib.sol";

contracts/PolygonZkEVMGlobalExitRootL2.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "./interfaces/IBasePolygonZkEVMGlobalExitRoot.sol";
 
 /**

contracts/PolygonZkEVMTimelock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "@openzeppelin/contracts/governance/TimelockController.sol";
 import "./PolygonZkEVM.sol";

contracts/deployment/PolygonZkEVMDeployer.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "@openzeppelin/contracts/access/Ownable.sol";
 import "@openzeppelin/contracts/utils/Create2.sol";

contracts/lib/GlobalExitRootLib.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 /**
  * @dev A library that provides the necessary calculations to calculate the global exit root

contracts/lib/TokenWrapped.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: GPL-3.0
 // Implementation of permit based on https://github.com/WETH10/WETH10/blob/main/contracts/WETH10.sol
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
 

contracts/mainnetUpgraded/PolygonZkEVMUpgraded.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../PolygonZkEVM.sol";
 

contracts/mocks/DaiMock.sol

@@ -3,7 +3,7 @@
  */
 
 // hevm: flattened sources of /nix/store/8xb41r4qd0cjb63wcrxf1qmfg88p0961-dss-6fd7de0/src/dai.sol
-pragma solidity <=0.5.12;
+pragma solidity ^0.8.20;
 
 // Copeid DAi for testing porpuses. The notes are removed from this contract as it does not work correctly woith the
 // coverage solidity compiler
@@ -80,7 +80,7 @@ contract DaiMock {
         uint256 wad
     ) public returns (bool) {
         require(balanceOf[src] >= wad, "Dai/insufficient-balance");
-        if (src != msg.sender && allowance[src][msg.sender] != uint256(-1)) {
+        if (src != msg.sender && allowance[src][msg.sender] != type(uint256).max) {
             require(
                 allowance[src][msg.sender] >= wad,
                 "Dai/insufficient-allowance"
@@ -101,7 +101,7 @@ contract DaiMock {
 
     function burn(address usr, uint256 wad) external {
         require(balanceOf[usr] >= wad, "Dai/insufficient-balance");
-        if (usr != msg.sender && allowance[usr][msg.sender] != uint256(-1)) {
+        if (usr != msg.sender && allowance[usr][msg.sender] != type(uint256).max) {
             require(
                 allowance[usr][msg.sender] >= wad,
                 "Dai/insufficient-allowance"
@@ -162,9 +162,9 @@ contract DaiMock {
 
         require(holder != address(0), "Dai/invalid-address-0");
         require(holder == ecrecover(digest, v, r, s), "Dai/invalid-permit");
-        require(expiry == 0 || now <= expiry, "Dai/permit-expired");
+        require(expiry == 0 || block.timestamp <= expiry, "Dai/permit-expired");
         require(nonce == nonces[holder]++, "Dai/invalid-nonce");
-        uint256 wad = allowed ? uint256(-1) : 0;
+        uint256 wad = allowed ? type(uint256).max : 0;
         allowance[holder][spender] = wad;
         emit Approval(holder, spender, wad);
     }

contracts/mocks/DepositContractMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../lib/DepositContract.sol";
 import "hardhat/console.sol";
 

contracts/mocks/ERC20PermitMock.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
 

contracts/mocks/PolygonZkEVMBridgeMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../PolygonZkEVMBridge.sol";
 import "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
 

contracts/mocks/PolygonZkEVMGlobalExitRootL2Mock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../PolygonZkEVMGlobalExitRootL2.sol";
 

contracts/mocks/PolygonZkEVMGlobalExitRootMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../PolygonZkEVMGlobalExitRoot.sol";
 

contracts/mocks/PolygonZkEVMMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../PolygonZkEVM.sol";
 

contracts/mocks/SequenceBatchesMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../lib/DepositContract.sol";
 import "hardhat/console.sol";
 

contracts/mocks/Uni.sol

@@ -6,7 +6,7 @@
  *Submitted for verification at Etherscan.io on 2020-09-15
  */
 
-pragma solidity ^0.5.16;
+pragma solidity ^0.8.20;
 pragma experimental ABIEncoderV2;
 
 // From https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/Math.sol
@@ -413,8 +413,8 @@ contract Uni {
         uint256 rawAmount
     ) external returns (bool) {
         uint96 amount;
-        if (rawAmount == uint256(-1)) {
-            amount = uint96(-1);
+        if (rawAmount == type(uint256).max) {
+            amount = type(uint96).max;
         } else {
             amount = safe96(rawAmount, "Uni::approve: amount exceeds 96 bits");
         }
@@ -445,8 +445,8 @@ contract Uni {
         bytes32 s
     ) external {
         uint96 amount;
-        if (rawAmount == uint256(-1)) {
-            amount = uint96(-1);
+        if (rawAmount == type(uint256).max) {
+            amount = type(uint96).max;
         } else {
             amount = safe96(rawAmount, "Uni::permit: amount exceeds 96 bits");
         }
@@ -475,7 +475,7 @@ contract Uni {
         address signatory = ecrecover(digest, v, r, s);
         require(signatory != address(0), "Uni::permit: invalid signature");
         require(signatory == owner, "Uni::permit: unauthorized");
-        require(now <= deadline, "Uni::permit: signature expired");
+        require(block.timestamp <= deadline, "Uni::permit: signature expired");
 
         allowances[owner][spender] = amount;
 
@@ -525,7 +525,7 @@ contract Uni {
             "Uni::approve: amount exceeds 96 bits"
         );
 
-        if (spender != src && spenderAllowance != uint96(-1)) {
+        if (spender != src && spenderAllowance != type(uint96).max) {
             uint96 newAllowance = sub96(
                 spenderAllowance,
                 amount,
@@ -588,7 +588,7 @@ contract Uni {
             nonce == nonces[signatory]++,
             "Uni::delegateBySig: invalid nonce"
         );
-        require(now <= expiry, "Uni::delegateBySig: signature expired");
+        require(block.timestamp <= expiry, "Uni::delegateBySig: signature expired");
         return _delegate(signatory, delegatee);
     }
 
@@ -781,7 +781,7 @@ contract Uni {
         return a - b;
     }
 
-    function getChainId() internal pure returns (uint256) {
+    function getChainId() internal view returns (uint256) {
         uint256 chainId;
         assembly {
             chainId := chainid()

contracts/mocks/VerifierRollupHelperMock.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../interfaces/IVerifierRollup.sol";
 

contracts/testnet/PolygonZkEVMTestnetClearStorage.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../PolygonZkEVM.sol";
 

contracts/testnet/PolygonZkEVMTestnetV2.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../PolygonZkEVM.sol";
 

contracts/v2/PolygonRollupManager.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./interfaces/IPolygonRollupManager.sol";
 import "./interfaces/IPolygonZkEVMGlobalExitRootV2.sol";

contracts/v2/PolygonZkEVMBridgeV2.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./lib/DepositContractV2.sol";
 import "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";

contracts/v2/PolygonZkEVMGlobalExitRootV2.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./interfaces/IPolygonZkEVMGlobalExitRootV2.sol";
 import "./lib/PolygonZkEVMGlobalExitRootBaseStorage.sol";

contracts/v2/consensus/validium/PolygonDataCommittee.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../../interfaces/IPolygonDataCommitteeErrors.sol";
 import "../../interfaces/IDataAvailabilityProtocol.sol";

contracts/v2/consensus/validium/PolygonValidiumEtrog.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../../lib/PolygonRollupBaseEtrog.sol";
 import "../../interfaces/IDataAvailabilityProtocol.sol";

contracts/v2/consensus/zkEVM/PolygonZkEVMEtrog.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../../lib/PolygonRollupBaseEtrog.sol";
 

contracts/v2/consensus/zkEVM/PolygonZkEVMExistentEtrog.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../../lib/PolygonRollupBaseEtrog.sol";
 

contracts/v2/mocks/BridgeReceiverMock.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: AGPL-3.0
 
 import "../PolygonZkEVMBridgeV2.sol";
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 /**
  * Contract for compressing and decompressing claim data

contracts/v2/mocks/PolygonRollupManagerEmptyMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../PolygonRollupManager.sol";
 import "../interfaces/IPolygonRollupBase.sol";
 import "../../lib/EmergencyManager.sol";

contracts/v2/mocks/PolygonRollupManagerMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../PolygonRollupManager.sol";
 
 /**

contracts/v2/mocks/PolygonRollupManagerMockInternalTest.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../PolygonRollupManager.sol";
 
 /**

contracts/v2/newDeployments/PolygonRollupManagerNotUpgraded.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 import "../PolygonRollupManager.sol";
 
 /**

contracts/v2/previousVersions/PolygonRollupManagerPrevious.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: AGPL-3.0
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "../interfaces/IPolygonRollupManager.sol";
 import "../interfaces/IPolygonZkEVMGlobalExitRootV2.sol";

contracts/v2/previousVersions/PolygonValidiumEtrogPrevious.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./PolygonRollupBaseEtrogPrevious.sol";
 import "../interfaces/IDataAvailabilityProtocol.sol";

contracts/v2/previousVersions/PolygonZkEVMEtrogPrevious.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 import "./PolygonRollupBaseEtrogPrevious.sol";
 

contracts/v2/utils/ClaimCompressor.sol

@@ -3,7 +3,7 @@
 import "../PolygonZkEVMBridgeV2.sol";
 import "hardhat/console.sol";
 
-pragma solidity 0.8.20;
+pragma solidity ^0.8.20;
 
 /**
  * Contract for compressing and decompressing claim data

foundry.toml

@@ -0,0 +1,9 @@
+[profile.default]
+src = 'contracts'
+out = 'ignore'
+libs = ['node_modules']
+solc_version = "0.8.22"
+optimizer = true
+optimizer_runs = 200
+
+# See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options