Code

[WIP] use new timing api#311

Code

Closed

vilterp wants to merge 3 commits intotimholy:mastertimholy/SnoopCompile.jl:masterfrom vilterp:pv-use-new-apivilterp/SnoopCompile.jl:pv-use-new-apiCopy head branch name to clipboard

+23-12

Commits

Commits on Nov 17, 2022

• use new timing api

  vilterp

  committed
  c0de325

  Copy full SHA for c0de325

Commits on Nov 18, 2022

• remove another usage of reset_timings

  vilterp

  committed
  029b19b

  Copy full SHA for 029b19b

Commits on Nov 22, 2022

• make precompile work in old case

  vilterp

  committed
  3e19101

  Copy full SHA for 3e19101