solidity/test/libsolidity
Alex Beregszaszi 7e20a095a8
Merge pull request #10652 from ethereum/smt_constants_inplce
[SMTChecker] Replace constants by their value in-place
2020-12-18 14:22:32 +00:00
..
ABIJson
ASTJSON Tests/Docs: changing type of msg.sender and tx.origin into address 2020-12-14 16:55:48 +01:00
errorRecoveryTests
gasTests Update gas cost tests. 2020-12-09 15:25:15 +01:00
semanticTests Tests 2020-12-17 17:00:51 +01:00
smtCheckerTests [SMTChecker] Replace constants by their value in-place 2020-12-18 14:22:28 +01:00
syntaxTests Report meaningful error if parsing a version pragma failed 2020-12-18 11:50:37 +00:00
util Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
ABIDecoderTests.cpp Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +01:00
ABIEncoderTests.cpp Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +01:00
ABIJsonTest.cpp
ABIJsonTest.h
ABITestsCommon.h Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +01:00
AnalysisFramework.cpp Do not insert SPDX line if it is already present (in semantic tests) 2020-12-14 14:25:58 +00:00
AnalysisFramework.h
Assembly.cpp Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 11:33:40 +01:00
ASTJSONTest.cpp Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 11:33:40 +01:00
ASTJSONTest.h
constructor_inheritance_init_order_3.sol [Sol->Yul] Documenting difference in initialization order in case of inheritance. 2020-12-04 16:32:56 +01:00
ErrorCheck.cpp
ErrorCheck.h
GasCosts.cpp Update gas cost tests. 2020-12-09 15:25:15 +01:00
GasMeter.cpp Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +01:00
GasTest.cpp Rename SourceReferenceFormatterHuman. 2020-12-01 16:09:46 +01:00
GasTest.h
Imports.cpp
InlineAssembly.cpp Update tests 2020-12-10 17:18:15 +01:00
LibSolc.cpp
Metadata.cpp
SemanticTest.cpp Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +01:00
SemanticTest.h
SemVerMatcher.cpp Report meaningful error if parsing a version pragma failed 2020-12-18 11:50:37 +00:00
SMTCheckerTest.cpp Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
SMTCheckerTest.h Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
SolidityCompiler.cpp
SolidityEndToEndTest.cpp Update tests 2020-12-14 19:32:31 +00:00
SolidityExecutionFramework.cpp Merge pull request #10608 from ethereum/develop 2020-12-15 15:24:53 +01:00
SolidityExecutionFramework.h Force running abi coder v1 instead of v2. 2020-12-09 15:25:15 +01:00
SolidityExpressionCompiler.cpp Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 11:33:40 +01:00
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp
SolidityOptimizer.cpp Update tests 2020-12-14 19:32:31 +00:00
SolidityParser.cpp Update tests 2020-12-14 19:32:31 +00:00
SolidityTypes.cpp Update tests 2020-12-14 19:32:31 +00:00
StandardCompiler.cpp Update tests. 2020-12-01 16:15:19 +01:00
SyntaxTest.cpp
SyntaxTest.h Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
ViewPureChecker.cpp