Build History for branch/main

Merge pull request #60 from robur-coop/orphans-fix Fix the number of actual orphans we have

Merge pull request #59 from robur-coop/remove-cancelled-syscall Really clean-up cancelled syscalls

Merge pull request #58 from robur-coop/fix-suspend Fix the way we record a new syscall outside Miou

Merge pull request #57 from robur-coop/prepare-v0.3.1 Prepare v0.3.1

Merge pull request #54 from mbarbin/typos Semi-automatic cSpell pass to detect typos

Merge pull request #53 from mbarbin/fix-odoc-warnings Fix (some) odoc warnings

Merge pull request #56 from robur-coop/add-main add x-maintenance-intent field to the opam file

Merge pull request #52 from mbarbin/upgrade-ocamlformat Upgrade ocamlformat to 0.27.0

Merge pull request #51 from mbarbin/fix-fmt Fix fmt

Merge pull request #47 from benjamin-thomas/doc-fix Remove french paragraph, it's already translated

Merge pull request #48 from robur-coop/dom0 Fix an issue when we want to transfer a task to dom0 when dom0 is busy with infinite tasks

Fix an example into the README.md

Merge pull request #46 from robur-coop/reraise Provide Miou.reraise

Merge pull request #43 from robur-coop/document-miou-unix Add a documentation about Unix.file_descr, files, sockets and Miou_unix

Merge pull request #45 from robur-coop/list-iter Use List.iter instead of Hashtbl.iter when we scan file-descriptors

Merge pull request #44 from kit-ty-kate/miou-unix-mini-optim Calculate the default value of Miou_unix.{really_read,read,write} ?len only when necessary

Merge pull request #41 from robur-coop/hot-loop Outperform the way to consume tasks by domains

Merge pull request #38 from robur-coop/prepare-v0.3.0 Prepare v0.3.0

Merge pull request #37 from robur-coop/finaliser-on-select Be able to finalise correctly ressources allocated by the events function when the domain stop

Merge pull request #36 from robur-coop/fix-atomic Some fixes discovered on high usage of Miou.call and Miou.Queue

Merge pull request #35 from robur-coop/backoff Expose the Backoff module which can be usefull for other projects

Merge pull request #34 from robur-coop/pin Be able to pin a domain

Merge pull request #33 from robur-coop/queue-peek Expose Miou.Queue.peek

Merge pull request #32 from robur-coop/safe-orphans Protect the orphans to an invalid usage through an other domain than the owner's one

Merge pull request #27 from ada2k/patch-1 Allow setting reuseaddr and reuseport

Hotfix about a global buffer which should be local at the domain Co-authored-by: Christiano Haesbaert <haesbaert@haesbaert.org>

Merge pull request #28 from robur-coop/fix-pipe-interrupt Set the output pipe as a non-block fd and catch EAGAIN when we write into it

Merge pull request #24 from robur-coop/prepare-v0.2.0 Prepare v0.2.0

Merge pull request #23 from robur-coop/async Rename `Miou.call_cc` to `Miou.async`

Merge pull request #22 from kit-ty-kate/ocaml-5.3 OCaml 5.3 support

Merge pull request 'Update the layout of miou to avoid any trickery from dune' (#57) from layout into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/57

Merge pull request 'fix-data-race' (#56) from fix-data-race into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/56

Merge pull request 'Better implementation and documentation about basic read,really_read,write functions of Miou_unix module' (#54) from improve-doc-miou-unix into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/54

Merge pull request 'sync-dom0' (#53) from sync-dom0 into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/53

Hotfix about the new introduced Miou_unix.really_read function

Merge pull request 'Improve the Miou_unix module' (#52) from improve-unix-module into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/52

Merge pull request 'Rename Miou.set_signal to Miou.sys_signal, also return the old behavior of the signal as Sys.signal' (#50) from signal into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/50

Apply ocamlformat on Miou

Merge pull request 'Add a domain-safe Lazy module' (#49) from lazy into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/49

Merge pull request 'Add a way to add hooks for domains' (#48) from hook into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/48

Merge pull request 'sequence' (#47) from sequence into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/47

Merge pull request 'Prepare v0.1.0' (#45) from prepare-v0.0.1_beta3 into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/45

Lint the opam file and add a lower bound for mtime

Delete the french transcription of the manifesto

Merge pull request 'book' (#44) from book into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/44

Finalize few details about cancellation of syscalls and order of tasks

Fix b0 and topkg

Improve the documentation and the README.md

Improve the documentation about Miou.Ownership

Merge pull request 'New beta3' (#43) from new-beta into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/43

Merge pull request 'Improve the internal code of Miou' (#42) from lint into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/42

Fix a typo into our documentation

Fix typos in examples

Merge pull request 'improve' (#41) from improve into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/41

Merge pull request 'prepare-v0.0.1_beta2' (#40) from prepare-v0.0.1_beta2 into main Reviewed-on: https://git.robur.coop/robur/miou/pulls/40