Leonardo Alt eab9f65610 Fix ICE when pop dyn storage array of mapping		2019-09-16 16:33:17 +02:00
..
ABIJson	Change ABI sorting order.	2019-09-04 13:06:09 +02:00
ASTJSON	Make sure json output array order is consistent	2019-08-19 17:42:03 +02:00
errorRecoveryTests
gasTests	Use builtin iszero for for loop condition rewriting.	2019-09-12 10:26:16 +02:00
semanticTests	Fix ICE when pop dyn storage array of mapping	2019-09-16 16:33:17 +02:00
smtCheckerTests	[SMTChecker] Add loop support	2019-09-13 12:40:53 +02:00
smtCheckerTestsJSON	[SMTChecker] Add loop support	2019-09-13 12:40:53 +02:00
syntaxTests	Extract some import tests.	2019-08-19 14:45:26 +02:00
util	[isoltest] Adds support for fallback and ether functions.	2019-09-13 10:55:46 +02:00
ABIDecoderTests.cpp
ABIEncoderTests.cpp
ABIJsonTest.cpp
ABIJsonTest.h
ABITestsCommon.h
AnalysisFramework.cpp
AnalysisFramework.h	[SMTChecker] Relax expectations for complex nonlinear tests	2019-08-11 22:20:31 +02:00
Assembly.cpp
ASTJSONTest.cpp
ASTJSONTest.h
ErrorCheck.cpp
ErrorCheck.h
GasCosts.cpp
GasMeter.cpp
GasTest.cpp
GasTest.h
Imports.cpp	Extract some import tests.	2019-08-19 14:45:26 +02:00
InlineAssembly.cpp
LibSolc.cpp
Metadata.cpp
SemanticTest.cpp	[isoltest] Adds support for fallback and ether functions.	2019-09-13 10:55:46 +02:00
SemanticTest.h
SemVerMatcher.cpp
SMTChecker.cpp	[SMTChecker] Zero-initialize arrays	2019-09-02 22:37:30 +02:00
SMTCheckerJSONTest.cpp	Support multiple sources for syntax tests.	2019-08-19 14:45:26 +02:00
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
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp
SolidityOptimizer.cpp
SolidityParser.cpp
SolidityScanner.cpp
SolidityTypes.cpp
StandardCompiler.cpp
SyntaxTest.cpp	Support multiple sources for syntax tests.	2019-08-19 14:45:26 +02:00
SyntaxTest.h	Support multiple sources for syntax tests.	2019-08-19 14:45:26 +02:00
ViewPureChecker.cpp