cerc-io/solidity
15
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
b29d8a429c
solidity/libyul
History
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
..
backends/evm Account for unassigned return variables in stack layout generation. 2023-06-14 11:43:46 +02:00
optimiser Remove ReasoningBasedSimplifier from libyul 2023-06-28 14:38:36 +02:00
AsmAnalysis.cpp Update docs to reflect deprecation warning 2023-01-26 13:42:26 +01:00
AsmAnalysis.h Inline assembly without memory effects is implicitly memory safe. 2022-03-02 16:42:28 +01:00
AsmAnalysisInfo.h Rename AsmData -> AST 2020-11-25 17:58:02 +00:00
AsmJsonConverter.cpp Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
AsmJsonConverter.h Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
AsmJsonImporter.cpp Apply a better way to annotate unreachability to the C++ compiler. 2022-06-07 16:41:04 +02:00
AsmJsonImporter.h Properly assign source names for AST import. 2021-07-14 15:12:10 +02:00
AsmParser.cpp Add std:: qualifier to move() calls 2022-08-30 11:12:15 +02:00
AsmParser.h AsmParser: Don't use locationOverride as current location when location from comments is selected 2021-09-22 13:11:39 +02:00
AsmPrinter.cpp Add std:: qualifier to move() calls 2022-08-30 11:12:15 +02:00
AsmPrinter.h Pass DebugInfoSelection down to the code handling assembly printing 2021-10-11 20:34:48 +02:00
AST.h Add helper to see if a switch has a default case. 2022-03-15 14:29:54 +01:00
ASTForward.h Refactoring yul source locations. 2021-05-04 16:05:23 +02:00
CMakeLists.txt Remove ReasoningBasedSimplifier from libyul 2023-06-28 14:38:36 +02:00
CompilabilityChecker.cpp Deterministically choose memory slots for variables independently of names that may depend on AST IDs. 2023-06-12 17:28:01 +02:00
CompilabilityChecker.h Deterministically choose memory slots for variables independently of names that may depend on AST IDs. 2023-06-12 17:28:01 +02:00
ControlFlowSideEffects.h Control flow side-effects for user-defined functions. 2021-10-14 17:46:07 +02:00
ControlFlowSideEffectsCollector.cpp Update ControlFlowSideEffectsCollector.cpp 2022-12-01 16:06:02 +01:00
ControlFlowSideEffectsCollector.h Control flow side effects on non-disambiguated source. 2021-11-04 16:32:11 +01:00
Dialect.cpp Refactoring yul source locations. 2021-05-04 16:05:23 +02:00
Dialect.h Control flow side-effects for user-defined functions. 2021-10-14 17:46:07 +02:00
Exceptions.h Put arguments in parantheses in assert macro definitions 2022-04-06 22:26:21 +02:00
FunctionReferenceResolver.cpp Function reference resolver. 2021-11-04 16:31:18 +01:00
FunctionReferenceResolver.h Function reference resolver. 2021-11-04 16:31:18 +01:00
Object.cpp Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
Object.h Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
ObjectParser.cpp Add std:: qualifier to move() calls 2022-08-30 11:12:15 +02:00
ObjectParser.h Allow and require use-src to be repeated for each object. 2021-09-02 11:29:42 +02:00
Scope.cpp Control flow graph for Yul. 2021-07-15 15:24:12 +02:00
Scope.h Control flow graph for Yul. 2021-07-15 15:24:12 +02:00
ScopeFiller.cpp Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
ScopeFiller.h Rename AsmScope* to Scope* 2020-12-18 11:55:17 +00:00
SideEffects.h Control flow side-effects for user-defined functions. 2021-10-14 17:46:07 +02:00
Utilities.cpp Cache literal to number conversion. 2022-11-08 12:29:00 +01:00
Utilities.h Split Common.h into Numeric.h. 2021-09-23 15:27:29 +02:00
YulStack.cpp YulStack: Don't enable stack optimizations in unoptimized mode when msize is present 2023-06-07 12:13:39 +02:00
YulStack.h Yul AST output on the CLI and in Standard JSON 2023-05-26 12:35:31 +02:00
YulString.h Adds fmtlib as 3rdparty dependency for easier string composition. 2021-10-11 13:35:08 +02:00