 Bhargava Shastry
|
f3f1ccc34f
|
Fix false positive caused by early termination due to nested expressions.
|
2021-03-26 13:35:57 +01:00 |
|
 Alex Beregszaszi
|
1c176cc1ee
|
isoltest: add --accept-updates option
|
2021-03-15 14:31:01 +00: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 |
|
 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 |
|
|
Daniel Kirchner
|
a75424eec4
|
Drop support for evm15 and eip-615.
|
2021-03-09 15:56:03 +01:00 |
|
|
Daniel Kirchner
|
e99da7e015
|
Extract StackReuseCodegen tests.
|
2021-03-09 15:47:24 +01:00 |
|
|
Daniel Kirchner
|
acd3084076
|
Fuzzer for stack optimiser/code generator.
|
2021-03-04 17:35:56 +01:00 |
|
|
Bhargava Shastry
|
a34308e4cb
|
Proto yul converter: Provide a flag to filter stateful instructions.
|
2021-03-04 15:20:19 +01:00 |
|
|
Bhargava Shastry
|
069ac9c9a9
|
Merge pull request #10878 from ethereum/refactor-solProtoFuzzer
Fuzzer: Refactor utility methods shared by proto fuzzers.
|
2021-03-01 19:56:10 +01:00 |
|
|
Bhargava Shastry
|
c9f1b55073
|
Merge pull request #10967 from ethereum/proto-mutator
Proto mutator: Add control flow to basic blocks
|
2021-02-23 12:03:52 +01:00 |
|
|
Bhargava Shastry
|
758d159d87
|
yul proto mutator: Add control flow to block statements.
|
2021-02-22 15:10:41 +01:00 |
|
 Alexander Arlt
|
c44bb7e7ef
|
Replace raw throw with BOOST_THROW_EXCEPTION.
|
2021-02-18 20:23:59 -05:00 |
|
|
febccdd96a
|
Fuzzer: Refactor utility methods shared by proto fuzzers.
Co-authored-by: Leonardo <leo@ethereum.org>
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-02-10 11:43:57 +01:00 |
|
|
Bhargava Shastry
|
75e7e1bee7
|
Consistent use of returns documentation tag.
|
2021-02-09 12:51:36 +01:00 |
|
|
Bhargava Shastry
|
896de75bcb
|
Solidity fuzzer: Add test state.
|
2021-02-09 12:49:35 +01:00 |
|
|
Bhargava Shastry
|
7e343987fc
|
Update solidity dictionary with TestReader syntax.
|
2021-02-08 11:16:11 +01:00 |
|
|
Bhargava Shastry
|
2f001bb91c
|
Unify solc fuzzers.
|
2021-02-08 11:14:38 +01:00 |
|
|
Bhargava Shastry
|
c7ee2c1f39
|
Clang tidy fixes in protoToYul.cpp.
|
2021-02-07 23:27:11 +01:00 |
|
|
Bhargava ShastryandLeonardo
|
0a59bd825b
|
Solidity fuzzer: Add simple import statements.
Co-authored-by: Leonardo <leo@ethereum.org>
|
2021-02-03 17:03:57 +01:00 |
|
|
Bhargava Shastry
|
8e691293e4
|
ossfuzz: Clang tidy suggested fixes in Solidity generator
|
2021-01-27 14:55:49 +01:00 |
|
|
Bhargava Shastry
|
be733d5f61
|
Reorganized code for better readability.
|
2021-01-26 16:16:03 +01:00 |
|
|
Bhargava ShastryandLeonardo
|
f5e0faaa37
|
Add documentation and/or comments.
Co-authored-by: Leonardo <leo@ethereum.org>
|
2021-01-26 15:48:42 +01:00 |
|
|
Bhargava Shastry
|
d7e3d3f75f
|
Add visitors for automatic test case generation.
|
2021-01-26 15:48:42 +01:00 |
|
|
Leonardo
|
a75b87c80e
|
Merge pull request #10813 from ethereum/smt_targets_option
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 18:37:08 +01:00 |
|
|
Leonardo Alt
|
3b23cadbdc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
|
Bhargava Shastry
|
b3dd83a20b
|
Enable fine grained yul optimizer fuzzing
|
2021-01-19 18:22:59 +01:00 |
|
 chriseth
|
359c70649d
|
Merge pull request #10752 from ethereum/yulopti-option-order
[yulopti] Options ordered by name and in columns rather than rows
|
2021-01-18 15:59:58 +01:00 |
|
|
Bhargava Shastry
|
42c05df0a9
|
Yul optimizer test: Separate test parsing and optimisation
|
2021-01-18 10:27:58 +01:00 |
|
 Kamil Śliwak
|
0f75582e12
|
[yulopti] Rewrite the check against overlapping abbreviations using ranges-v3
|
2021-01-16 01:10:55 +01:00 |
|
|
Kamil Śliwak
|
88a7dddfbd
|
[yulopti] Sort options by step name, with special options on top of the list
|
2021-01-16 01:10:55 +01:00 |
|
|
Kamil Śliwak
|
18c0e70ccf
|
[yulopti] Print options in column-wise rather than row-wise
|
2021-01-16 01:10:55 +01:00 |
|
|
Bhargava ShastryandLeonardo
|
a6a2b58e57
|
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-21 11:55:58 +01:00 |
|
|
chriseth
|
3c270ca7f7
|
Merge pull request #10608 from ethereum/develop
Merge develop into breaking.
|
2020-12-15 15:24:53 +01:00 |
|
|
Bhargava ShastryandLeonardo
|
b273e52628
|
Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding
co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-15 11:13:10 +01:00 |
|
|
Bhargava Shastry
|
39f1893956
|
Fix integer overflow due to large unsigned cpp_int
|
2020-12-15 11:12:51 +01:00 |
|
|
chriseth
|
561280a5cc
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-14 11:33:40 +01:00 |
|
|
Leonardo
|
adead3072d
|
Merge pull request #10570 from ethereum/abiv2-isabelle-test-values-fix-bugs
Ensure empty arrays are not visited and fix formatting issues
|
2020-12-11 17:38:15 +01:00 |
|
|
Bhargava Shastry
|
9bd4a1095e
|
Ensure empty arrays are not visited and fix formatting issues
|
2020-12-10 22:43:45 +01:00 |
|
|
Alex Beregszaszi
|
bd641a5206
|
Enable more C++ compiler warnings
|
2020-12-10 21:03:58 +00:00 |
|
|
chriseth
|
d0551b67d7
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-10 17:07:56 +01:00 |
|
|
Bhargava Shastry
|
dc1c0e9d4e
|
Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer
|
2020-12-10 16:33:14 +01:00 |
|
|
Bhargava Shastry
|
3c8caabf2e
|
Remove unused code
|
2020-12-10 12:56:04 +01:00 |
|
|
Bhargava Shastry
|
693548b787
|
Abiv2 fuzzer: Make integer value generation consistent with range for that integer type
|
2020-12-10 12:34:14 +01:00 |
|
|
chriseth
|
482bda6887
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-10 12:15:52 +01:00 |
|
|
Bhargava Shastry
|
2e3cba996a
|
Isabelle abiv2 fuzzer: Add type string
|
2020-12-09 18:10:10 +01:00 |
|
|
chriseth
|
806453aca9
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-08 21:00:09 +01:00 |
|
|
Alex Beregszaszi
|
7e88ba8da0
|
Enable the -Wconversion warning
|
2020-12-08 16:45:24 +00:00 |
|
|
chriseth
|
b045195c1e
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-08 17:42:31 +01:00 |
|