chriseth 91b14174d8 Merge pull request #13702 from ethereum/new_knowledge_engine ...

Re-implement KnowledgeBase using groups of constantly-spaced variables.

2023-02-13 20:05:47 +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

…

semanticTests

Update gas costs.

2023-02-09 10:47:12 +01:00

smtCheckerTests

Merge pull request #13939 from pgebal/fix_handling_bitwise_operators_when_parsing_z3_call_result

2023-02-09 12:16:28 +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

…

ASTJSONTest.cpp

Rename ASTJsonConverter to ASTJsonExporter

2022-06-16 18:05:51 +02:00

ASTJSONTest.h

…

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

…

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

…

MemoryGuardTest.h

…

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

…

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

…

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

…