solidity/test/libsolidity
2023-02-09 10:47:12 +01:00
..
ABIJson feat: allow named parameters in mapping types 2022-12-08 11:56:58 +01:00
analysis Adds support for the EVM version "Paris". 2023-01-23 18:50:36 +00:00
ASTJSON Source location for named mapping keys 2023-01-17 12:25:23 +01:00
errorRecoveryTests feat: allow named parameters in mapping types 2022-12-08 11:56:58 +01:00
gasTests Fix wrong cleanup when copying from calldata to memory 2022-08-08 13:07:16 +02:00
interface Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
lsp [Language Server]: Add basic document hover support. 2022-10-26 13:53:29 +02:00
memoryGuardTests Tests. 2022-03-02 17:07:11 +01:00
semanticTests Update gas costs. 2023-02-09 10:47:12 +01:00
smtCheckerTests fix abstract nondet exception 2023-02-08 16:59:37 +01:00
syntaxTests Allow library external functions to be bound with using for 2023-02-02 13:39:19 -03:00
util fix emit statments being printed on the same line 2022-10-25 19:22:07 +02:00
ABIDecoderTests.cpp
ABIEncoderTests.cpp Improve FunctionSelector helpers 2022-09-27 17:58:32 +02:00
ABIJsonTest.cpp
ABIJsonTest.h
ABITestsCommon.h
AnalysisFramework.cpp Improve FunctionSelector helpers 2022-09-27 17:58:32 +02:00
AnalysisFramework.h docs: fix typos 2022-12-25 22:39:50 +01:00
Assembly.cpp Add new info severity 2021-09-13 22:48:22 +02:00
ASTJSONTest.cpp Rename ASTJsonConverter to ASTJsonExporter 2022-06-16 18:05:51 +02:00
ASTJSONTest.h Use sol file to validate test variants 2022-03-14 14:21:30 +01:00
ErrorCheck.cpp Cleaning up helpers around errors 2022-09-19 10:51:14 +05:30
ErrorCheck.h
GasCosts.cpp Added tests for --no-append-metadata 2022-09-26 20:40:34 +02:00
GasMeter.cpp Improve FunctionSelector helpers 2022-09-27 17:58:32 +02:00
GasTest.cpp Add std:: qualifier to move() calls 2022-08-30 11:12:15 +02:00
GasTest.h Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings 2021-06-28 14:12:28 +02:00
Imports.cpp
InlineAssembly.cpp Add experimental EOF options for CLI and Standard JSON. 2022-11-23 19:53:44 +01:00
LibSolc.cpp
MemoryGuardTest.cpp Tests. 2022-03-02 16:42:28 +01:00
MemoryGuardTest.h Tests. 2022-03-02 16:42:28 +01:00
Metadata.cpp Add experimental EOF options for CLI and Standard JSON. 2022-11-23 19:53:44 +01:00
SemanticTest.cpp Add experimental EOF options for CLI and Standard JSON. 2022-11-23 19:53:44 +01:00
SemanticTest.h Add experimental EOF options for CLI and Standard JSON. 2022-11-23 19:53:44 +01:00
SemVerMatcher.cpp Fix another instance of the spurious unreachable warning, this time in SemVerMatcher 2022-11-29 23:26:22 +01:00
SMTCheckerTest.cpp [SMTChecker] Add a new trusted mode which assumes that code that is 2023-02-06 17:02:33 +01:00
SMTCheckerTest.h Add SMTCheckerTest isoltest option to ignore invariants 2021-10-26 11:30:30 +02:00
SolidityCompiler.cpp
SolidityEndToEndTest.cpp docs: fix typos 2022-12-25 22:39:50 +01:00
SolidityExecutionFramework.cpp Add experimental EOF options for CLI and Standard JSON. 2022-11-23 19:53:44 +01:00
SolidityExecutionFramework.h Add experimental EOF options for CLI and Standard JSON. 2022-11-23 19:53:44 +01:00
SolidityExpressionCompiler.cpp Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
SolidityNameAndTypeResolution.cpp
SolidityNatspecJSON.cpp Add Natspec devdoc inheritance support for events 2022-11-08 15:53:10 +01:00
SolidityOptimizer.cpp Adds support for the EVM version "Paris". 2023-01-23 18:50:36 +00:00
SolidityParser.cpp Add new info severity 2021-09-13 22:48:22 +02:00
SolidityTypes.cpp feat: allow named parameters in mapping types 2022-12-08 11:56:58 +01:00
StandardCompiler.cpp Update default evm version to paris 2023-01-30 17:57:08 +01:00
SyntaxTest.cpp Cleaning up helpers around errors 2022-09-19 10:51:14 +05:30
SyntaxTest.h
ViewPureChecker.cpp