Organisationsocaml-multicorekcasc408bc

Change to use Picos instead of DLA and DLT This adds support for cancelation through Picos and removes explicit support for timeouts, which simplifies the library. Support for DLA and DLT is removed. This basically also means that one can no longer use Kcas without a scheduler.

Oct 01 14:14 +00:00
port-to-picosBuild History
7m44s
*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.