Code

feat: implement basic async IO#6505

Code

Draft

hargoniX wants to merge 4 commits intomasterleanprover/lean4:masterfrom ft-asyncleanprover/lean4:ft-asyncCopy head branch name to clipboard

+883-4

Commits

Commits on Jan 2, 2025

• feat: implement the basic libuv event loop

  Show description for 12724c8
  

  algebraic-dev

  and

  hargoniX

  committed
  12724c8

• doc: the event loop

  hargoniX

  committed
  7d43f32

• fix: make the cond var safe and document it

  hargoniX

  committed
  2a8f136

Commits on Jan 6, 2025

• feat: add async timer primitives based on libuv (#6219)

  Show description for b6f02ac
  

  3 peopleauthored
  b6f02ac