[L14] Solidity compiler version is not pinned and it is not the same for all contracts

.circleci/config.yml

@@ -823,7 +823,7 @@ jobs:
             sudo apt-get install -y software-properties-common
             sudo apt-get install python3-pip
             pip3 install certora-cli==0.1.1
-            wget https://github.com/ethereum/solidity/releases/download/v0.5.12/solc-static-linux
+            wget https://github.com/ethereum/solidity/releases/download/v0.5.13/solc-static-linux
             chmod +x solc-static-linux
             sudo mv solc-static-linux /usr/bin/solc
       - run:

packages/protocol/contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 contract Migrations {
   address public owner;

packages/protocol/contracts/common/Accounts.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";

packages/protocol/contracts/common/CalledByVm.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 contract CalledByVm {
   modifier onlyVm() {

packages/protocol/contracts/common/ExternalCall.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/utils/Address.sol";
 

packages/protocol/contracts/common/ExtractFunctionSignature.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 library ExtractFunctionSignature {
   /**

packages/protocol/contracts/common/FeeCurrencyWhitelist.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 

packages/protocol/contracts/common/FixidityLib.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity ^0.5.13;
 
 /**
  * @title FixidityLib

packages/protocol/contracts/common/Freezable.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "./UsingRegistry.sol";
 

packages/protocol/contracts/common/Freezer.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 

packages/protocol/contracts/common/GasPriceMinimum.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";

packages/protocol/contracts/common/GoldToken.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/token/ERC20/IERC20.sol";

packages/protocol/contracts/common/Initializable.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 contract Initializable {
   bool public initialized;

packages/protocol/contracts/common/MultiSig.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 /* solhint-disable no-inline-assembly, avoid-low-level-calls, func-name-mixedcase, func-order */
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";

packages/protocol/contracts/common/Proxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 /* solhint-disable no-inline-assembly, no-complex-fallback, avoid-low-level-calls */
 
 import "openzeppelin-solidity/contracts/utils/Address.sol";

packages/protocol/contracts/common/Registry.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";

packages/protocol/contracts/common/Signatures.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/cryptography/ECDSA.sol";
 

packages/protocol/contracts/common/TransferWhitelist.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";

packages/protocol/contracts/common/UsingPrecompiles.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

packages/protocol/contracts/common/UsingRegistry.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "openzeppelin-solidity/contracts/token/ERC20/IERC20.sol";

packages/protocol/contracts/common/interfaces/IAccounts.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 interface IAccounts {
   function isAccount(address) external view returns (bool);

packages/protocol/contracts/common/interfaces/ICeloToken.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 /**
  * @title This interface describes the non- ERC20 shared interface for all Celo Tokens, and

packages/protocol/contracts/common/interfaces/ICeloVersionedContract.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 interface ICeloVersionedContract {
   /**

packages/protocol/contracts/common/interfaces/IFeeCurrencyWhitelist.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 interface IFeeCurrencyWhitelist {
   function addToken(address) external;

packages/protocol/contracts/common/interfaces/IFreezer.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 interface IFreezer {
   function isFrozen(address) external view returns (bool);

packages/protocol/contracts/common/interfaces/IMetaTransactionWallet.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 interface IMetaTransactionWallet {
   function setEip712DomainSeparator() external;

packages/protocol/contracts/common/interfaces/IRegistry.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 interface IRegistry {
   function setAddressFor(string calldata, address) external;

packages/protocol/contracts/common/libraries/Heap.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "../FixidityLib.sol";

packages/protocol/contracts/common/libraries/ReentrancyGuard.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.2;
+pragma solidity ^0.5.13;
 
 /**
  * @title Helps contracts guard against reentrancy attacks.

packages/protocol/contracts/common/linkedlists/AddressLinkedList.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

packages/protocol/contracts/common/linkedlists/AddressSortedLinkedList.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/Math.sol";
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";

packages/protocol/contracts/common/linkedlists/AddressSortedLinkedListWithMedian.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

packages/protocol/contracts/common/linkedlists/IntegerSortedLinkedList.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

packages/protocol/contracts/common/linkedlists/LinkedList.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

packages/protocol/contracts/common/linkedlists/SortedLinkedList.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "./LinkedList.sol";

packages/protocol/contracts/common/linkedlists/SortedLinkedListWithMedian.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "./LinkedList.sol";

packages/protocol/contracts/common/proxies/AccountsProxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Proxy.sol";
 

packages/protocol/contracts/common/proxies/FeeCurrencyWhitelistProxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Proxy.sol";
 

packages/protocol/contracts/common/proxies/FreezerProxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Proxy.sol";
 

packages/protocol/contracts/common/proxies/GasPriceMinimumProxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Proxy.sol";
 

packages/protocol/contracts/common/proxies/GoldTokenProxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Proxy.sol";
 

packages/protocol/contracts/common/proxies/RegistryProxy.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Proxy.sol";
 

packages/protocol/contracts/common/test/AddressSortedLinkedListWithMedianTest.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../linkedlists/AddressSortedLinkedListWithMedian.sol";
 import "../linkedlists/SortedLinkedListWithMedian.sol";

packages/protocol/contracts/common/test/ExtractFunctionSignatureTest.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../ExtractFunctionSignature.sol";
 

packages/protocol/contracts/common/test/FixidityTest.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.8;
+pragma solidity ^0.5.13;
 
 import "../FixidityLib.sol";
 

packages/protocol/contracts/common/test/GetSetV0.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 contract GetSetV0 {
   uint256 public x;

packages/protocol/contracts/common/test/GetSetV1.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 contract GetSetV1 {
   uint256 public x;

packages/protocol/contracts/common/test/HasInitializer.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../Initializable.sol";
 

packages/protocol/contracts/common/test/HeapTest.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../libraries/Heap.sol";
 

packages/protocol/contracts/common/test/IntegerSortedLinkedListTest.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../linkedlists/IntegerSortedLinkedList.sol";
 

packages/protocol/contracts/common/test/LinkedListTest.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.8;
+pragma solidity ^0.5.13;
 
 import "../linkedlists/LinkedList.sol";
 

packages/protocol/contracts/common/test/MockGoldToken.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 // solhint-disable no-unused-vars
 
 /**

packages/protocol/contracts/common/test/MsgSenderCheck.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 contract MsgSenderCheck {
   function checkMsgSender(address addr) external view {

packages/protocol/contracts/governance/BlockchainParameters.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "../common/Initializable.sol";

packages/protocol/contracts/governance/DoubleSigningSlasher.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

packages/protocol/contracts/governance/DowntimeSlasher.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";

packages/protocol/contracts/governance/Election.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/Math.sol";
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";

packages/protocol/contracts/governance/EpochRewards.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";

packages/protocol/contracts/governance/Governance.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "openzeppelin-solidity/contracts/math/Math.sol";

packages/protocol/contracts/governance/GovernanceApproverMultiSig.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../common/MultiSig.sol";
 

packages/protocol/contracts/governance/GovernanceSlasher.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";

packages/protocol/contracts/governance/LockedGold.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/Math.sol";
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";

packages/protocol/contracts/governance/Proposals.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.8;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/utils/Address.sol";

packages/protocol/contracts/governance/ReleaseGold.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/token/ERC20/IERC20.sol";

packages/protocol/contracts/governance/ReleaseGoldMultiSig.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "../common/MultiSig.sol";
 

packages/protocol/contracts/governance/SlasherUtil.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.3;
+pragma solidity ^0.5.13;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";