Leo Alt 8d91ccf028 [SMTChecker] Add a new trusted mode which assumes that code that is ...

available at compile time is trusted.

2023-02-06 17:02:33 +01:00

..

ossfuzz

Yul proto converter: Output prevrandao for evm versions >= paris

2023-01-30 09:19:33 +01:00

yulInterpreter

Adds support for the EVM version "Paris".

2023-01-23 18:50:36 +00:00

afl_fuzzer.cpp

CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream

2021-07-02 14:58:30 +02:00

CMakeLists.txt

Tests.

2022-03-02 16:42:28 +01:00

fuzzer_common.cpp

[SMTChecker] Add a new trusted mode which assumes that code that is

2023-02-06 17:02:33 +01:00

fuzzer_common.h

Unify solc fuzzers.

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

isoltest.cpp

Add experimental EOF options for CLI and Standard JSON.

2022-11-23 19:53:44 +01:00

IsolTestOptions.cpp

Remove obsolete enforce-via-yul logic and CI run.

2022-05-19 20:23:28 +02:00

IsolTestOptions.h

Removed pointer to external editor resource in IsolTestOptions, changed TestTool::handleResponse() to get editor value from m_options member variable

2021-09-21 14:12:26 -05:00

yulopti.cpp

Replace all locale-dependent operations with locale-agnostic counterparts

2022-03-07 17:23:08 +01:00

yulrun.cpp

Add experimental EOF options for CLI and Standard JSON.

2022-11-23 19:53:44 +01:00