Merge pull request #103 from makerdao/floating_pragma

Update pragma to floating 0.5.12

src/cat.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/dai.sol

@@ -13,7 +13,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/end.sol

@@ -16,7 +16,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/flap.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/flip.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/flop.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/join.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/jug.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/lib.sol

@@ -11,7 +11,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 contract LibNote {
     event LogNote(

src/pot.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/spot.sol

@@ -13,7 +13,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";
 

src/test/dai.t.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 

src/test/end.t.sol

@@ -16,7 +16,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 import "ds-token/token.sol";

src/test/flap.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 import {DSToken} from "ds-token/token.sol";

src/test/flip.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 import {DSToken} from "ds-token/token.sol";

src/test/flop.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import {DSTest}  from "ds-test/test.sol";
 import {DSToken} from "ds-token/token.sol";

src/test/fork.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 import "ds-token/token.sol";

src/test/jug.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 

src/test/pot.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 import {Vat} from '../vat.sol';

src/test/vat.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 import "ds-token/token.sol";

src/test/vow.t.sol

@@ -1,4 +1,4 @@
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "ds-test/test.sol";
 

src/vat.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 contract Vat {
     // --- Auth ---

src/vow.sol

@@ -15,7 +15,7 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-pragma solidity 0.5.12;
+pragma solidity ^0.5.12;
 
 import "./lib.sol";