Permalink
Browse files

Audit: Loosen solc version for Oyente

  • Loading branch information...
sohkai committed Jan 21, 2018
1 parent 86a2553 commit 475b72f81c1a6fd136391ff1bf3a93228fb57d91
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "../kernel/Kernel.sol";
import "../lib/ens/AbstractENS.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "./AppStorage.sol";
import "../common/DelegateProxy.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "./AppProxy.sol";

@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;


contract DelegateProxy {
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "../lib/erc677/ERC677Token.sol";

@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "../lib/ens/AbstractENS.sol";
import "../lib/ens/PublicResolver.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;


import "../apm/APMRegistry.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "../kernel/Kernel.sol";
import "../kernel/KernelProxy.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "../lib/ens/ENS.sol";
import "../lib/ens/PublicResolver.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "./IKernel.sol";
import "./KernelStorage.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;

import "./KernelStorage.sol";
import "../common/DelegateProxy.sol";
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;


contract KernelStorage {
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;


contract ERC677Receiver {
@@ -1,4 +1,4 @@
pragma solidity 0.4.18;
pragma solidity ^0.4.18;


import "./ERC677Receiver.sol";

0 comments on commit 475b72f

Please sign in to comment.