Marko Veniger
Marko Veniger
Partially fixes #12295
## Description Optimizer does not optimize out ```PUSH0 SHR``` instructions ( x >> 0 is always x) ## Environment - Compiler version: solc v0.8.23 - Target EVM version (as per...
## Description When the optimizer does code deduplication, source maps for the resulting instructions map to one of the original source locations, instead of being cleared/"-1"ed ## Environment - Compiler...
We need a more robust way to represent variables in different cases. As it is in the format currently, we can map stack slots to variables but can't do vice...
As proposed by the format, information about the function that is about to be jumped into will be attached to the jump instruction itself. In case of inline-ed functions we...
Adds NatSpec field to AST node for enum value definitions Partially fixes: https://github.com/ethereum/solidity/issues/12295
## Abstract [EthDebug Format](https://github.com/ethdebug/format) for debugging EVM contracts has been partially defined and is currently compatible for emulating Source Map support level. Implement EthDebug Format output for "Source Map Equivalence"...
Schemas that need to be defined in order to provide enough data for debuggers to find and decode Events and Custom errors - [x] ethdebug/format/info - [x] ethdebug/format/program - [...
Schemas that need to be defined in order to provide enough data for debuggers to identify and decode function calling and returns - [x] ethdebug/format/info - [x] ethdebug/format/program - [...
Schemas that need to be defined in order to provide enough data to support finding and decoding vm local variables and storage variables - [x] ethdebug/format/info - [x] ethdebug/format/program -...