diff --git a/solidity-verifier/README.md b/solidity-verifier/README.md index b48d968..6ec3582 100644 --- a/solidity-verifier/README.md +++ b/solidity-verifier/README.md @@ -80,4 +80,4 @@ forge build forge test ``` -Herodotus Dev - 2023 +Herodotus Dev Ltd - 2023 diff --git a/solidity-verifier/package.json b/solidity-verifier/package.json index 15d8071..5c19989 100644 --- a/solidity-verifier/package.json +++ b/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" ], diff --git a/solidity-verifier/script/AggregatorsFactory.s.sol b/solidity-verifier/script/AggregatorsFactory.s.sol index a68f342..0c59ca7 100644 --- a/solidity-verifier/script/AggregatorsFactory.s.sol +++ b/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"; diff --git a/solidity-verifier/src/AggregatorsFactory.sol b/solidity-verifier/src/AggregatorsFactory.sol index 11ece1c..8814491 100644 --- a/solidity-verifier/src/AggregatorsFactory.sol +++ b/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 { diff --git a/solidity-verifier/src/SharpFactsAggregator.sol b/solidity-verifier/src/SharpFactsAggregator.sol index 2b28656..7671198 100644 --- a/solidity-verifier/src/SharpFactsAggregator.sol +++ b/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 diff --git a/solidity-verifier/src/interfaces/IFactsRegistry.sol b/solidity-verifier/src/interfaces/IFactsRegistry.sol index 89078c7..6242413 100644 --- a/solidity-verifier/src/interfaces/IFactsRegistry.sol +++ b/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 { diff --git a/solidity-verifier/src/lib/Uint256Splitter.sol b/solidity-verifier/src/lib/Uint256Splitter.sol index 29ee7bd..c68730f 100644 --- a/solidity-verifier/src/lib/Uint256Splitter.sol +++ b/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 { diff --git a/solidity-verifier/test/AggregatorsFactory.t.sol b/solidity-verifier/test/AggregatorsFactory.t.sol index 85936e4..c67564d 100644 --- a/solidity-verifier/test/AggregatorsFactory.t.sol +++ b/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"; diff --git a/solidity-verifier/test/SharpFactsAggregator.t.sol b/solidity-verifier/test/SharpFactsAggregator.t.sol index e9d92f4..7faca98 100644 --- a/solidity-verifier/test/SharpFactsAggregator.t.sol +++ b/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";