Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Fail on invalid storage encoding for byte arrays.
#10239
opened Nov 9, 2020 by
chriseth
•
Review required
2 of 2
Fail on assertion failures in yul code generation.
#10235
opened Nov 9, 2020 by
chriseth
•
Review required
[SMTChecker] Support named arguments in function calls
#10234
opened Nov 9, 2020 by
leonardoalt
•
Review required
Detect circular references for library and free functions
#10228
opened Nov 9, 2020 by
Marenz
•
Review required
Allow fallback function to return data.
#10214
opened Nov 5, 2020 by
chriseth
•
Review required
0 of 1
Support .offset and .length for calldata bytes and string arrays.
#10208
opened Nov 5, 2020 by
chriseth
•
Review required
[SMTChecker] Add uncovered test and replace uncovered tests by asserts
#10207
opened Nov 5, 2020 by
leonardoalt
•
Review required
ControlFlowAnalyser: Also consider called functions in a flow
#10143
opened Oct 28, 2020 by
Marenz
•
Review required
[BREAKING] Change type of Super to TypeType
#10029
opened Oct 14, 2020 by
hrkrshnn
•
Review required
Stack Limit Evader: Move function arguments and return values to memory (v2)
#10015
opened Oct 13, 2020 by
ekpyron
•
Review required
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.