Closed jryans closed 2 years ago
Cool project, thanks for raising it to my attention!
On Fri, 28 Jan 2022 at 23:42, J. Ryan Stinnett @.***> wrote:
https://github.com/janestreet/magic-trace
More info: https://blog.janestreet.com/magic-trace/
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: @.***>
I added this a while back, just getting around to closing this bug now: https://profilerpedia.markhansen.co.nz/profilers/magic-trace/
https://github.com/janestreet/magic-trace
More info: https://blog.janestreet.com/magic-trace/