Issues
- 10
- 0
- 1
Improve encoding of the sourcemaps
#43 opened by yann300 - 1
Local variables tracking
#42 opened by yann300 - 1
When a JUMPDEST is reached, the compiler should return precise information about the AST node it is jumped to (if any).
#41 opened by yann300 - 1
- 0
Schemas should be able to define counter-examples (and the test suite should test those)
#58 opened by gnidan - 0
Our project's chat does not bridge messages to one of those popular chat services that run on someone else's for-profit computer
#47 opened by gnidan - 0
Feature Request: Annotating Start and End Instructions for Solidity Statements to Enhance Interactive Stepping Semantics
#40 opened by RaoulSchaffranek - 0
This working group / project does not have a logo
#39 opened by gnidan - 3
- 2
Discussion at DevCon VI (2022-10-14) needs review
#10 opened by gnidan - 1
- 0
- 0
Clarification on argument's `position`
#29 opened by cameel - 1
Marking mapping key locations
#35 opened by haltman-at - 1
- 0
Representing variables and parameters
#36 opened by veniger - 0
Clarifications on `definitionScope`
#27 opened by cameel - 1
Representing entering inlined functions
#32 opened by veniger - 0
`located` types vs generic locations
#28 opened by cameel - 0
Multiple Named Sets of source locations
#30 opened by ekpyron - 1
Types of stack slots; stack components of types
#21 opened by ekpyron - 1
Granularity of Stack layouts
#20 opened by ekpyron - 1
Accounting for Code Deduplication
#22 opened by ekpyron - 3
Friday is likely not the best day for our calls
#11 opened by gnidan - 0
Consider including Fe in the spec
#26 opened by cameel - 2
Project lacks process
#3 opened by gnidan - 1
There is no CONTRIBUTING guide
#4 opened by gnidan - 5
Licensing is unclear
#7 opened by gnidan - 0
- 0
What are this project's output artifacts?
#6 opened by gnidan - 0
Stated goals are missing
#2 opened by gnidan