forked from argotorg/solidity
-
Notifications
You must be signed in to change notification settings - Fork 16
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#178 In SRI-CSL/solidity;
- Status: Open.#175 In SRI-CSL/solidity;
- Status: Open.#174 In SRI-CSL/solidity;
- Status: Open.#171 In SRI-CSL/solidity;
Inheritance of specs in overloaded functions
enhancementNew feature or requestNew feature or requestStatus: Open.#155 In SRI-CSL/solidity;internal exception: Expected tuple as RHS
bugSomething isn't workingSomething isn't workingStatus: Open.#152 In SRI-CSL/solidity;Event tracking doesn't handle references
bugSomething isn't workingSomething isn't workingStatus: Open.#148 In SRI-CSL/solidity;Issue with casting and verifier functions
bugSomething isn't workingSomething isn't workingStatus: Open.#146 In SRI-CSL/solidity;Friendlier messages when implicit constructor cannot be created
enhancementNew feature or requestNew feature or requestStatus: Open.#137 In SRI-CSL/solidity;- Status: Open.#135 In SRI-CSL/solidity;
constructor calls with additional msg parameters
bugSomething isn't workingSomething isn't workingStatus: Open.#132 In SRI-CSL/solidity;call to undeclared procedure: address_0x...
bugSomething isn't workingSomething isn't workingStatus: Open.#130 In SRI-CSL/solidity;