-
Notifications
You must be signed in to change notification settings - Fork 5.7k
Pull requests: ethereum/solidity
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add support for fixed points
external contribution ⭐
#3389
by randomnetcat
was closed Nov 4, 2019
Loading…
Experimental mechanism for loading Z3 dynamically at runtime.
#10483
by ekpyron
was merged Dec 10, 2020
Loading…
[DO NOT MERGE] Clean up inheritance specification.
#3729
by chriseth
was closed Dec 2, 2019
Loading…
type conversion checker for array should be stronger
#4904
by liangdzou
was merged Sep 17, 2018
Loading…
6 tasks done
Check overflow after multiplication operation is executed.
#13177
by matheusaaguiar
was merged Aug 12, 2022
Loading…
[isoltest] Add gas costs to function call expectations
#10863
by mijovic
was merged Mar 10, 2021
Loading…
2 of 3 tasks
Add CLI option to choose model checker engine
#10036
by leonardoalt
was merged Oct 16, 2020
Loading…
error out if no output artifacts are requested.
external contribution ⭐
#4958
by liangdzou
was merged Nov 22, 2018
Loading…
4 tasks done
Add option to output storage layout info for a contract
external contribution ⭐
#4017
by spalladino
was closed Dec 12, 2018
Loading…
Set handlers use unified jsonPrint with prettifier if needed
external contribution ⭐
#12179
by akali
was merged Apr 5, 2022
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.