simon
0 followers · 0 following
  • Joined on 2025-01-28
Repositories
10
 Projects Packages Public activity Starred repositories
simon synced commits to refs/pull/472/merge at simon/ocaml-containers from mirror 2025-11-14 16:40:32 -05:00
c06b5a57db Merge fd1495324a into 14ad490c7e
14ad490c7e fix: insert missing symbol into range doc comments
Compare 2 commits »
simon synced commits to refs/pull/40/head at simon/moonpool from mirror 2025-11-14 00:20:47 -05:00
0b28898586 rename
simon synced commits to refs/tags/v0.10 at simon/moonpool from mirror 2025-11-14 00:20:47 -05:00
simon synced new reference refs/tags/v0.10 to simon/moonpool from mirror 2025-11-14 00:20:47 -05:00
simon synced commits to refs/pull/36/head at simon/moonpool from mirror 2025-11-14 00:20:46 -05:00
b1688f71e7 more signal handling
794b263d36 improve lock
a40ea8b41b avoid recursion in dpool
40e97d969a fix domain pool: block signals in background threads
c3f235f7e9 Merge pull request #40 from c-cube/simon/reduce-scope-round2
Compare 97 commits »
simon synced commits to main at simon/moonpool from mirror 2025-11-14 00:20:44 -05:00
4de33f0121 prepare for 0.10
58a0f891f7 Merge pull request #36 from c-cube/simon/fix-35
b1688f71e7 more signal handling
794b263d36 improve lock
a40ea8b41b avoid recursion in dpool
Compare 18 commits »
simon synced and deleted reference refs/tags/simon/reduce-scope-round2 at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
simon synced and deleted reference refs/tags/refs/pull/36/merge at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
simon synced and deleted reference refs/tags/refs/pull/40/merge at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
simon synced commits to gh-pages at simon/moonpool from mirror 2025-11-14 00:20:43 -05:00
338ed1fdfc deploy: 4de33f0121
564fe8399e deploy: 58a0f891f7
72fd2a8ad9 deploy: c3f235f7e9
Compare 3 commits »
simon synced and deleted reference refs/tags/simon/fix-35 at simon/moonpool from mirror 2025-11-14 00:20:42 -05:00
simon synced commits to simon/reduce-scope-round2 at simon/moonpool from mirror 2025-11-12 15:40:33 -05:00
997d996c13 fix test
simon synced commits to simon/reduce-use-tls at simon/moonpool from mirror 2025-11-12 15:40:33 -05:00
simon synced new reference simon/reduce-use-tls to simon/moonpool from mirror 2025-11-12 15:40:33 -05:00
simon synced commits to refs/pull/40/head at simon/moonpool from mirror 2025-11-12 15:40:33 -05:00
997d996c13 fix test
simon synced commits to refs/pull/40/merge at simon/moonpool from mirror 2025-11-12 15:40:33 -05:00
f68fc426b2 Merge 997d996c13 into d957f7b54e
997d996c13 fix test
Compare 2 commits »
simon synced commits to simon/reduce-scope-round2 at simon/moonpool from mirror 2025-11-12 07:30:31 -05:00
89b8ed3221 wip
b53a067234 fix test
2c3cc8892a consolidate thread-local-storage into single record
ee7972910f breaking: remove around_task from schedulers
2ce3fa7d3e docs
Compare 6 commits »
simon synced commits to refs/pull/40/head at simon/moonpool from mirror 2025-11-12 07:30:31 -05:00
89b8ed3221 wip
b53a067234 fix test
2c3cc8892a consolidate thread-local-storage into single record
ee7972910f breaking: remove around_task from schedulers
2ce3fa7d3e docs
Compare 6 commits »
simon synced commits to refs/pull/40/merge at simon/moonpool from mirror 2025-11-12 07:30:31 -05:00
766ba10208 Merge 89b8ed3221 into d957f7b54e
89b8ed3221 wip
b53a067234 fix test
2c3cc8892a consolidate thread-local-storage into single record
ee7972910f breaking: remove around_task from schedulers
Compare 7 commits »
simon synced commits to refs/pull/36/merge at simon/moonpool from mirror 2025-10-30 10:30:34 -04:00
7c64ad9400 Merge 01cdb66f1f into d957f7b54e
d957f7b54e small refactor
a26503df0b refactor chan; fix bug in Chan.try_push
92300ad698 fix: make Moonpool_lwt.fut_of_lwt idempotent
538f3df31a doc correction
Compare 61 commits »