| .. |
|
ABIJson
|
|
|
|
ASTJSON
|
Update ASTJSON tests that fail to compile.
|
2020-04-14 10:59:28 +02:00 |
|
errorRecoveryTests
|
|
|
|
gasTests
|
Anything outside storage is always a pointer.
|
2020-03-23 15:34:10 +01:00 |
|
semanticTests
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-04-28 13:02:06 +02:00 |
|
smtCheckerTests
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-04-28 13:02:06 +02:00 |
|
smtCheckerTestsJSON
|
Add support to internal function calls
|
2020-03-11 16:29:07 +01:00 |
|
syntaxTests
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-04-28 13:02:06 +02:00 |
|
util
|
|
|
|
ABIDecoderTests.cpp
|
|
|
|
ABIEncoderTests.cpp
|
|
|
|
ABIJsonTest.cpp
|
Move helper up and avoid trailing spaces.
|
2020-04-23 13:16:26 +02:00 |
|
ABIJsonTest.h
|
Move helper up and avoid trailing spaces.
|
2020-04-23 13:16:26 +02:00 |
|
ABITestsCommon.h
|
|
|
|
AnalysisFramework.cpp
|
|
|
|
AnalysisFramework.h
|
|
|
|
Assembly.cpp
|
Extract typing.
|
2020-04-14 10:59:28 +02:00 |
|
ASTJSONTest.cpp
|
|
|
|
ASTJSONTest.h
|
|
|
|
ErrorCheck.cpp
|
|
|
|
ErrorCheck.h
|
|
|
|
GasCosts.cpp
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-02-27 15:06:36 +01:00 |
|
GasMeter.cpp
|
|
|
|
GasTest.cpp
|
Introduced TestCaseReader.
|
2020-03-16 23:14:33 +01:00 |
|
GasTest.h
|
|
|
|
Imports.cpp
|
|
|
|
InlineAssembly.cpp
|
|
|
|
LibSolc.cpp
|
|
|
|
Metadata.cpp
|
|
|
|
SemanticTest.cpp
|
Unified use of settings. Removed a couple of unused functions.
|
2020-03-19 14:02:39 +01:00 |
|
SemanticTest.h
|
Introduced TestCaseReader.
|
2020-03-16 23:14:33 +01:00 |
|
SemVerMatcher.cpp
|
|
|
|
SMTChecker.cpp
|
Apply modernize-use-override.
|
2020-04-02 18:00:44 -05:00 |
|
SMTCheckerJSONTest.cpp
|
Decoupled error checking and report printing in CommonSyntaxTest.
|
2020-03-16 23:22:56 +01:00 |
|
SMTCheckerJSONTest.h
|
|
|
|
SMTCheckerTest.cpp
|
Decoupled error checking and report printing in CommonSyntaxTest.
|
2020-03-16 23:22:56 +01:00 |
|
SMTCheckerTest.h
|
Introduced TestCase::shouldRun().
|
2020-03-09 15:52:20 +01:00 |
|
SolidityCompiler.cpp
|
|
|
|
SolidityEndToEndTest.cpp
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-04-28 13:02:06 +02:00 |
|
SolidityExecutionFramework.cpp
|
Add --show-metadata to enable metadata output.
|
2020-03-12 13:39:29 -05:00 |
|
SolidityExecutionFramework.h
|
Apply modernize-use-override.
|
2020-04-02 18:00:44 -05:00 |
|
SolidityExpressionCompiler.cpp
|
Extract typing.
|
2020-04-14 10:59:28 +02:00 |
|
SolidityNameAndTypeResolution.cpp
|
virtual modifiers (in Abstract contracts) allow empty bodies
|
2020-04-23 17:26:59 +05:30 |
|
SolidityNatspecJSON.cpp
|
Uniform output in functions and constructor NatSpec
|
2020-05-04 12:39:43 +05:30 |
|
SolidityOptimizer.cpp
|
|
|
|
SolidityParser.cpp
|
Apply modernize-use-override.
|
2020-04-02 18:00:44 -05:00 |
|
SolidityScanner.cpp
|
|
|
|
SolidityTypes.cpp
|
Annotate struct definitions with a recursive flag.
|
2020-04-16 16:42:12 +02:00 |
|
StandardCompiler.cpp
|
Add yulDetails.optimizerSteps to the standard JSON interface
|
2020-04-24 17:30:56 +02:00 |
|
SyntaxTest.cpp
|
Decoupled error checking and report printing in CommonSyntaxTest.
|
2020-03-16 23:22:56 +01:00 |
|
SyntaxTest.h
|
|
|
|
ViewPureChecker.cpp
|
|
|
