Harikrishnan Mulackal
|
35da404ca9
|
Merge pull request #11091 from ethereum/modifierInvocationAST
Add "kind" field to ModifierInvocation AST json element.
|
2021-03-16 19:44:40 +01:00 |
|
Leonardo
|
6d8366967b
|
Merge pull request #11112 from blishko/smt-small-refactor
[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples
|
2021-03-16 19:02:16 +01:00 |
|
chriseth
|
0519473059
|
Add "kind" field to ModifierInvocation AST json element.
|
2021-03-16 18:50:37 +01:00 |
|
chriseth
|
e007557c0d
|
Merge pull request #11025 from ethereum/docs-intro
Clarify the syntax of Solidity is not Python inspired
|
2021-03-16 17:11:26 +01:00 |
|
Alex Beregszaszi
|
830bc8f88a
|
Clarify the syntax of Solidity is not Python inspired
|
2021-03-16 17:11:01 +01:00 |
|
Martin Blicha
|
432944d0b4
|
[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples
|
2021-03-16 15:34:43 +01:00 |
|
Daniel Kirchner
|
7170c8ac60
|
Merge pull request #11109 from ethereum/inlinerHeuristicsFix
Fix small bug in inliner heuristics.
|
2021-03-16 14:09:26 +01:00 |
|
chriseth
|
ae1b321a2a
|
Merge pull request #11066 from ethereum/functionCollectorrefactor
Adding additional interface to yul function collector.
|
2021-03-15 21:42:34 +01:00 |
|
Kamil Śliwak
|
e7ac2fce81
|
Merge pull request #11108 from ethereum/remove-remains-of-shellcheck-ignore-list
Remove remains of shellcheck ignore list
|
2021-03-15 21:05:52 +01:00 |
|
Daniel Kirchner
|
d5281877cc
|
Fix inliner heuristics.
|
2021-03-15 20:31:56 +01:00 |
|
Djordje Mijovic
|
49fcda7048
|
Adding additional interface to yul function collector.
|
2021-03-15 20:27:16 +01:00 |
|
Alex Beregszaszi
|
7fd1a3132d
|
Merge pull request #11098 from ethereum/isoltest-yes
isoltest: add --accept-updates option
|
2021-03-15 19:10:02 +00:00 |
|
Kamil Śliwak
|
14adb7df3b
|
Really remove shellcheck ignore list
|
2021-03-15 20:02:42 +01:00 |
|
Kamil Śliwak
|
5376a3deb6
|
Merge pull request #10879 from ethereum/silence-remaining-shellcheck-warnings-and-remove-ignore-list
Silence remaining shellcheck warnings and remove ignore list
|
2021-03-15 19:58:42 +01:00 |
|
Alex Beregszaszi
|
1c176cc1ee
|
isoltest: add --accept-updates option
|
2021-03-15 14:31:01 +00:00 |
|
Leonardo
|
86e1e4a2dd
|
Merge pull request #11092 from blishko/issue-10957
[SMTChecker] Resolve current contract context correctly in VariableUsage
|
2021-03-15 15:01:51 +01:00 |
|
chriseth
|
140f0e51b8
|
Merge pull request #11104 from ethereum/addMissingHeader
Add missing header to Algorithms.h.
|
2021-03-15 14:20:30 +01:00 |
|
Martin Blicha
|
2f52affcc2
|
[SMTChecker] Correctly resolve current scope contract in VariableUsage.
|
2021-03-15 13:55:14 +01:00 |
|
Daniel Kirchner
|
8f56c6ad5c
|
Add missing header to Algorithms.h.
|
2021-03-15 13:50:24 +01:00 |
|
Kamil Śliwak
|
b8979a939c
|
Remove shellcheck ignore list
|
2021-03-15 12:16:43 +01:00 |
|
Kamil Śliwak
|
8e44b59251
|
Disable shellcheck in the remaining situations where it's either wrong or the problem is not worth fixing
|
2021-03-15 12:16:43 +01:00 |
|
Kamil Śliwak
|
008d648af3
|
Fix or disable find/ls related warnings
|
2021-03-15 12:16:43 +01:00 |
|
Kamil Śliwak
|
7929175db6
|
Add shellcheck source directive in places where it can't find sourced files on its own
|
2021-03-15 12:16:43 +01:00 |
|
Leonardo
|
2c00939ad8
|
Merge pull request #11097 from blishko/smt-reset-reference-variables
[SMTChecker] Reset reference variables on assignment to a variable of reference type
|
2021-03-15 12:06:37 +01:00 |
|
Martin Blicha
|
6aa6c5f5f9
|
[SMTChecker] Reset reference variables on assignment to a variable of reference type
|
2021-03-12 19:51:31 +01:00 |
|
Leonardo
|
ccd9de137a
|
Merge pull request #11088 from blishko/smt-assignment-cleanup
[SMTChecker] Fix handling of assignments of array/mapping state variable accessed using contract name.
|
2021-03-12 15:44:27 +01:00 |
|
Martin Blicha
|
0cb75293f9
|
[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name
|
2021-03-12 14:01:07 +01:00 |
|
Daniel Kirchner
|
1265b39904
|
Merge pull request #11095 from ethereum/fixGcc8
Fix compilation error with GCC 8.
|
2021-03-12 13:25:25 +01:00 |
|
Daniel Kirchner
|
6d19a25705
|
Fix compilation error with GCC 8.
|
2021-03-12 12:28:18 +01:00 |
|
Bhargava Shastry
|
a93ad3b39c
|
Merge pull request #11094 from ethereum/use-map-evmhost
EVMHost: Use std::map for storage so that slots are stored in some order
|
2021-03-12 10:58:27 +01:00 |
|
Bhargava Shastry
|
788eb02825
|
EVMHost: Use std::map for storage so that slots are stored in some order.
|
2021-03-12 09:39:15 +01:00 |
|
Harikrishnan Mulackal
|
0e22d0bd40
|
Merge pull request #11079 from ethereum/fix-visibility-warning
AST import: constructors have default visibility
|
2021-03-11 12:23:46 +01:00 |
|
Leonardo
|
dd0f5be0c3
|
Merge pull request #11058 from ethereum/smt_fix_cex_order
[SMTChecker] Fix CHC cex order
|
2021-03-11 12:17:55 +01:00 |
|
hrkrshnn
|
ef0c4cc39f
|
AST Import: For constructors, a public visibility is ignored.
|
2021-03-11 10:44:19 +01:00 |
|
Leonardo Alt
|
6fd76e830d
|
Fix CHC cex order
|
2021-03-11 10:36:40 +01:00 |
|
chriseth
|
ec1c89d798
|
Merge pull request #11083 from ethereum/fix-typos-in-isolate-tests-py
Fix typos in isolate_tests.py
|
2021-03-11 10:28:26 +01:00 |
|
Kamil Śliwak
|
978c25f1a4
|
Fix typos in isolate_tests.py
|
2021-03-10 20:42:46 +01:00 |
|
Bhargava Shastry
|
23f03e1b61
|
Merge pull request #11061 from ethereum/evmhost-tracing
EVMHost: Add tracing features needed for fuzzing.
|
2021-03-10 20:30:34 +01:00 |
|
Bhargava Shastry
|
a30b071a5d
|
Update test/EVMHost.cpp
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-10 18:10:20 +01:00 |
|
Bhargava Shastry
|
8023fdb537
|
Extract state printing to a separate class.
|
2021-03-10 17:41:03 +01:00 |
|
Bhargava Shastry
|
24f42c5541
|
Filter false positives due to EVM errors.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-10 17:41:03 +01:00 |
|
Bhargava Shastry
|
34c08ea2c6
|
EVMHost: Add tracing features needed for fuzzing.
|
2021-03-10 17:41:03 +01:00 |
|
chriseth
|
89946b15d2
|
Merge pull request #10863 from ethereum/isoltestGasCosts
[isoltest] Add gas costs to function call expectations
|
2021-03-10 15:11:20 +01:00 |
|
Djordje Mijovic
|
b73e9f3eef
|
Update tests.
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
63017bd510
|
Not showing gas used if it is equal to m_gas(in case of out of gas failures).
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
b3202f6b39
|
Ading CI job to check gas costs.
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
06171a3100
|
Changing enforceGasCost functionality.
|
2021-03-10 14:22:26 +01:00 |
|
Leonardo
|
b4c08b9bfe
|
Merge pull request #11076 from blishko/issue-11005
[SMTChecker] Fix ICE on array.pop nested inside 1-tuple
|
2021-03-10 10:36:42 +01:00 |
|
Djordje Mijovic
|
2b14efbbcc
|
Adding debug info on gas costs when updating gas values.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2021-03-09 21:48:11 +01:00 |
|
Djordje Mijovic
|
14a3731182
|
Don't run gas for ir if it is not explicitely added to expectations.
|
2021-03-09 21:27:44 +01:00 |
|