Martin Blicha 29041c8101 Remove ReasoningBasedSimplifier from libyul ... Due to a design decision to move away from a bundled SMT solver, ReasoningBasedSimplifier in its current form cannot be use any longer. This is a necessary step to allow a unified way to call solvers using only SMTLIB interface. Since this optimization pass has always been marked as highly experimental and never turned on by default, it should be OK to remove it.		2023-06-28 14:38:36 +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 --print-smt flag to output SMTChecker SMTLIB code	2023-06-16 14:04:07 +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	Remove ReasoningBasedSimplifier from libyul	2023-06-28 14:38:36 +02:00
yulrun.cpp	Add experimental EOF options for CLI and Standard JSON.	2022-11-23 19:53:44 +01:00