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
20,370 Commits 348 Branches 121 Tags
fuzz-input
Commit Graph
6101 Commits
Author SHA1 Message Date
chriseth cf7f814a4e Merge pull request #10921 from ethereum/issue-10881 
Natspec: Don't copy from base function if return parameters differ
 2021-04-20 15:33:48 +02:00
Leonardo Alt a39a6e26da update tests 2021-04-19 19:23:18 +02:00
Leonardo Alt 80892c8a21 Fix nondeterminism 2021-04-19 19:23:18 +02:00
Leonardo Alt 36def3ef6e tests for free constants 2021-04-19 19:23:18 +02:00
Leonardo Alt fd8b4afb76 new free function tests 2021-04-19 19:23:18 +02:00
Leonardo Alt 095d337140 Basic support to free constants 2021-04-19 19:23:18 +02:00
Leonardo Alt 6ae82fcec2 Add tests for the library bug 2021-04-19 19:23:18 +02:00
Leonardo Alt 4e34359063 Basic support to free functions 2021-04-19 19:23:18 +02:00
chriseth 6a0a51110d Merge pull request #11256 from ethereum/smt_target_array 
Change settings.modelChecker.targets to take an array instead of string
 2021-04-19 18:47:06 +02:00
Leonardo Alt e3abde43f5 Change settings.modelChecker.targets to take an array instead of string 2021-04-19 17:53:03 +02:00
Kamil Śliwak 0d4871ad10 Prevent adding '-' CLI flag to allowed paths as if it was an actual file 
- This resulted in a bug where using stdin was effectively disabling allowed path checks.
 2021-04-19 16:58:48 +02:00
Kamil Śliwak 2abd3073d4 Merge pull request #11235 from ethereum/cmdline-tests-for-stdin 
Allow using stdin in cmdlineTests
 2021-04-19 16:21:43 +02:00
chriseth 1feca5dddb Merge pull request #11259 from ethereum/exportErrorsInAst 
Export used errors in the AST.
 2021-04-19 15:53:32 +02:00
Mathias Baumann 1737bd7ded Natspec: Don't copy from base function if return parameters differ 2021-04-19 15:20:30 +02:00
chriseth 8eb0d5edf6 Export used errors in the AST. 2021-04-19 14:15:50 +02:00
Bhargava Shastry 14d2170b46 Merge pull request #11238 from ethereum/yul-interpreter-storage-state 
Permit Yul interpreter vs Evmone storage comparison.
 2021-04-19 12:22:59 +02:00
Kamil Śliwak 7b467a49d7 Disable assertion that gives non-deterministic results in in slice tests for SMTChecker 2021-04-15 17:14:21 +02:00
Bhargava Shastry 6941143613 Merge pull request #11216 from ethereum/fix-abiv2-fuzzer-bug 
Fix use of const ref in Abiv2 and other proto fuzzers.
 2021-04-14 15:03:57 +02:00
Bhargava Shastry 15bf6af77a Remove output parameters from function call since they are generated on the fly in the converter. 2021-04-14 13:53:37 +02:00
Bhargava Shastry 7c806217fb Changes to yul proto mutator. 2021-04-14 13:53:37 +02:00
Bhargava Shastry cf08c9b255 Correct use of emplace_back 2021-04-14 13:53:37 +02:00
Bhargava Shastry 1709b2924b Changes to how function calls are generated. 2021-04-14 13:53:37 +02:00
Christian Parpart 81c7b30a6a Merge pull request #11234 from ethereum/fix-file-reader-compiler-stack-source-unit-name-mismatch 
Use identical source unit names in FileReader and CompilerStack
 2021-04-14 13:46:14 +02:00
chriseth 11b227e33e Merge pull request #11205 from ethereum/fix-docstring-bug 
Fix docstring bug
 2021-04-14 13:18:33 +02:00
Djordje Mijovic ea5cda08c8 Adding tests for bytes.concat with fixed bytes arguments. 2021-04-14 11:21:24 +02:00
Bhargava Shastry b1392ac988 Fix use of const ref in Abiv2 and other proto fuzzers. 2021-04-13 19:38:43 +02:00
Kamil Śliwak 59ef75cf5a cmdlineTests: Allow providing content of the standard input when not testing via Standard JSON 2021-04-13 13:37:12 +02:00
Kamil Śliwak 4e4f46cde5 cmdlineTests: Allow tests with no input file 2021-04-13 13:37:12 +02:00
Kamil Śliwak cc65b426d0 Merge pull request #11237 from ethereum/fix-wrong-exit-code-update-in-cmdline-tests 
Fix exit code update in cmdlineTests
 2021-04-13 13:34:57 +02:00
Kamil Śliwak 6a41b417a3 FileReader: Store files loaded by the callback under their source unit name 2021-04-13 13:25:59 +02:00
Kamil Śliwak b9b483a0c3 cmdlineTests.sh: Make regex for stripping version from test output match even if there's no whitespace after colon 2021-04-13 13:25:32 +02:00
chriseth 0289994da5 Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug 
Fix calldata decoding overflow bug
 2021-04-12 18:11:29 +02:00
chriseth 4912bfe639 Merge pull request #11229 from ethereum/antlrPath 
Fix import paths in grammar and grammar testing details.
 2021-04-12 16:30:41 +02:00
Daniel Kirchner 6fdfd8b62b Fix import path grammar and grammar testing details. 2021-04-12 14:54:36 +02:00
chriseth 2ed17e4b43 Update tests. 2021-04-12 13:43:56 +02:00
chriseth 72d0a56a72 Fix array decoding offset overflow. 2021-04-12 13:43:51 +02:00
chriseth 32b8332867 Refactor array decoding. 2021-04-12 13:43:51 +02:00
Bhargava Shastry 033ee0e2bc Permit Yul interpreter vs Evmone storage comparison. 2021-04-12 10:39:23 +02:00
hrkrshnn 382c488edd Fix missing error when events are used without an emit statement. 
Whenever there was a proper invocation of events, the compiler assumed that all the subsequent
invocations were proper.
 2021-04-12 10:23:05 +02:00
Kamil Śliwak 7d37e37d95 cmdlineTests.sh: Fix error code update using the wrong value 2021-04-10 22:58:49 +02:00
Leonardo Alt 8a7e94c06f Keep pragma in smoke test for bytecode compare script 2021-04-08 21:03:39 +02:00
Leonardo Alt ad10bee8f0 update command line tests 2021-04-08 21:03:39 +02:00
Leonardo Alt 0a4afa71bd Update old tests 2021-04-08 21:03:39 +02:00
Leonardo Alt d617ef461e Add new tests 2021-04-08 21:03:38 +02:00
chriseth 0cc0cabd30 Merge pull request #11224 from ethereum/lastAllocationUnbounded 
Use unbounded allocation before returning.
 2021-04-08 19:32:40 +02:00
Daniel Kirchner 96c8123b6b Use unbounded allocation before returning. 2021-04-08 18:37:24 +02:00
hrkrshnn e96a161115 Tests and changelog 2021-04-08 17:06:24 +02:00
chriseth 2856f56525 Merge pull request #10942 from ethereum/returnSlotAllocation 
Delayed return slot allocation.
 2021-04-08 16:42:07 +02:00
chriseth f04adde664 Allow hex string literals in Yul. 2021-04-08 15:03:33 +02:00
chriseth 6d6112a81b Merge pull request #11210 from anurag-git/issue_10738-2 
Use range-v3 loops(transform)
 2021-04-08 14:56:15 +02:00