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

* refactor: soften solc version to * fix: revert changes * fix: revert changes here as well Co-authored-by: Lukas <[email protected]>
aave · Oct 11, 2022 · 46522cd · 46522cd
1 parent 5640af3
commit 46522cd
Show file tree

Hide file tree

Showing 39 changed files with 39 additions and 39 deletions.
diff --git 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
@@ -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 {}
diff --git 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 {}
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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';