Code

Improved timers#272

Code

Merged

mdorier merged 8 commits intomainmochi-hpc/mochi-margo:mainfrom dev-improved-timersmochi-hpc/mochi-margo:dev-improved-timersCopy head branch name to clipboardApr 12, 2024

+513-174

Commits

Commits on Apr 10, 2024

• improved timers

  mdorier

  committed
  3656f95

• improved cancellation and destruction of timers

  mdorier

  committed
  21e2fce

• added missing codecov token in github action

  mdorier

  committed
  a11fb49

• trying to fix code coverage workflow

  mdorier

  committed
  1e8c605

Commits on Apr 11, 2024

• fixing typo

  mdorier

  committed
  bcf8f16

• disallow margo_timer_start when timer is being canceled

  mdorier

  committed
  8bee0a5

• complete overhaul of the timer system

  mdorier

  committed
  fd2769b

Commits on Apr 12, 2024

• added margo_timer_cancel_many

  mdorier

  committed
  d981396