gzipped json output

[nevion]

Chrome's about:tracing supports gzipped json as well as plain text. Per your note you might add a command line flag to write one of these gzipped files. I'd suggest some effort into making sure it's a streaming gzip write, table by table, so you don't end up sucking up several gigs of memory on more complicated profiling.

I think you could also do a batch submission to c++filt and get a reasonable speedup, in < 10 lines of code.
I'd be interested in seeing performance improvements and memory utilization optimizations, such as . Table by table is a great starter though, with minimal effort.

Cool project btw.

[ezyang]

Happy to add you with commit bits if you're interested in adding these features :)