Code

feat: asynchronous timer API#6306

Code

Merged

hargoniX merged 9 commits intoft-asyncleanprover/lean4:ft-asyncfrom hbv/async-sleepleanprover/lean4:hbv/async-sleepCopy head branch name to clipboardJan 10, 2025

+362

Commits

Commits on Jan 10, 2025

• feat: first throw at async sleep interface

  hargoniX

  committed
  3810419

  Copy full SHA for 3810419

• chore: inlining

  hargoniX

  committed
  14322cb

  Copy full SHA for 14322cb

• chore: make the import

  hargoniX

  committed
  2541db2

  Copy full SHA for 2541db2

• feat: bring over stop

  hargoniX

  committed
  a232bf0

  Copy full SHA for a232bf0

• chore: split it up

  hargoniX

  committed
  38d304d

  Copy full SHA for 38d304d

• test: the surface level API

  hargoniX

  committed
  80a8a5d

  Copy full SHA for 80a8a5d

• chore: intermediate

  hargoniX

  committed
  8e0218e

  Copy full SHA for 8e0218e

• feat: add duration side condition for repeating timer

  hargoniX

  committed
  b6c2038

  Copy full SHA for b6c2038

• chore: remove sorries

  hargoniX

  committed
  624e47a

  Copy full SHA for 624e47a