License

solidity-verifier/README.md

@@ -80,4 +80,4 @@ forge build
 forge test
 ```
 
-Herodotus Dev - 2023
+Herodotus Dev Ltd - 2023

solidity-verifier/package.json

@@ -2,7 +2,7 @@
     "name": "herodotus-solidity-sharp-verifier",
     "version": "1.0.0",
     "description": "Solidity SHARP verifier",
-    "author": "Herodotus Dev",
+    "author": "Herodotus Dev Ltd",
     "files": [
         "src/**/*.sol"
     ],

solidity-verifier/script/AggregatorsFactory.s.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 import "forge-std/Script.sol";

solidity-verifier/src/AggregatorsFactory.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 import {Clones} from "openzeppelin-contracts/contracts/proxy/Clones.sol";
@@ -7,7 +7,7 @@ import {AccessControl} from "openzeppelin-contracts/contracts/access/AccessContr
 import {SharpFactsAggregator} from "../src/SharpFactsAggregator.sol";
 
 /// @title AggregatorsFactory
-/// @author Herodotus Dev
+/// @author Herodotus Dev Ltd
 /// @notice A factory contract for creating new SharpFactsAggregator contracts
 ///         and upgrading new one's starter template
 contract AggregatorsFactory is AccessControl {

solidity-verifier/src/SharpFactsAggregator.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 import {Initializable} from "openzeppelin-contracts-upgradeable/contracts/proxy/utils/Initializable.sol";
@@ -9,7 +9,7 @@ import {Uint256Splitter} from "./lib/Uint256Splitter.sol";
 
 /// @title SharpFactsAggregator
 /// @dev Aggregator contract to handle SHARP job outputs and update the global aggregator state.
-/// @author Herodotus Dev
+/// @author Herodotus Dev Ltd
 /// ------------------
 /// Example:
 /// Blocks inside brackets are the ones processed during their SHARP job execution

solidity-verifier/src/interfaces/IFactsRegistry.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 interface IFactsRegistry {

solidity-verifier/src/lib/Uint256Splitter.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 library Uint256Splitter {

solidity-verifier/test/AggregatorsFactory.t.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 import "forge-std/Test.sol";

solidity-verifier/test/SharpFactsAggregator.t.sol

@@ -1,4 +1,4 @@
-// SPDX-License-Identifier: MIT
+// SPDX-License-Identifier: GPL-3.0
 pragma solidity ^0.8.0;
 
 import "forge-std/Test.sol";