Daniel Kirchner c7e3318dba Add support for external libraries to extracted semantics tests.		2019-11-12 15:19:04 +01:00
..
ABIJson	Change ABI sorting order.	2019-09-04 13:06:09 +02:00
ASTJSON	Modify the expectation files in ASTJSON tests.	2019-10-02 22:31:12 +02:00
errorRecoveryTests
gasTests	Out of body again.	2019-09-17 12:30:15 +02:00
semanticTests	Add support for external libraries to extracted semantics tests.	2019-11-12 15:19:04 +01:00
smtCheckerTests	[SMTChecker] Update test expectations for z3 4.8.6	2019-11-11 18:43:59 +01:00
smtCheckerTestsJSON	[SMTChecker] Add as const function to SMTLib2Interface	2019-09-18 22:57:14 +02:00
syntaxTests	Treat magic variables as unknown identifiers in inline assembly	2019-10-28 14:59:50 +11:00
util	Add support for external libraries to extracted semantics tests.	2019-11-12 15:19:04 +01:00
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	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
LibSolc.cpp
Metadata.cpp	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
SemanticTest.cpp	Add support for external libraries to extracted semantics tests.	2019-11-12 15:19:04 +01:00
SemanticTest.h	Add support for external libraries to extracted semantics tests.	2019-11-12 15:19:04 +01:00
SemVerMatcher.cpp
SMTChecker.cpp
SMTCheckerJSONTest.cpp
SMTCheckerJSONTest.h
SolidityCompiler.cpp
SolidityEndToEndTest.cpp	[isoltest] Adds support for fallback and ether functions.	2019-09-13 10:55:46 +02:00
SolidityExecutionFramework.cpp
SolidityExecutionFramework.h
SolidityExpressionCompiler.cpp	Use selfbalance for `address(this).balance`.	2019-10-16 14:25:56 +02:00
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp
SolidityOptimizer.cpp	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
SolidityParser.cpp
SolidityScanner.cpp	Fixes doxygen style multiline comment parsing for files with CRLF as line terminators.	2019-09-25 12:59:46 +02:00
SolidityTypes.cpp
StandardCompiler.cpp
SyntaxTest.cpp
SyntaxTest.h
ViewPureChecker.cpp