cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,712 Commits 348 Branches 121 Tags
ae1b321a2a80468b3c7f97680750a2ab1350b318
Commit Graph
19712 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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 ShastryandDaniel Kirchner 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 ShastryandDaniel Kirchner 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 MijovicandKamil Śliwak 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
Djordje Mijovic 2c575db0ea Show both expected and obtained gas expectations when failure happens. 2021-03-09 21:27:38 +01:00
Djordje Mijovic 12ef273d06 Setting metadata has and version type for semantic tests to be empty. 2021-03-09 21:26:45 +01:00
Djordje Mijovic cf59d7fc13 Making order of gas expectations deterministic. 2021-03-09 21:26:45 +01:00
Djordje MijovicandDaniel Kirchner aed3832b27 Implementing enforcing gas expectations in isoltest. 
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
 2021-03-09 21:26:45 +01:00
Djordje Mijovic 515f15f7a3 Small style fix for SemanticTest constructor. 2021-03-09 21:26:45 +01:00
Djordje Mijovic 5ea97a5d43 Running gas tests only on tests having expectations. 2021-03-09 21:26:45 +01:00
Djordje Mijovic 6d51dfb617 [isoltest] Adding gas used as semantic tests expectation. 2021-03-09 21:26:36 +01:00
Martin Blicha 4285c2803b [SMTChecker] Fix ICE on array.pop nested inside 1-tuple 2021-03-09 20:00:51 +01:00