format

format copied to clipboard

gnidan

Improve encoding of the sourcemaps

1

It would make sense to wrap it in a different object that would make the integration with other tooling easier...

yann300

Local variables tracking

1

local variables (and params): The compiler should if possible returns all the ranges in the VM trace where a specific local is in the scope, and how to track its...

yann300

When a JUMPDEST is reached, the compiler should return precise information about the AST node it is jumped to (if any).

1

yann300

What should we do about representing large numbers in JSON?

1

This format needs to be able to represent 32-byte storage slot addresses and such. Do we require these be expressed as `0x`-prefixed hexadecimal strings? Or do we require these be...

gnidan

JSON Schema is nice because it gives us a mechanism for specifying example values for schemas. It does not, sadly, afford a way to specify illustrative counter-examples, but we can...

gnidan

Everyone says "When Discord" and "When Telegram" but never "How Discord" or "How Telegram"

gnidan

## Context Our team is actively developing a Solidity debugger aimed at providing a more robust and intuitive debugging experience for Solidity developers. A key feature of any interactive debugger...

RaoulSchaffranek

These might be useful inspiration: GPT-4 and DALL-E are strange bedfellows  

gnidan

More future-proof type definitions (Algebraic data types)

3

[just dumping my comment from matrix] For the high-level type descriptions, I'm still wondering if we should make it more future-proof from the start. We will have general algebraic data...

ekpyron