Martin Blicha 0cb75293f9 [SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name		2021-03-12 14:01:07 +01:00
..
ABIJson
analysis	Fix compilation error with GCC 8.	2021-03-12 12:28:18 +01:00
ASTJSON
errorRecoveryTests
gasTests
semanticTests	Update tests.	2021-03-10 14:22:30 +01:00
smtCheckerTests	[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name	2021-03-12 14:01:07 +01:00
syntaxTests
util	Adding debug info on gas costs when updating gas values.	2021-03-09 21:48:11 +01:00
ABIDecoderTests.cpp
ABIEncoderTests.cpp
ABIJsonTest.cpp
ABIJsonTest.h
ABITestsCommon.h
AnalysisFramework.cpp
AnalysisFramework.h
Assembly.cpp
ASTJSONTest.cpp
ASTJSONTest.h
constructor_inheritance_init_order_3.sol
ErrorCheck.cpp
ErrorCheck.h
GasCosts.cpp
GasMeter.cpp
GasTest.cpp
GasTest.h
Imports.cpp
InlineAssembly.cpp	Drop support for evm15 and eip-615.	2021-03-09 15:56:03 +01:00
LibSolc.cpp
Metadata.cpp
SemanticTest.cpp	Not showing gas used if it is equal to m_gas(in case of out of gas failures).	2021-03-10 14:22:30 +01:00
SemanticTest.h	Implementing enforcing gas expectations in isoltest.	2021-03-09 21:26:45 +01:00
SemVerMatcher.cpp
SMTCheckerTest.cpp
SMTCheckerTest.h
SolidityCompiler.cpp
SolidityEndToEndTest.cpp
SolidityExecutionFramework.cpp
SolidityExecutionFramework.h
SolidityExpressionCompiler.cpp
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp
SolidityOptimizer.cpp
SolidityParser.cpp
SolidityTypes.cpp
StandardCompiler.cpp
SyntaxTest.cpp
SyntaxTest.h
ViewPureChecker.cpp