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

..

AlgorithmRunner.cpp

Allow running Eldarica from the command line

2022-11-22 21:16:45 +01:00

Chromosome.cpp

Remove ReasoningBasedSimplifier from libyul

2023-06-28 14:38:36 +02:00

Common.cpp

Allow running Eldarica from the command line

2022-11-22 21:16:45 +01:00

FitnessMetrics.cpp

Add std:: qualifier to move() calls

2022-08-30 11:12:15 +02:00

GeneticAlgorithms.cpp

Fix genetic algorithms CI failure

2022-01-17 13:35:07 +01:00

Mutations.cpp

Use fixed seed for flaky phaser test for now.

2022-01-04 18:27:31 +01:00

PairSelections.cpp

Add SPDX license identifier if not present already in source file

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

Phaser.cpp

Allow running Eldarica from the command line

2022-11-22 21:16:45 +01:00

Population.cpp

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00

Program.cpp

Update tests.

2021-11-09 14:34:05 +01:00

ProgramCache.cpp

Add std:: qualifier to move() calls

2022-08-30 11:12:15 +02:00

Selections.cpp

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00

SimulationRNG.cpp

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00

TestHelpers.cpp

Add std:: qualifier to move() calls

2022-08-30 11:12:15 +02:00

TestHelpers.h

Process input files in Standard JSON mode just like in other modes

2021-07-27 15:54:32 +02:00

TestHelpersTest.cpp

Extract TemporaryDirectory test helper from yulPhaser's tests into a more general location

2021-05-12 17:16:29 +02:00