Code

feat: socket support using LibUV#6683

Code

Open

algebraic-dev wants to merge 79 commits intoleanprover:masterleanprover/lean4:masterfrom algebraic-dev:tcp-socketalgebraic-dev/lean4:tcp-socketCopy head branch name to clipboard

Commits

Commits on Jan 10, 2025

• feat: implement the basic libuv event loop

  Show description for b875f26
  

  algebraic-dev

  and

  hargoniX

  committed
  b875f26

  Copy full SHA for b875f26

• doc: the event loop

  hargoniX

  committed
  7528056

  Copy full SHA for 7528056

• fix: make the cond var safe and document it

  hargoniX

  committed
  50cc599

  Copy full SHA for 50cc599

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

  Show description for cd71bf0
  

  3 peoplecommitted
  cd71bf0

  Copy full SHA for cd71bf0

• feat: asynchronous timer API (leanprover#6306)

  Show description for f1e506a
  hargoniX

  authored
  f1e506a

  Copy full SHA for f1e506a

• feat: start of the uv tc

  algebraic-dev

  committed
  c18310d

  Copy full SHA for c18310d

• feat: basic tcp structure

  algebraic-dev

  committed
  5726fcd

  Copy full SHA for 5726fcd

• Merge branch 'ft-async' of github.com:leanprover/lean4 into tcp-socket

  algebraic-dev

  committed
  f376f93

  Copy full SHA for f376f93

Commits on Jan 14, 2025

• feat: progress on connection

  algebraic-dev

  committed
  da8919a

  Copy full SHA for da8919a

• feat: three functions

  algebraic-dev

  committed
  04621bb

  Copy full SHA for 04621bb

Commits on Jan 17, 2025

• merge branch 'master' of github.com:leanprover/lean4 into tcp-socket

  Show description for 7a1c978
  algebraic-dev

  committed
  7a1c978

  Copy full SHA for 7a1c978

Commits on Jan 18, 2025

• chore: remove useless comment

  algebraic-dev

  committed
  260d5cb

  Copy full SHA for 260d5cb

• chore: remove useless modifications

  algebraic-dev

  committed
  8e2fe1c

  Copy full SHA for 8e2fe1c

Commits on Jan 23, 2025

• feat: impl all functions

  algebraic-dev

  committed
  9c2e66b

  Copy full SHA for 9c2e66b

• fix: namespace brace

  algebraic-dev

  committed
  c08d70b

  Copy full SHA for c08d70b

• fix: memory leak in accept

  algebraic-dev

  committed
  889f9cb

  Copy full SHA for 889f9cb

• chore: stylistic changes

  algebraic-dev

  committed
  cc2baa4

  Copy full SHA for cc2baa4

• chore: small changes

  algebraic-dev

  committed
  28fe474

  Copy full SHA for 28fe474

• chore: remove useless print

  algebraic-dev

  committed
  6e6016e

  Copy full SHA for 6e6016e

Commits on Jan 28, 2025

• chore: comments and messages

  algebraic-dev

  committed
  abf70f8

  Copy full SHA for abf70f8

• chore: move things around

  algebraic-dev

  committed
  128aec9

  Copy full SHA for 128aec9

Commits on Jan 29, 2025

• Merge branch 'libuv-move' of github.com:algebraic-dev/lean4 into tcp-socket

  algebraic-dev

  committed
  4ec0f5f

  Copy full SHA for 4ec0f5f

• fix: behavior of loop configure function

  algebraic-dev

  committed
  fdd5599

  Copy full SHA for fdd5599

• Merge branch 'libuv-move' of github.com:algebraic-dev/lean4 into tcp-socket

  algebraic-dev

  committed
  9e39fbd

  Copy full SHA for 9e39fbd

• feat: high level interface and fix some memory leaks

  algebraic-dev

  committed
  989f4f6

  Copy full SHA for 989f4f6

Commits on Jan 30, 2025

• feat: opt in client accept and fix some lean_dec and lean_inc

  algebraic-dev

  committed
  21f3829

  Copy full SHA for 21f3829

• feat: move namespace

  algebraic-dev

  committed
  65e3165

  Copy full SHA for 65e3165

• feat: add shutdown and warning

  algebraic-dev

  committed
  05dc16a

  Copy full SHA for 05dc16a

• fix: replace new with malloc

  algebraic-dev

  committed
  cefb9f0

  Copy full SHA for cefb9f0

• chore: remove useless file

  algebraic-dev

  committed
  20f04e8

  Copy full SHA for 20f04e8

Commits on Feb 4, 2025

• feat: add buffer_size

  algebraic-dev

  committed
  f2a514d

  Copy full SHA for f2a514d

• fix: bug in getsockaddr

  algebraic-dev

  committed
  67800fd

  Copy full SHA for 67800fd

• chore: add test

  algebraic-dev

  committed
  e52e3a2

  Copy full SHA for e52e3a2

• fix: parametre in the timer.lean

  algebraic-dev

  committed
  e6e3ec8

  Copy full SHA for e6e3ec8

• Merge branch 'libuv-move' of github.com:algebraic-dev/lean4 into tcp-socket

  algebraic-dev

  committed
  400d2a2

  Copy full SHA for 400d2a2

• refactor: use async monad, just to show the example

  algebraic-dev

  committed
  e55f9f0

  Copy full SHA for e55f9f0

Commits on Feb 5, 2025

• fix: lean_always_assert

  algebraic-dev

  committed
  cc8ae03

  Copy full SHA for cc8ae03

• Merge branch 'libuv-move' of github.com:algebraic-dev/lean4 into tcp-socket

  algebraic-dev

  committed
  27a55f1

  Copy full SHA for 27a55f1

Commits on Feb 7, 2025

• fix: documentation and function signature

  algebraic-dev

  committed
  1a5dcde

  Copy full SHA for 1a5dcde

• fix: remove user io error

  algebraic-dev

  committed
  061c218

  Copy full SHA for 061c218

• feat: improve async tcp interface

  algebraic-dev

  committed
  2419b54

  Copy full SHA for 2419b54

• Merge branch 'master' of github.com:leanprover/lean4 into tcp-socket

  algebraic-dev

  committed
  ccdcda2

  Copy full SHA for ccdcda2

• fix: remove Tcp.lean files that MacOS don't detect because of the case insensitive file system

  algebraic-dev

  committed
  ff1921a

  Copy full SHA for ff1921a

• fix: deprecation

  algebraic-dev

  committed
  a577e78

  Copy full SHA for a577e78

Commits on Feb 16, 2025

• chore: remove trailing space

  algebraic-dev

  committed
  42a66e6

  Copy full SHA for 42a66e6

• chore: rename test

  algebraic-dev

  committed
  622ddb6

  Copy full SHA for 622ddb6

• chore: rename test

  algebraic-dev

  committed
  aa0136c

  Copy full SHA for aa0136c

• chore: rename comments

  algebraic-dev

  committed
  c5cbad5

  Copy full SHA for c5cbad5

• fix: problem with fnames

  algebraic-dev

  committed
  a6cf636

  Copy full SHA for a6cf636

Commits on Feb 18, 2025

• Merge branch 'master' of github.com:leanprover/lean4 into tcp-socket

  algebraic-dev

  committed
  cbbc39f

  Copy full SHA for cbbc39f

Commits on Feb 21, 2025

• feat: udp sockets and try_send

  algebraic-dev

  committed
  60677f5

  Copy full SHA for 60677f5

Commits on Feb 22, 2025

• fix: unpack_io

  algebraic-dev

  committed
  46c9d2d

  Copy full SHA for 46c9d2d

Commits on Feb 24, 2025

• fix: problems with udp

  algebraic-dev

  committed
  d541dfd

  Copy full SHA for d541dfd

• refactor: remove int32 and changed to bool

  algebraic-dev

  committed
  14079eb

  Copy full SHA for 14079eb

• feat: add coypright header

  algebraic-dev

  committed
  6fc9b0c

  Copy full SHA for 6fc9b0c

• feat: is_active, is_writable and is_readable

  algebraic-dev

  committed
  eaacbeb

  Copy full SHA for eaacbeb

Commits on Feb 25, 2025

• fix: remove useless functions and add locks

  algebraic-dev

  committed
  99319f1

  Copy full SHA for 99319f1

• refactor: change recv to recv?

  algebraic-dev

  committed
  09b0875

  Copy full SHA for 09b0875

• feat: socketaddress in udp recv

  algebraic-dev

  committed
  a9ea53e

  Copy full SHA for a9ea53e

• fix: tests

  algebraic-dev

  committed
  5efc178

  Copy full SHA for 5efc178

• chore: remove strange comments and fix stuff

  algebraic-dev

  committed
  be593a6

  Copy full SHA for be593a6

Commits on Feb 26, 2025

• chore: update some function names and comments

  algebraic-dev

  committed
  ad3fb4a

  Copy full SHA for ad3fb4a

• refactor: needlessly complicated code

  Show description for 5ed9446
  

  algebraic-dev

  and

  hargoniX

  authored
  5ed9446

  Copy full SHA for 5ed9446

• chore: comments, function names and casts

  algebraic-dev

  committed
  2c3dafa

  Copy full SHA for 2c3dafa

• Merge branch 'tcp-socket' of github.com:algebraic-dev/lean4 into tcp-socket

  algebraic-dev

  committed
  75ae1ba

  Copy full SHA for 75ae1ba

• refactor: remove functions from event_loop.h

  algebraic-dev

  committed
  b34ce38

  Copy full SHA for b34ce38

• chore: remove membership from the internal udp file

  algebraic-dev

  committed
  099e278

  Copy full SHA for 099e278

• feat: remove promise leaks

  algebraic-dev

  committed
  f23d664

  Copy full SHA for f23d664

Commits on Feb 27, 2025

• fix: possible memory leaks and race conditions

  algebraic-dev

  committed
  5baf031

  Copy full SHA for 5baf031

Commits on Feb 28, 2025

• fix: ipv6

  algebraic-dev

  committed
  0d495db

  Copy full SHA for 0d495db

• chore: remove space

  algebraic-dev

  committed
  a43918c

  Copy full SHA for a43918c

• refactor: remove UDP stuff

  algebraic-dev

  committed
  0d73d39

  Copy full SHA for 0d73d39

Commits on Mar 7, 2025

• fix: small fixes

  algebraic-dev

  committed
  9ea39c8

  Copy full SHA for 9ea39c8

• chore: fix all pointers code style

  algebraic-dev

  committed
  59c4505

  Copy full SHA for 59c4505

Commits on Mar 11, 2025

• fix: unlocks in the right place, and comments

  algebraic-dev

  committed
  a58ca30

  Copy full SHA for a58ca30

• chore: fix comment

  algebraic-dev

  committed
  916cfd7

  Copy full SHA for 916cfd7

• chore: fix signature

  Show description for ed7c547
  

  algebraic-dev

  and

  hargoniX

  authored
  ed7c547

  Copy full SHA for ed7c547

• fix: int32

  algebraic-dev

  committed
  897e8a1

  Copy full SHA for 897e8a1

• merge: branch 'tcp-socket' of github.com:algebraic-dev/lean4 into tcp-socket

  algebraic-dev

  committed
  426c040

  Copy full SHA for 426c040