mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
29041c8101
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. |
||
|---|---|---|
| .. | ||
| layout_in_calldata.rst | ||
| layout_in_memory.rst | ||
| layout_in_storage.rst | ||
| optimizer.rst | ||
| source_mappings.rst | ||
| variable_cleanup.rst | ||