Leonardo 7bbf3a694b Merge pull request #11261 from ethereum/smt_choose_target ...

[SMTChecker] Add option to choose contracts to be analyzed

2021-04-21 13:11:33 +02:00

..

ossfuzz

Remove as many boost usages as possible in protoToYul.cpp

2021-04-20 18:46:19 +02:00

yulInterpreter

Permit Yul interpreter vs Evmone storage comparison.

2021-04-12 10:39:23 +02:00

afl_fuzzer.cpp

Add SPDX license identifier if not present already in source file

2020-07-17 20:24:12 +05:30

CMakeLists.txt

Extract StackReuseCodegen tests.

2021-03-09 15:47:24 +01:00

fuzzer_common.cpp

Choose contracts to be analyzed by the SMTChecker

2021-04-21 10:34:14 +02:00

fuzzer_common.h

Unify solc fuzzers.

2021-02-08 11:14:38 +01:00

isoltest.cpp

isoltest: add --accept-updates option

2021-03-15 14:31:01 +00:00

IsolTestOptions.cpp

isoltest: add --accept-updates option

2021-03-15 14:31:01 +00:00

IsolTestOptions.h

isoltest: add --accept-updates option

2021-03-15 14:31:01 +00:00

yulopti.cpp

[yulopti] Rewrite the check against overlapping abbreviations using ranges-v3

2021-01-16 01:10:55 +01:00

yulrun.cpp

Rename SourceReferenceFormatterHuman.

2020-12-01 16:09:46 +01:00