[WIP] use new timing api#311

Closed

vilterp wants to merge 3 commits intoJuliaDebug:masterfrom

vilterp:pv-use-new-api

Commits on Nov 17, 2022

use new timing api
vilterp
committed

Commits on Nov 18, 2022

remove another usage of reset_timings
vilterp
committed

Commits on Nov 22, 2022

make precompile work in old case
vilterp
committed