Author
Label
Projects
Milestones
Reviews
Assignee
Sort
[SMTChecker] Add `this` and blockchain state to CHC
#9845
opened Sep 18, 2020 by
leonardoalt
•
Draft
Remove release and zip logic from appveyor config.
#9844
opened Sep 18, 2020 by
ekpyron
•
Review required
Free functions: Add syntax/semantic tests to document behavior of red…
#9841
opened Sep 18, 2020 by
bshastry
•
Review required
Make annotations ``SetOnce`` or ``optional`` where feasible
#9839
opened Sep 17, 2020 by
Marenz
•
Review required
Fix wrong name reported for invalid named argument
#9838
opened Sep 17, 2020 by
cameel
•
Review required
Add missing check for nested dynamic arrays in abi.encode()/decode() functions in ABIEncoderV1
#9836
opened Sep 17, 2020 by
cameel
•
Review required
Add missing checks for parameter compatibility with ABIEncoderV1 in calls
#9835
opened Sep 17, 2020 by
cameel
•
Review required
Add annotation field ``requiresVirtualLookup``
#9820
opened Sep 16, 2020 by
Marenz
•
Review required
[Sol->Yul] Optimization for exponentiation when the base is a literal
#9816
opened Sep 15, 2020 by
hrkrshnn
[SMTChecker] Refactor CHC predicate instances
#9777
opened Sep 11, 2020 by
leonardoalt
•
Review required
Allow path syntax for super constructor calls revamped
#9753
opened Sep 7, 2020 by
Marenz
•
Review required
Update ReleaseChecklist.md: Add brew bump command
#9734
opened Sep 2, 2020 by
aarlt
•
Review required
Add antlr4 visitor based pragma and import directive mutators
#9722
opened Sep 1, 2020 by
bshastry
•
Review required
[Sol->Yul] Improved implementation of checked exp involving constants.
#9635
opened Aug 17, 2020 by
chriseth
•
Review required
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.