Leo Alt 24df40de9a Allow running Eldarica from the command line		2022-11-22 21:16:45 +01:00
..
ABIJson
analysis	Minor test naming/style corrections	2022-11-07 23:16:02 +01:00
ASTJSON
errorRecoveryTests
gasTests
interface	Allow running Eldarica from the command line	2022-11-22 21:16:45 +01:00
lsp	[Language Server]: Add basic document hover support.	2022-10-26 13:53:29 +02:00
memoryGuardTests
semanticTests	Merge pull request #12132 from ethereum/userDefinedSideEffectsCodeTransform	2022-11-22 14:26:57 +01:00
smtCheckerTests	changed output of formatNumberReadable so that it shows powers of two and one-less-than powers of two in a more compact format	2022-11-14 17:37:38 +01:00
syntaxTests	Minor test naming/style corrections	2022-11-07 23:16:02 +01:00
util
ABIDecoderTests.cpp
ABIEncoderTests.cpp
ABIJsonTest.cpp
ABIJsonTest.h
ABITestsCommon.h
AnalysisFramework.cpp
AnalysisFramework.h
Assembly.cpp
ASTJSONTest.cpp
ASTJSONTest.h
ErrorCheck.cpp
ErrorCheck.h
GasCosts.cpp
GasMeter.cpp
GasTest.cpp
GasTest.h
Imports.cpp
InlineAssembly.cpp
LibSolc.cpp
MemoryGuardTest.cpp
MemoryGuardTest.h
Metadata.cpp
SemanticTest.cpp
SemanticTest.h
SemVerMatcher.cpp
SMTCheckerTest.cpp
SMTCheckerTest.h
SolidityCompiler.cpp
SolidityEndToEndTest.cpp
SolidityExecutionFramework.cpp
SolidityExecutionFramework.h
SolidityExpressionCompiler.cpp
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp	Add Natspec devdoc inheritance support for events	2022-11-08 15:53:10 +01:00
SolidityOptimizer.cpp
SolidityParser.cpp
SolidityTypes.cpp
StandardCompiler.cpp	Add basic support for the EVM version Paris	2022-11-21 14:56:46 +01:00
SyntaxTest.cpp
SyntaxTest.h
ViewPureChecker.cpp