Improve naming
franziskuskiefer opened this issue · 2 comments
franziskuskiefer commented
I (Lucas) will spend half an hour on that this morning (Monday) to see if that's very quick to fix, otherwise I will work on that next week.
franziskuskiefer commented
@W95Psp what's the state here? Is this still in progress?
W95Psp commented
Yes, that's in progress. I spent some time on that on Monday, but it's not done yet, some WIP state can be found on branch https://github.com/AeneasVerif/eurydice/tree/lucas/improve-names (for now it's only printing monomorphization information as comments in the C extraction).