search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Location information in outer lexer #1052

Closed gtrepta closed 4 months ago

gtrepta commented 5 months ago

runtimeverification/k#4180

gtrepta commented 5 months ago

Marking this for review without doing tokens for attributes. Attributes don't have any location information in the kast format, so supporting it would require more work than just getting locations on these tokens.

tothtamas28 commented 5 months ago

Converting this to draft to avoid accidentally merging it before the repo merge.

Baltoli commented 4 months ago

https://github.com/runtimeverification/k/pull/4251