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,845 Commits 348 Branches 121 Tags
evm-yul-diff-fuzzing
Commit Graph
5839 Commits
Author SHA1 Message Date
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
Martin Blicha 2f52affcc2 [SMTChecker] Correctly resolve current scope contract in VariableUsage. 2021-03-15 13:55:14 +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 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
Martin Blicha 6aa6c5f5f9 [SMTChecker] Reset reference variables on assignment to a variable of reference type 2021-03-12 19:51:31 +01:00
Leonardo Alt 998346e599 Fix bug in virtual functions called by constructor. 2021-03-12 16:42:28 +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 788eb02825 EVMHost: Use std::map for storage so that slots are stored in some order. 2021-03-12 09:39:15 +01:00
Leonardo Alt 6fd76e830d Fix CHC cex order 2021-03-11 10:36:40 +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 06171a3100 Changing enforceGasCost functionality. 2021-03-10 14:22:26 +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
chriseth ad5d34df74 Merge pull request #11071 from ethereum/fixCRInSourceRefFor 
Fix handling of carriage return.
 2021-03-09 17:52:34 +01:00
Leonardo 5677df86af Merge pull request #11069 from blishko/smt-array-slice-fix 
[SMTChecker] Use same sort name for array slice as for the underlying array
 2021-03-09 16:39:12 +01:00
Daniel Kirchner a75424eec4 Drop support for evm15 and eip-615. 2021-03-09 15:56:03 +01:00
chriseth 5c2cd8d553 Merge pull request #11073 from ethereum/extractStackReuseTests 
Extract StackReuseCodegen tests.
 2021-03-09 15:52:23 +01:00
Daniel Kirchner e99da7e015 Extract StackReuseCodegen tests. 2021-03-09 15:47:24 +01:00
chriseth eb85a4414c Fix handling of carriage return. 2021-03-09 15:33:12 +01:00
chriseth 40c27ccc22 Move AND with constant inside OR. 2021-03-09 15:26:19 +01:00
Martin Blicha 5af01f6896 [SMTChecker] Use same sort name for array slice as for the underlying array. 2021-03-09 11:06:22 +01:00
Martin Blicha 385a664f3c [SMTChecker] Fix public getter for array of structs. 2021-03-08 17:34:20 +01:00
Kamil Śliwak 093ea4612b Merge pull request #10586 from ethereum/shellcheck-fixes-part1 
Fixes for shellcheck warnings, part 1
 2021-03-05 17:13:46 +01:00
Daniel Kirchner acd3084076 Fuzzer for stack optimiser/code generator. 2021-03-04 17:35:56 +01:00
Bhargava Shastry ca267e50d3 Merge pull request #11053 from ethereum/protoConverter-opcode-filter-flag 
Proto yul converter: Provide a flag to filter stateful instructions.
 2021-03-04 17:31:52 +01:00
Kamil Śliwak c8fc241be5 Avoid using $? in conditions and do && exit 1 instead if ! 2021-03-04 16:57:25 +01:00
Kamil Śliwak e8a70e8e4b Prefix globs with ./ or use -- to make commands safe with files named like command-line options 2021-03-04 16:57:25 +01:00
Kamil Śliwak a05f3a608d Don't use $ on variables inside (()) 2021-03-04 16:53:05 +01:00
Kamil Śliwak 2784135c37 Use read with the -r option 2021-03-04 16:53:05 +01:00
Kamil Śliwak 75b87d159d Declare variables separately when assigning the result of $() 2021-03-04 16:53:05 +01:00
Kamil Śliwak 4c186321c8 Replace some older shell syntax with newer and/or more reliable equivalents 2021-03-04 16:53:05 +01:00
Leonardo d42d0faf41 Merge pull request #11052 from blishko/issue-10986 
[SMTChecker] Correct handling of FixedBytes constants initialized with string literal
 2021-03-04 16:51:22 +01:00
Bhargava Shastry a34308e4cb Proto yul converter: Provide a flag to filter stateful instructions. 2021-03-04 15:20:19 +01:00