diff --git a/certora/harness/ArbitrumHarness.sol b/certora/harness/ArbitrumHarness.sol index 9f80c24..9f779a5 100644 --- a/certora/harness/ArbitrumHarness.sol +++ b/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'; diff --git a/certora/harness/DummyERC20A.sol b/certora/harness/DummyERC20A.sol index 188b926..188069c 100644 --- a/certora/harness/DummyERC20A.sol +++ b/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 {} \ No newline at end of file diff --git a/certora/harness/DummyERC20B.sol b/certora/harness/DummyERC20B.sol index 0f97f1e..b37b6b4 100644 --- a/certora/harness/DummyERC20B.sol +++ b/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 {} \ No newline at end of file diff --git a/certora/harness/DummyERC20Impl.sol b/certora/harness/DummyERC20Impl.sol index 42e7f23..a482255 100644 --- a/certora/harness/DummyERC20Impl.sol +++ b/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 { diff --git a/certora/harness/L2BridgeExecutorHarness.sol b/certora/harness/L2BridgeExecutorHarness.sol index efca3b6..1275c8c 100644 --- a/certora/harness/L2BridgeExecutorHarness.sol +++ b/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'; diff --git a/certora/harness/OptimismHarness.sol b/certora/harness/OptimismHarness.sol index 9a772d4..b82eae9 100644 --- a/certora/harness/OptimismHarness.sol +++ b/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'; diff --git a/certora/harness/PolygonHarness.sol b/certora/harness/PolygonHarness.sol index 84e333d..b176f89 100644 --- a/certora/harness/PolygonHarness.sol +++ b/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'; diff --git a/certora/harness/mockTarget.sol b/certora/harness/mockTarget.sol index 3ae848d..8d7489f 100644 --- a/certora/harness/mockTarget.sol +++ b/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'; diff --git a/certora/harness/mockTargetPoly.sol b/certora/harness/mockTargetPoly.sol index bf8c35e..8d86285 100644 --- a/certora/harness/mockTargetPoly.sol +++ b/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'; diff --git a/certora/munged/bridges/ArbitrumBridgeExecutor.sol b/certora/munged/bridges/ArbitrumBridgeExecutor.sol index 09e54ca..3272473 100644 --- a/certora/munged/bridges/ArbitrumBridgeExecutor.sol +++ b/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'; diff --git a/certora/munged/bridges/BridgeExecutorBase.sol b/certora/munged/bridges/BridgeExecutorBase.sol index 64d9c92..54f9d00 100644 --- a/certora/munged/bridges/BridgeExecutorBase.sol +++ b/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'; diff --git a/certora/munged/bridges/L2BridgeExecutor.sol b/certora/munged/bridges/L2BridgeExecutor.sol index 3dd816e..2ed020a 100644 --- a/certora/munged/bridges/L2BridgeExecutor.sol +++ b/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'; diff --git a/certora/munged/bridges/OptimismBridgeExecutor.sol b/certora/munged/bridges/OptimismBridgeExecutor.sol index 3f61173..598c1b6 100644 --- a/certora/munged/bridges/OptimismBridgeExecutor.sol +++ b/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'; diff --git a/certora/munged/bridges/PolygonBridgeExecutor.sol b/certora/munged/bridges/PolygonBridgeExecutor.sol index 1646296..aab0640 100644 --- a/certora/munged/bridges/PolygonBridgeExecutor.sol +++ b/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'; diff --git a/certora/munged/dependencies/polygon/fxportal/FxChild.sol b/certora/munged/dependencies/polygon/fxportal/FxChild.sol index 52ba147..c2a0118 100644 --- a/certora/munged/dependencies/polygon/fxportal/FxChild.sol +++ b/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 { diff --git a/certora/munged/dependencies/polygon/fxportal/FxRoot.sol b/certora/munged/dependencies/polygon/fxportal/FxRoot.sol index 3c9749d..1f2fdee 100644 --- a/certora/munged/dependencies/polygon/fxportal/FxRoot.sol +++ b/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; diff --git a/certora/munged/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol b/certora/munged/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol index cf2556a..81fe1bf 100644 --- a/certora/munged/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol +++ b/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 diff --git a/certora/munged/interfaces/IExecutorBase.sol b/certora/munged/interfaces/IExecutorBase.sol index 33f6714..440c073 100644 --- a/certora/munged/interfaces/IExecutorBase.sol +++ b/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 diff --git a/certora/munged/interfaces/IL2BridgeExecutor.sol b/certora/munged/interfaces/IL2BridgeExecutor.sol index 1fb0be6..ba39e57 100644 --- a/certora/munged/interfaces/IL2BridgeExecutor.sol +++ b/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 diff --git a/contracts/bridges/ArbitrumBridgeExecutor.sol b/contracts/bridges/ArbitrumBridgeExecutor.sol index 09e54ca..3272473 100644 --- a/contracts/bridges/ArbitrumBridgeExecutor.sol +++ b/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'; diff --git a/contracts/bridges/BridgeExecutorBase.sol b/contracts/bridges/BridgeExecutorBase.sol index 4bb4ba5..e6095a1 100644 --- a/contracts/bridges/BridgeExecutorBase.sol +++ b/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'; diff --git a/contracts/bridges/L2BridgeExecutor.sol b/contracts/bridges/L2BridgeExecutor.sol index 0b587c4..d2b4969 100644 --- a/contracts/bridges/L2BridgeExecutor.sol +++ b/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'; diff --git a/contracts/bridges/OptimismBridgeExecutor.sol b/contracts/bridges/OptimismBridgeExecutor.sol index 3f61173..598c1b6 100644 --- a/contracts/bridges/OptimismBridgeExecutor.sol +++ b/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'; diff --git a/contracts/bridges/PolygonBridgeExecutor.sol b/contracts/bridges/PolygonBridgeExecutor.sol index 644f1f6..2951535 100644 --- a/contracts/bridges/PolygonBridgeExecutor.sol +++ b/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'; diff --git a/contracts/dependencies/polygon/fxportal/FxChild.sol b/contracts/dependencies/polygon/fxportal/FxChild.sol index 52ba147..c2a0118 100644 --- a/contracts/dependencies/polygon/fxportal/FxChild.sol +++ b/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 { diff --git a/contracts/dependencies/polygon/fxportal/FxRoot.sol b/contracts/dependencies/polygon/fxportal/FxRoot.sol index 3c9749d..1f2fdee 100644 --- a/contracts/dependencies/polygon/fxportal/FxRoot.sol +++ b/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; diff --git a/contracts/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol b/contracts/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol index cf2556a..81fe1bf 100644 --- a/contracts/dependencies/polygon/fxportal/interfaces/IFxMessageProcessor.sol +++ b/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 diff --git a/contracts/interfaces/IExecutorBase.sol b/contracts/interfaces/IExecutorBase.sol index 33f6714..440c073 100644 --- a/contracts/interfaces/IExecutorBase.sol +++ b/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 diff --git a/contracts/interfaces/IL2BridgeExecutor.sol b/contracts/interfaces/IL2BridgeExecutor.sol index 1fb0be6..ba39e57 100644 --- a/contracts/interfaces/IL2BridgeExecutor.sol +++ b/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 diff --git a/contracts/mocks/ArbGreeter.sol b/contracts/mocks/ArbGreeter.sol index 441a7ce..1a8600e 100644 --- a/contracts/mocks/ArbGreeter.sol +++ b/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'; diff --git a/contracts/mocks/Greeter.sol b/contracts/mocks/Greeter.sol index 426b67f..25e9843 100644 --- a/contracts/mocks/Greeter.sol +++ b/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); diff --git a/contracts/mocks/GreeterPayload.sol b/contracts/mocks/GreeterPayload.sol index 52b5870..af50fdb 100644 --- a/contracts/mocks/GreeterPayload.sol +++ b/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'; diff --git a/contracts/mocks/MockInbox.sol b/contracts/mocks/MockInbox.sol index 522053d..bb6c759 100644 --- a/contracts/mocks/MockInbox.sol +++ b/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'; diff --git a/contracts/mocks/MockOvmL1CrossDomainMessenger.sol b/contracts/mocks/MockOvmL1CrossDomainMessenger.sol index 81954f5..a1745a9 100644 --- a/contracts/mocks/MockOvmL1CrossDomainMessenger.sol +++ b/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'; diff --git a/contracts/mocks/MockOvmL2CrossDomainMessenger.sol b/contracts/mocks/MockOvmL2CrossDomainMessenger.sol index 0898138..1d03f02 100644 --- a/contracts/mocks/MockOvmL2CrossDomainMessenger.sol +++ b/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'; diff --git a/contracts/mocks/PolygonMarketUpdate.sol b/contracts/mocks/PolygonMarketUpdate.sol index 3a8f3e2..5f9434e 100644 --- a/contracts/mocks/PolygonMarketUpdate.sol +++ b/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); diff --git a/contracts/mocks/Selfdestructor.sol b/contracts/mocks/Selfdestructor.sol index d84adc9..c7ed94d 100644 --- a/contracts/mocks/Selfdestructor.sol +++ b/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 { diff --git a/contracts/mocks/SimpleBridgeExecutor.sol b/contracts/mocks/SimpleBridgeExecutor.sol index 69a7a10..a0345e8 100644 --- a/contracts/mocks/SimpleBridgeExecutor.sol +++ b/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'; diff --git a/contracts/mocks/SimpleL2BridgeExecutor.sol b/contracts/mocks/SimpleL2BridgeExecutor.sol index a2cc432..8e9477a 100644 --- a/contracts/mocks/SimpleL2BridgeExecutor.sol +++ b/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';