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,681 Commits 348 Branches 121 Tags
8023fdb537ccbe1a7f29149f3532bc1c39408b54
Commit Graph
19681 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
chriseth 3116282006 Merge pull request #11072 from ethereum/dropEVM15 
Drop experimental support for eip-615 and evm15.
 2021-03-09 16:05:38 +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 4027f40495 Merge pull request #11046 from ethereum/moveAndInsideOr 
Move AND with constant inside OR.
 2021-03-09 15:43:27 +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
Leonardo 1d95f95635 Merge pull request #11059 from blishko/smt-array_of_structs-getter 
[SMTChecker] Fix public getter for array of structs.
 2021-03-09 10:39:34 +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
Bhargava Shastry 08df163add Merge pull request #11028 from ethereum/fuzz-stack-reuse-codegen 
Fuzz stack reuse codegen
 2021-03-04 20:40:11 +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 cf94c3f7df Remove scripts that now have no warnings from shellcheck ignore list 2021-03-04 16:57:25 +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 87f9eba1cf docs_version_pragma_check.sh: Set SOLC only for the duration of compileFull 
- This is a global variable and would be better to just make it a parameter. At least this makes shellcheck shut up
 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 04302d4828 Use glob match instead of regex match when not actually using a regex 2021-03-04 16:57:25 +01:00
Kamil Śliwak 7d845c0289 Don't use globs in command names 2021-03-04 16:57:25 +01:00
Kamil Śliwak 62bf467fc2 Fix warnings about constructions that have no effect 2021-03-04 16:53:05 +01:00
Kamil Śliwak 4e3ebda0f4 Don't use negative exit codes 2021-03-04 16:53:05 +01:00
Kamil Śliwak dbfd3db038 Use mapfile instead of () for reading multiple lines as separate array items 2021-03-04 16:53:05 +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 d14c4288ec Make scripts fail on non-zero return codes and undefined variables where possible 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 1c7cc376d1 Use "$@" instead 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