cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
74339ac0d7043cd2c1742eb2b726817f4519c2b0
solidity/test/libsolidity
T
History
Leonardo 25b2a38d8b Merge pull request #10202 from ethereum/smt_fix_modifiers_branches 
[SMTChecker] Fix CHC false positives when using branches inside modifiers
2020-11-09 16:42:30 +00:00
..
ABIJson
Update tests.
2020-07-07 12:16:18 +02:00
ASTJSON
Stop after parsing.
2020-09-30 16:57:49 +02:00
errorRecoveryTests
Update existing tests.
2020-10-08 18:56:17 +02:00
gasTests
Use revert for out-of-bounds array index access in getter.
2020-10-13 18:57:41 +02:00
semanticTests
Add tests for ABI coding empty strings and string literals
2020-11-04 17:48:59 +00:00
smtCheckerTests
Merge pull request #10202 from ethereum/smt_fix_modifiers_branches
2020-11-09 16:42:30 +00:00
syntaxTests
Add more syntax tests for uncovered cases
2020-11-05 10:30:09 +00:00
util
Fix TestFileParser to support empty strings
2020-11-04 17:49:23 +00:00
ABIDecoderTests.cpp
Moving enum test to semanticTests
2020-11-03 13:13:21 +01:00
ABIEncoderTests.cpp
Merge remote-tracking branch 'origin/develop' into breaking
2020-07-21 11:35:28 +02:00
ABIJsonTest.cpp
remove extra definition of printIndented
2020-06-02 21:15:00 +07:00
ABIJsonTest.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
ABITestsCommon.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
AnalysisFramework.cpp
Complete error coverage of Parser and SyntaxChecker
2020-09-29 16:07:02 +02:00
AnalysisFramework.h
Complete error coverage of Parser and SyntaxChecker
2020-09-29 16:07:02 +02:00
Assembly.cpp
Introduce abicoder pragma.
2020-11-03 13:31:50 +01:00
ASTJSONTest.cpp
Stop after parsing.
2020-09-30 16:57:49 +02:00
ASTJSONTest.h
Stop after parsing.
2020-09-30 16:57:49 +02:00
ErrorCheck.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
ErrorCheck.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
GasCosts.cpp
Use cbor metadata in gas cost tests.
2020-07-28 23:42:22 +02:00
GasMeter.cpp
Eliminates dead code around GasEstimator
2020-10-07 13:31:40 +02:00
GasTest.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
GasTest.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
Imports.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
InlineAssembly.cpp
Moving the surplus_input inline assembly test to yulSyntaxTests.
2020-11-04 12:03:33 +01:00
LibSolc.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
Metadata.cpp
TestFramework: Merge Options.h into Common.h
2020-01-29 12:27:05 +01:00
SemanticTest.cpp
Empty storage option for isoltest.
2020-10-29 13:55:07 +01:00
SemanticTest.h
Add support for ewasm evmc vm.
2020-09-08 12:41:42 -05:00
SemVerMatcher.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
SMTCheckerTest.cpp
Isoltets SMTChecker option and BMC specific tests
2020-11-06 15:03:38 +00:00
SMTCheckerTest.h
Isoltets SMTChecker option and BMC specific tests
2020-11-06 15:03:38 +00:00
SolidityCompiler.cpp
Update tests.
2020-07-07 12:16:18 +02:00
SolidityEndToEndTest.cpp
Moving some tests to semantic tests.
2020-11-03 11:00:52 +01:00
SolidityExecutionFramework.cpp
Adjust testing framework.
2020-09-15 14:41:46 +02:00
SolidityExecutionFramework.h
Add support for ewasm evmc vm.
2020-09-08 12:41:42 -05:00
SolidityExpressionCompiler.cpp
Introduce abicoder pragma.
2020-11-03 13:31:50 +01:00
SolidityNameAndTypeResolution.cpp
Make annotations `SetOnce or optional` where feasible
2020-09-22 17:38:21 +02:00
SolidityNatspecJSON.cpp
Fix merge conflicts.
2020-07-21 15:06:57 +02:00
SolidityOptimizer.cpp
Properly cleanup after copying dynamic-array to storage for packed types
2020-10-06 16:06:02 +02:00
SolidityParser.cpp
Var is reserved keyword.
2020-10-06 15:08:57 +02:00
SolidityTypes.cpp
Fixes compilation on MSVC wrt. narrowing conversion from cstr-ptr to bool.
2020-08-28 15:54:47 +02:00
StandardCompiler.cpp
Fix dependency tracking for abstract contracts for Yul codegen
2020-10-20 16:58:24 +02:00
SyntaxTest.cpp
Report an error if immutables not assigned
2020-07-23 16:38:54 +02:00
SyntaxTest.h
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
ViewPureChecker.cpp
Update tests.
2020-02-17 12:58:06 +01:00