Daniel Kirchner 0ea06e1c71 Do not let low-level semantic test calls depend on a well-defined contract ABI.

2023-06-07 13:40:14 +02:00

..

ABIJson

…

analysis

…

ASTJSON

Yul AST output on the CLI and in Standard JSON

2023-05-26 12:35:31 +02:00

errorRecoveryTests

…

gasTests

…

interface

…

lsp

…

memoryGuardTests

…

semanticTests

Allow qualified access to events from other contracts

2023-05-26 12:52:52 +02:00

smtCheckerTests

Add optional bounds to unroll loops in BMC model checker

2023-06-02 18:32:38 +02:00

syntaxTests

Experimental standard library

2023-06-06 17:16:23 +02:00

util

…

ABIDecoderTests.cpp

…

ABIEncoderTests.cpp

…

ABIJsonTest.cpp

…

ABIJsonTest.h

…

ABITestsCommon.h

…

AnalysisFramework.cpp

…

AnalysisFramework.h

…

Assembly.cpp

…

ASTJSONTest.cpp

Make ASTJSONTest an EVMVersionRestrictedTestCase

2023-05-17 18:10:16 +02:00

ASTJSONTest.h

Make ASTJSONTest an EVMVersionRestrictedTestCase

2023-05-17 18:10:16 +02:00

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

Do not let low-level semantic test calls depend on a well-defined contract ABI.

2023-06-07 13:40:14 +02:00

SemanticTest.h

…

SemVerMatcher.cpp

…

SMTCheckerTest.cpp

Add optional bounds to unroll loops in BMC model checker

2023-06-02 18:32:38 +02:00

SMTCheckerTest.h

Add optional bounds to unroll loops in BMC model checker

2023-06-02 18:32:38 +02:00

SolidityCompiler.cpp

…

SolidityEndToEndTest.cpp

…

SolidityExecutionFramework.cpp

…

SolidityExecutionFramework.h

…

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

…

SyntaxTest.cpp

Experimental standard library

2023-06-06 17:16:23 +02:00

SyntaxTest.h

…

ViewPureChecker.cpp

…