HOL
HOL copied to clipboard
Organise traces hierarchically
Now there are so many traces, the output provided by traces() is confusing. I think it would be an improvement to group traces into related areas.
Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.
a little standardisation on trace names would be good too (e.g. spaces vs underscores, capitals, ...)
Yes, that's definitely true.
Some work in this direction appeared in 91d667670e8
This is related to #1535 and #28