HOL icon indicating copy to clipboard operation
HOL copied to clipboard

Organise traces hierarchically

Open mn200 opened this issue 14 years ago • 4 comments

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.

mn200 avatar Oct 04 '11 00:10 mn200

a little standardisation on trace names would be good too (e.g. spaces vs underscores, capitals, ...)

xrchz avatar Oct 04 '11 07:10 xrchz

Yes, that's definitely true.

mn200 avatar Oct 04 '11 09:10 mn200

Some work in this direction appeared in 91d667670e8

mn200 avatar Aug 01 '14 04:08 mn200

This is related to #1535 and #28

xrchz avatar Aug 07 '25 11:08 xrchz