Leo Alt 21c0f78650 Report safe properties in BMC and CHC

2023-03-09 14:59:32 +01:00

..

ossfuzz

Strict assembly fuzzer: Change optimization setting from full to minimal.

2023-02-24 22:42:07 +01:00

yulInterpreter

Update existing and add new test cases.

2023-02-02 11:40:39 +01: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

Report safe properties in BMC and CHC

2023-03-09 14:59:32 +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