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
fix-9288
solidity/test/libsolidity
T
History
Leonardo 088b694f0b Merge pull request #10207 from ethereum/smt_tests_asserts 
[SMTChecker] Add uncovered test and replace uncovered tests by asserts
2020-12-03 08:59:48 +01:00
..
ABIJson
Use new abicoder pragma.
2020-11-24 14:57:45 +01:00
ASTJSON
Support .offset and .length for calldata bytes and string arrays.
2020-11-18 01:45:56 +01:00
errorRecoveryTests
Update existing tests.
2020-10-08 18:56:17 +02:00
gasTests
Use new abicoder pragma.
2020-11-24 14:57:45 +01:00
semanticTests
Change ABIEncoderV1 to not pad empty strings
2020-12-01 14:32:18 +00:00
smtCheckerTests
Merge pull request #10207 from ethereum/smt_tests_asserts
2020-12-03 08:59:48 +01:00
syntaxTests
Adding more tests for array copying from storage to storage.
2020-12-01 08:50:36 +01:00
util
Rework TestFileParser
2020-11-10 13:09:07 +01:00
ABIDecoderTests.cpp
Moving some struct tests to semanticTests
2020-11-10 16:37:29 +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
Add viaIR option to CompilerStack
2020-11-12 22:34:31 +00: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
Add unimplemented assert for modifiers in the IR
2020-11-27 18:34:17 +00:00
SolidityExecutionFramework.cpp
Use new abicoder pragma.
2020-11-24 14:57:45 +01: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
Use new abicoder pragma.
2020-11-24 14:57:45 +01:00
SolidityNatspecJSON.cpp
Natspec: Fix internal error when different return name was inherited
2020-11-17 11:56:32 +01: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
StandardCompiler: Include file names in link references
2020-11-17 17:51:04 +01: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