chore: upgrade to solidity 0.5.12

omgnetwork · Oct 2, 2019 · c0733ff · c0733ff
1 parent b1161ef
commit c0733ff
Show file tree

Hide file tree

Showing 101 changed files with 101 additions and 101 deletions.
diff --git a/plasma_framework/contracts/mocks/Imports.sol b/plasma_framework/contracts/mocks/Imports.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 // Import contracts from third party Solidity libraries to make them available in tests.
 

diff --git a/plasma_framework/contracts/mocks/exits/ExpectedOutputGuardHandler.sol b/plasma_framework/contracts/mocks/exits/ExpectedOutputGuardHandler.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/exits/interfaces/IOutputGuardHandler.sol";

diff --git a/plasma_framework/contracts/mocks/exits/SpendingConditionMock.sol b/plasma_framework/contracts/mocks/exits/SpendingConditionMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/exits/interfaces/ISpendingCondition.sol";

diff --git a/plasma_framework/contracts/mocks/exits/SpyPlasmaFrameworkForExitGame.sol b/plasma_framework/contracts/mocks/exits/SpyPlasmaFrameworkForExitGame.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/framework/PlasmaFramework.sol";

diff --git a/plasma_framework/contracts/mocks/exits/StateTransitionVerifierMock.sol b/plasma_framework/contracts/mocks/exits/StateTransitionVerifierMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/exits/interfaces/IStateTransitionVerifier.sol";

diff --git a/plasma_framework/contracts/mocks/exits/dummyVaults/SpyErc20VaultForExitGame.sol b/plasma_framework/contracts/mocks/exits/dummyVaults/SpyErc20VaultForExitGame.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/vaults/Erc20Vault.sol";
 import "../../../src/framework/PlasmaFramework.sol";

diff --git a/plasma_framework/contracts/mocks/exits/dummyVaults/SpyEthVaultForExitGame.sol b/plasma_framework/contracts/mocks/exits/dummyVaults/SpyEthVaultForExitGame.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/vaults/EthVault.sol";
 import "../../../src/framework/PlasmaFramework.sol";

diff --git a/plasma_framework/contracts/mocks/exits/payment/routers/PaymentInFlightExitRouterMock.sol b/plasma_framework/contracts/mocks/exits/payment/routers/PaymentInFlightExitRouterMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../../../src/exits/payment/PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/mocks/exits/payment/routers/PaymentStandardExitRouterMock.sol b/plasma_framework/contracts/mocks/exits/payment/routers/PaymentStandardExitRouterMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../../../src/exits/payment/routers/PaymentStandardExitRouter.sol";

diff --git a/plasma_framework/contracts/mocks/exits/utils/ExitIdWrapper.sol b/plasma_framework/contracts/mocks/exits/utils/ExitIdWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/utils/UtxoPosLib.sol";
 import "../../../src/exits/utils/ExitId.sol";

diff --git a/plasma_framework/contracts/mocks/exits/utils/ExitableTimestampWrapper.sol b/plasma_framework/contracts/mocks/exits/utils/ExitableTimestampWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/exits/utils/ExitableTimestamp.sol";
 

diff --git a/plasma_framework/contracts/mocks/exits/utils/OutputGuardWrapper.sol b/plasma_framework/contracts/mocks/exits/utils/OutputGuardWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/exits/utils/OutputGuard.sol";
 

diff --git a/plasma_framework/contracts/mocks/exits/utils/OutputIdWrapper.sol b/plasma_framework/contracts/mocks/exits/utils/OutputIdWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/exits/utils/OutputId.sol";
 

diff --git a/plasma_framework/contracts/mocks/framework/DummyExitGame.sol b/plasma_framework/contracts/mocks/framework/DummyExitGame.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "./registries/ExitGameRegistryMock.sol";

diff --git a/plasma_framework/contracts/mocks/framework/DummyVault.sol b/plasma_framework/contracts/mocks/framework/DummyVault.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "./registries/VaultRegistryMock.sol";
 import "../../src/framework/BlockController.sol";

diff --git a/plasma_framework/contracts/mocks/framework/ProtocolWrapper.sol b/plasma_framework/contracts/mocks/framework/ProtocolWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/framework/Protocol.sol";
 

diff --git a/plasma_framework/contracts/mocks/framework/ReentracyExitGame.sol b/plasma_framework/contracts/mocks/framework/ReentracyExitGame.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "./registries/ExitGameRegistryMock.sol";

diff --git a/plasma_framework/contracts/mocks/framework/registries/ExitGameRegistryMock.sol b/plasma_framework/contracts/mocks/framework/registries/ExitGameRegistryMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/framework/registries/ExitGameRegistry.sol";
 

diff --git a/plasma_framework/contracts/mocks/framework/registries/VaultRegistryMock.sol b/plasma_framework/contracts/mocks/framework/registries/VaultRegistryMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/framework/registries/VaultRegistry.sol";
 

diff --git a/plasma_framework/contracts/mocks/framework/utils/ExitPriorityWrapper.sol b/plasma_framework/contracts/mocks/framework/utils/ExitPriorityWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/framework/utils/ExitPriority.sol";
 import "../../../src/utils/TxPosLib.sol";

diff --git a/plasma_framework/contracts/mocks/framework/utils/OperatedMock.sol b/plasma_framework/contracts/mocks/framework/utils/OperatedMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/framework/utils/Operated.sol";
 

diff --git a/plasma_framework/contracts/mocks/transactions/PaymentTransactionModelMock.sol b/plasma_framework/contracts/mocks/transactions/PaymentTransactionModelMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/transactions/PaymentTransactionModel.sol";

diff --git a/plasma_framework/contracts/mocks/transactions/WireTransactionWrapper.sol b/plasma_framework/contracts/mocks/transactions/WireTransactionWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/transactions/WireTransaction.sol";

diff --git a/plasma_framework/contracts/mocks/transactions/eip712Libs/PaymentEip712LibMock.sol b/plasma_framework/contracts/mocks/transactions/eip712Libs/PaymentEip712LibMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../../src/transactions/eip712Libs/PaymentEip712Lib.sol";
 import "../../../src/transactions/PaymentTransactionModel.sol";

diff --git a/plasma_framework/contracts/mocks/transactions/outputs/PaymentOutputModelMock.sol b/plasma_framework/contracts/mocks/transactions/outputs/PaymentOutputModelMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../../src/transactions/outputs/PaymentOutputModel.sol";

diff --git a/plasma_framework/contracts/mocks/utils/AddressPayableWrapper.sol b/plasma_framework/contracts/mocks/utils/AddressPayableWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/utils/AddressPayable.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/BitsWrapper.sol b/plasma_framework/contracts/mocks/utils/BitsWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/utils/Bits.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/BondSizeMock.sol b/plasma_framework/contracts/mocks/utils/BondSizeMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/exits/utils/BondSize.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/IsDepositWrapper.sol b/plasma_framework/contracts/mocks/utils/IsDepositWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/utils/IsDeposit.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/MerkleWrapper.sol b/plasma_framework/contracts/mocks/utils/MerkleWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/utils/Merkle.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/OnlyWithValueMock.sol b/plasma_framework/contracts/mocks/utils/OnlyWithValueMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/utils/OnlyWithValue.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/QuarantineMock.sol b/plasma_framework/contracts/mocks/utils/QuarantineMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/framework/utils/Quarantine.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/RLPMock.sol b/plasma_framework/contracts/mocks/utils/RLPMock.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../src/utils/RLP.sol";
 

diff --git a/plasma_framework/contracts/mocks/utils/TxPosLibWrapper.sol b/plasma_framework/contracts/mocks/utils/TxPosLibWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/utils/TxPosLib.sol";

diff --git a/plasma_framework/contracts/mocks/utils/UtxoPosLibWrapper.sol b/plasma_framework/contracts/mocks/utils/UtxoPosLibWrapper.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../src/utils/TxPosLib.sol";

diff --git a/plasma_framework/contracts/mocks/vaults/NonCompliantERC20.sol b/plasma_framework/contracts/mocks/vaults/NonCompliantERC20.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "openzeppelin-solidity/contracts/math/SafeMath.sol";
 

diff --git a/plasma_framework/contracts/src/exits/interfaces/IOutputGuardHandler.sol b/plasma_framework/contracts/src/exits/interfaces/IOutputGuardHandler.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../models/OutputGuardModel.sol";

diff --git a/plasma_framework/contracts/src/exits/interfaces/ISpendingCondition.sol b/plasma_framework/contracts/src/exits/interfaces/ISpendingCondition.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 /**
  * @notice interface of the spending condition.

diff --git a/plasma_framework/contracts/src/exits/interfaces/IStateTransitionVerifier.sol b/plasma_framework/contracts/src/exits/interfaces/IStateTransitionVerifier.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 interface IStateTransitionVerifier {

diff --git a/plasma_framework/contracts/src/exits/models/OutputGuardModel.sol b/plasma_framework/contracts/src/exits/models/OutputGuardModel.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 library OutputGuardModel {

diff --git a/plasma_framework/contracts/src/exits/payment/PaymentExitDataModel.sol b/plasma_framework/contracts/src/exits/payment/PaymentExitDataModel.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 /**
  * @notice Model library for PaymentExit

diff --git a/plasma_framework/contracts/src/exits/payment/PaymentExitGame.sol b/plasma_framework/contracts/src/exits/payment/PaymentExitGame.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "./routers/PaymentStandardExitRouter.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/PaymentInFlightExitModelUtils.sol b/plasma_framework/contracts/src/exits/payment/PaymentInFlightExitModelUtils.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../utils/Bits.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/PaymentTransactionStateTransitionVerifier.sol b/plasma_framework/contracts/src/exits/payment/PaymentTransactionStateTransitionVerifier.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../interfaces/IStateTransitionVerifier.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeIFEInputSpent.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeIFEInputSpent.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeIFENotCanonical.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeIFENotCanonical.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeIFEOutputSpent.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeIFEOutputSpent.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeStandardExit.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentChallengeStandardExit.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentPiggybackInFlightExit.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentPiggybackInFlightExit.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentProcessInFlightExit.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentProcessInFlightExit.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentProcessStandardExit.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentProcessStandardExit.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentStartInFlightExit.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentStartInFlightExit.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/controllers/PaymentStartStandardExit.sol b/plasma_framework/contracts/src/exits/payment/controllers/PaymentStartStandardExit.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../PaymentExitDataModel.sol";

diff --git a/...a_framework/contracts/src/exits/payment/outputGuardHandlers/PaymentOutputGuardHandler.sol b/...a_framework/contracts/src/exits/payment/outputGuardHandlers/PaymentOutputGuardHandler.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "../../interfaces/IOutputGuardHandler.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/routers/PaymentInFlightExitRouter.sol b/plasma_framework/contracts/src/exits/payment/routers/PaymentInFlightExitRouter.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "./PaymentInFlightExitRouterArgs.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/routers/PaymentInFlightExitRouterArgs.sol b/plasma_framework/contracts/src/exits/payment/routers/PaymentInFlightExitRouterArgs.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 library PaymentInFlightExitRouterArgs {
     /**

diff --git a/plasma_framework/contracts/src/exits/payment/routers/PaymentStandardExitRouter.sol b/plasma_framework/contracts/src/exits/payment/routers/PaymentStandardExitRouter.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 pragma experimental ABIEncoderV2;
 
 import "./PaymentStandardExitRouterArgs.sol";

diff --git a/plasma_framework/contracts/src/exits/payment/routers/PaymentStandardExitRouterArgs.sol b/plasma_framework/contracts/src/exits/payment/routers/PaymentStandardExitRouterArgs.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 library PaymentStandardExitRouterArgs {
     /**

diff --git a/...work/contracts/src/exits/payment/spendingConditions/PaymentOutputToPaymentTxCondition.sol b/...work/contracts/src/exits/payment/spendingConditions/PaymentOutputToPaymentTxCondition.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "openzeppelin-solidity/contracts/cryptography/ECDSA.sol";
 

diff --git a/plasma_framework/contracts/src/exits/registries/OutputGuardHandlerRegistry.sol b/plasma_framework/contracts/src/exits/registries/OutputGuardHandlerRegistry.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "../interfaces/IOutputGuardHandler.sol";

diff --git a/plasma_framework/contracts/src/exits/registries/SpendingConditionRegistry.sol b/plasma_framework/contracts/src/exits/registries/SpendingConditionRegistry.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "openzeppelin-solidity/contracts/ownership/Ownable.sol";
 import "../interfaces/ISpendingCondition.sol";

diff --git a/plasma_framework/contracts/src/exits/utils/BondSize.sol b/plasma_framework/contracts/src/exits/utils/BondSize.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 /**
  * @notice Stores an updateable bond size.

diff --git a/plasma_framework/contracts/src/exits/utils/ExitId.sol b/plasma_framework/contracts/src/exits/utils/ExitId.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "../../utils/Bits.sol";
 import "../../utils/UtxoPosLib.sol";

diff --git a/plasma_framework/contracts/src/exits/utils/ExitableTimestamp.sol b/plasma_framework/contracts/src/exits/utils/ExitableTimestamp.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 import "openzeppelin-solidity/contracts/math/Math.sol";
 

diff --git a/plasma_framework/contracts/src/exits/utils/OutputGuard.sol b/plasma_framework/contracts/src/exits/utils/OutputGuard.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 /**
  * @notice Utils library that builds the output guard

diff --git a/plasma_framework/contracts/src/exits/utils/OutputId.sol b/plasma_framework/contracts/src/exits/utils/OutputId.sol
@@ -1,4 +1,4 @@
-pragma solidity 0.5.11;
+pragma solidity 0.5.12;
 
 library OutputId {
     /**