r0qs

It would be great to modularize the cli and make it async.

Move deprecated evm versions to nightly CI workflow

6

As recommended in the discussion here: https://github.com/ethereum/solidity/pull/14705#discussion_r1407879318, this PR moves the soltest to run exclusively on nightly jobs for Homestead and Byzantium EVM versions, which are now deprecated.

Add --asm-json option in assembler mode

6

Extracted from https://github.com/ethereum/solidity/pull/13673 based on this comment https://github.com/ethereum/solidity/pull/13673#discussion_r1349334677

Add Python packages to docker base image

6

- [x] Add `parsec` and `tabulate` python packages to base image, as noted [here](https://github.com/ethereum/solidity/pull/14842/files#diff-78a8a19706dbd2a4425dd72bdab0502ed7a2cef16365ab7030a5a0588927bf47R971). Maybe we should also include the [requests](https://github.com/ethereum/solidity/pull/14839#discussion_r1486084352) package. - [ ] Choose the default Python version...

Implementation of Lengauer-Tarjan algorithm to find dominators

8

This is one step towards fixing https://github.com/ethereum/solidity/issues/13721 The implementation is based on the following paper: https://www.cs.princeton.edu/courses/archive/spr03/cs423/download/dominators.pdf, see appendix B pg. 139.

Experimental codegen for types of different stack sizes

5

Fixes https://github.com/ethereum/solidity/issues/14569

As suggested here https://github.com/ethereum/solidity/pull/14710#issuecomment-1839237323

The SMTChecker currently uses the [default EVM version](https://github.com/ethereum/solidity/blob/62e27e4b712234c78c71e03f359cb287ae75db1b/test/libsolidity/SMTCheckerTest.cpp#L29), which is Shanghai. However, with the recent addition of Cancun support, the semantic of `selfdestruct` has changed. Consequently, we may need to...

Extract tests in `test/libsolidity/ViewPureChecker.cpp` to `syntaxTests/viewPureChecker`

1

As suggested by https://github.com/ethereum/solidity/pull/14759#discussion_r1461894555.