search

kframework / c-semantics

Semantics of C in K
Other
306 stars 41 forks source link

remove overloaded ExprLoc #617

Closed h0nzZik closed 4 years ago

h0nzZik commented 4 years ago

so that the parser to Kore does not need to choose the right overload