Skip to content

add '.name' constant to HParserVtable

Marco requested to merge nobody/hammer:f-name-constant-in-vtable into master

Does what it says on the box, great for debugging & code generation – Coq backend will use this unless a different approach is requested.

Open questions:

  • does this need tests? (If yes, what/how? Haven't looked in detail at the test infrastructure yet.)

Not sure if I'm missing anything else, didn't notice anything yet…

Merge request reports