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
rollback-to-2004
solidity/test/libsolidity
T
History
Rodrigo Q. SaramagoDanielKamil ŚliwakLeo
 feba4de509 Add paris constraints to SMTChecker 
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: Leo <leo@ethereum.org>
2023-01-31 11:03:04 +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
Adds support for the EVM version "Paris".
2023-01-23 18:50:36 +00:00
smtCheckerTests
Add paris constraints to SMTChecker
2023-01-31 11:03:04 +01:00
syntaxTests
Issue warning when using deprecated SELFDESTRUCT
2023-01-25 16:55:11 +01:00
util
fix emit statments being printed on the same line
2022-10-25 19:22:07 +02:00
ABIDecoderTests.cpp
Force running abi coder v1 instead of v2.
2020-12-09 15:25:15 +01:00
ABIEncoderTests.cpp
Improve FunctionSelector helpers
2022-09-27 17:58:32 +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
Force running abi coder v1 instead of v2.
2020-12-09 15:25:15 +01:00
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
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
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
Extract import-file remapping logic out of CompilerStack into ImportRemapper.
2021-04-06 14:28:53 +02:00
InlineAssembly.cpp
Add experimental EOF options for CLI and Standard JSON.
2022-11-23 19:53:44 +01:00
LibSolc.cpp
Add SPDX license identifier if not present already in source file
2020-07-17 20:24:12 +05:30
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
Make isoltest not check SMTChecker counterexamples by default.
2022-11-28 20:55:15 +01:00
SMTCheckerTest.h
Add SMTCheckerTest isoltest option to ignore invariants
2021-10-26 11:30:30 +02:00
SolidityCompiler.cpp
Update existing tests.
2020-10-19 16:58:59 +02:00
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
Only warn about variables being shadowed in inline assembly.
2021-02-19 14:29:22 +01:00
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
Do not insert SPDX identifier if already present in SyntaxTest
2021-01-18 16:15:17 +01:00
ViewPureChecker.cpp
…