Pawel Gebal f15b826431 Add optional bounds to unroll loops in BMC model checker

2023-06-02 18:32:38 +02:00

..

ossfuzz

Update ubuntu ossfuzz references

2023-04-19 00:18:11 +02:00

yulInterpreter

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

afl_fuzzer.cpp

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

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

CMakeLists.txt

Remove EWASM backend.

2023-05-11 10:56:55 -05:00

fuzzer_common.cpp

Add optional bounds to unroll loops in BMC model checker

2023-06-02 18:32:38 +02:00

fuzzer_common.h

Unify solc fuzzers.

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

isoltest.cpp

Remove EWASM backend.

2023-05-11 10:56:55 -05: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