matheusaaguiar

First step for #597.

Support for arbitrary contract storage base location

6

This is the list of steps required to support the specification of arbitrary contract storage base locations. There's already a long discussion in (previous) issue #597, which provided the basis...

Introduce an exception type for the AST Json importer and use as replacements for `solAsserts`

1

Suggested here: https://github.com/ethereum/solidity/pull/15463#discussion_r1946701186 The AST Json Importer has many instances of `solAssert` being used for validation/error messaging. As suggested in the linked comment, it would be better to have a...

Currently, secondary error messages do not show up in `isoltest` and it is necessary to create a command line test to properly check those. Suggested in https://github.com/ethereum/solidity/pull/15463#discussion_r1947067163.

Support constants in custom storage layout expression

4

part of #15727.

Add builtin erc7201

3

part of #15727.

Constant evaluator support for member constants

5

Fix #16055.

Replace `transfer` (deprecated) occurrences with `call` in smt tests

4

`transfer` is deprecated and will be removed in the next breaking release. depends on #16174.

There are features marked as deprecated and planned to be removed, many of them in the next breaking release v.0.9, which are listed in #15795 . We also need to...

Emit warnings for keywords selected to be reserved in the future

3

Partially solves #15795 and #14770.