Skip to content

Introduce timeProfileTick#

Ben Gamari requested to merge wip/time-profile-tick into master

Here we introduce a new primop, timeProfileTick#, which allows the user to repurpose time profiling to record arbitrary events.

Edited by Ben Gamari

Merge request reports