-
Notifications
You must be signed in to change notification settings - Fork 28
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#275 In ConsenSysDiligence/scribble;
- Status: Open.#271 In ConsenSysDiligence/scribble;
- Status: Open.#266 In ConsenSysDiligence/scribble;
Using state variable comparison in annotations with
mstoremodebugSomething isn't workingSomething isn't workingStatus: Open.#226 In ConsenSysDiligence/scribble;- Status: Open.#209 In ConsenSysDiligence/scribble;
- Status: Open.#201 In ConsenSysDiligence/scribble;
- Status: Open.#182 In ConsenSysDiligence/scribble;
Consider re-writing private state as internal to allow invariants over private state
enhancementNew feature or requestNew feature or requestStatus: Open.#166 In ConsenSysDiligence/scribble;sum from mapping of structs?
questionFurther information is requestedFurther information is requestedStatus: Open.#144 In ConsenSysDiligence/scribble;Add external yaml schema checking library
debtCleanup/technical debtCleanup/technical debtgood first issueGood for newcomersGood for newcomersStatus: Open.#129 In ConsenSysDiligence/scribble;Avoid generating ghost state declarations for quantifiers unless quantifiers are used
enhancementNew feature or requestNew feature or requestStatus: Open.#95 In ConsenSysDiligence/scribble;Javascript call stack exceeded
bugSomething isn't workingSomething isn't workingStatus: Open.#80 In ConsenSysDiligence/scribble;