Nikola Matic 8a41f4ac7e Introduce solidity-next pragma ... Exclude pragma experimental error from ANTLR tests Test for first pragma after non-pragma declaration Resolve import pragmas Change pragma name from next to solidity Add Changelog entries Address review comments		2023-05-15 19:25:13 +02:00
..
ABIJson
analysis
ASTJSON	Introduce solidity-next pragma	2023-05-15 19:25:13 +02:00
errorRecoveryTests	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
gasTests	Change default EVM version to Shanghai.	2023-05-08 16:34:23 +02:00
interface
lsp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
memoryGuardTests
semanticTests	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
smtCheckerTests	Merge pull request #14216 from ethereum/fix_bmc_side_effects_in_statement	2023-05-15 13:34:22 +02:00
syntaxTests	Introduce solidity-next pragma	2023-05-15 19:25:13 +02: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	Change default EVM version to Shanghai.	2023-05-08 16:34:23 +02:00
GasMeter.cpp
GasTest.cpp
GasTest.h
Imports.cpp
InlineAssembly.cpp
LibSolc.cpp
MemoryGuardTest.cpp
MemoryGuardTest.h
Metadata.cpp
SemanticTest.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
SemanticTest.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
SemVerMatcher.cpp
SMTCheckerTest.cpp
SMTCheckerTest.h
SolidityCompiler.cpp
SolidityEndToEndTest.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
SolidityExecutionFramework.cpp	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
SolidityExecutionFramework.h	Remove EWASM backend.	2023-05-11 10:56:55 -05:00
SolidityExpressionCompiler.cpp
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp
SolidityOptimizer.cpp
SolidityParser.cpp
SolidityTypes.cpp	Introduce solidity-next pragma	2023-05-15 19:25:13 +02:00
StandardCompiler.cpp	Add experimental support to import AST via Standard JSON.	2023-05-09 14:07:38 -05:00
SyntaxTest.cpp
SyntaxTest.h
ViewPureChecker.cpp