refactor: soften solc version to ^0.8.10 (#64)

certora/harness/ArbitrumHarness.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {AddressAliasHelper} from '../../contracts/dependencies/arbitrum/AddressAliasHelper.sol';
 import {L2BridgeExecutorHarness} from './L2BridgeExecutorHarness.sol';

certora/harness/DummyERC20A.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: agpl-3.0
-pragma solidity ^0.8.0;
+pragma solidity ^0.8.10;
 import "./DummyERC20Impl.sol";
 
 contract DummyERC20A is DummyERC20Impl {}

certora/harness/DummyERC20B.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: agpl-3.0
-pragma solidity ^0.8.0;
+pragma solidity ^0.8.10;
 import "./DummyERC20Impl.sol";
 
 contract DummyERC20B is DummyERC20Impl {}

certora/harness/DummyERC20Impl.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: agpl-3.0
-pragma solidity ^0.8.0;
+pragma solidity ^0.8.10;
 
 // with mint
 contract DummyERC20Impl {

certora/harness/L2BridgeExecutorHarness.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {L2BridgeExecutor} from '../munged/bridges/L2BridgeExecutor.sol';
 

certora/harness/OptimismHarness.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {ICrossDomainMessenger} from '../munged/dependencies/optimism/interfaces/ICrossDomainMessenger.sol';
 import {L2BridgeExecutorHarness} from './L2BridgeExecutorHarness.sol';

certora/harness/PolygonHarness.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {PolygonBridgeExecutor} from '../munged/bridges/PolygonBridgeExecutor.sol';
 import {mockTargetPoly} from './mockTargetPoly.sol';

certora/harness/mockTarget.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: agpl-3.0
-pragma solidity ^0.8.0;
+pragma solidity ^0.8.10;
 import {OptimismHarness} from './OptimismHarness.sol';
 import {DummyERC20Impl} from './DummyERC20Impl.sol';
 

certora/harness/mockTargetPoly.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: agpl-3.0
-pragma solidity ^0.8.0;
+pragma solidity ^0.8.10;
 import {PolygonHarness} from './PolygonHarness.sol';
 import {DummyERC20Impl} from './DummyERC20Impl.sol';
 

certora/munged/bridges/ArbitrumBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {AddressAliasHelper} from '../dependencies/arbitrum/AddressAliasHelper.sol';
 import {L2BridgeExecutor} from './L2BridgeExecutor.sol';

certora/munged/bridges/BridgeExecutorBase.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {IExecutorBase} from '../interfaces/IExecutorBase.sol';
 

certora/munged/bridges/L2BridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {IL2BridgeExecutor} from '../interfaces/IL2BridgeExecutor.sol';
 import {BridgeExecutorBase} from './BridgeExecutorBase.sol';

certora/munged/bridges/OptimismBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {ICrossDomainMessenger} from '../dependencies/optimism/interfaces/ICrossDomainMessenger.sol';
 import {L2BridgeExecutor} from './L2BridgeExecutor.sol';

certora/munged/bridges/PolygonBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {IFxMessageProcessor} from '../dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol';
 import {BridgeExecutorBase} from './BridgeExecutorBase.sol';

certora/munged/dependencies/polygon/fxportal/FxChild.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.7.3;
+pragma solidity ^0.8.10;
 
 // IStateReceiver represents interface to receive state
 interface IStateReceiver {

certora/munged/dependencies/polygon/fxportal/FxRoot.sol

@@ -3,7 +3,7 @@
  */
 
 // SPDX-License-Identifier: MIT
-pragma solidity 0.7.3;
+pragma solidity ^0.8.10;
 
 interface IStateSender {
   function syncState(address receiver, bytes calldata data) external;

certora/munged/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 /**
  * @title IFxMessageProcessor

certora/munged/interfaces/IExecutorBase.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 /**
  * @title IExecutorBase

certora/munged/interfaces/IL2BridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 /**
  * @title IL2BridgeExecutorBase

contracts/bridges/ArbitrumBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {AddressAliasHelper} from '../dependencies/arbitrum/AddressAliasHelper.sol';
 import {L2BridgeExecutor} from './L2BridgeExecutor.sol';

contracts/bridges/BridgeExecutorBase.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {IExecutorBase} from '../interfaces/IExecutorBase.sol';
 

contracts/bridges/L2BridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {IL2BridgeExecutor} from '../interfaces/IL2BridgeExecutor.sol';
 import {BridgeExecutorBase} from './BridgeExecutorBase.sol';

contracts/bridges/OptimismBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {ICrossDomainMessenger} from '../dependencies/optimism/interfaces/ICrossDomainMessenger.sol';
 import {L2BridgeExecutor} from './L2BridgeExecutor.sol';

contracts/bridges/PolygonBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {IFxMessageProcessor} from '../dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol';
 import {BridgeExecutorBase} from './BridgeExecutorBase.sol';

contracts/dependencies/polygon/fxportal/FxChild.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.7.3;
+pragma solidity ^0.8.10;
 
 // IStateReceiver represents interface to receive state
 interface IStateReceiver {

contracts/dependencies/polygon/fxportal/FxRoot.sol

@@ -3,7 +3,7 @@
  */
 
 // SPDX-License-Identifier: MIT
-pragma solidity 0.7.3;
+pragma solidity ^0.8.10;
 
 interface IStateSender {
   function syncState(address receiver, bytes calldata data) external;

contracts/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 /**
  * @title IFxMessageProcessor

contracts/interfaces/IExecutorBase.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 /**
  * @title IExecutorBase

contracts/interfaces/IL2BridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 /**
  * @title IL2BridgeExecutorBase

contracts/mocks/ArbGreeter.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {AddressAliasHelper} from './../dependencies/arbitrum/AddressAliasHelper.sol';
 

contracts/mocks/Greeter.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 contract Greeter {
   event MessageUpdated(string newMessage);

contracts/mocks/GreeterPayload.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {Greeter} from './Greeter.sol';
 

contracts/mocks/MockInbox.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity >=0.7.0;
+pragma solidity ^0.8.10;
 
 import {IInbox} from '../dependencies/arbitrum/interfaces/IInbox.sol';
 import {AddressAliasHelper} from '../dependencies/arbitrum/AddressAliasHelper.sol';

contracts/mocks/MockOvmL1CrossDomainMessenger.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {ICrossDomainMessenger} from '../dependencies/optimism/interfaces/ICrossDomainMessenger.sol';
 import {MockOvmL2CrossDomainMessenger} from './MockOvmL2CrossDomainMessenger.sol';

contracts/mocks/MockOvmL2CrossDomainMessenger.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {ICrossDomainMessenger} from '../dependencies/optimism/interfaces/ICrossDomainMessenger.sol';
 import {MockOvmL1CrossDomainMessenger} from './MockOvmL1CrossDomainMessenger.sol';

contracts/mocks/PolygonMarketUpdate.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 contract PolygonMarketUpdate {
   event UpdateExecuted(uint256 counter, uint256 testInt, address testAddress, uint256 fee);

contracts/mocks/Selfdestructor.sol

@@ -1,5 +1,5 @@
 //SPDX-License-Identifier: Unlicense
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 contract Selfdestructor {
   function oops() external {

contracts/mocks/SimpleBridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {BridgeExecutorBase} from '../bridges/BridgeExecutorBase.sol';
 

contracts/mocks/SimpleL2BridgeExecutor.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: AGPL-3.0
-pragma solidity 0.8.10;
+pragma solidity ^0.8.10;
 
 import {L2BridgeExecutor} from '../bridges/L2BridgeExecutor.sol';