Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix data race in at_exit and Printexc.register_printer with systhreads (commit: abe9821) (details)
  2. Implement at_exit with Atomics (commit: a469b4d) (details)
  3. Make at_exit forward-compatible with multicore (commit: 1e4eea1) (details)
Commit abe982165b3a6a1c12be1c9467a50992fe421b75 by guillaume.munch-maccagnoni
Fix data race in at_exit and Printexc.register_printer with systhreads
 (commit: abe9821)
The file was modifiedstdlib/stdlib.ml (diff)
The file was modifiedstdlib/StdlibModules (diff)
The file was modifiedstdlib/printexc.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedstdlib/.depend (diff)
Commit a469b4d0af91e5126d2de3cd324d36eec75b2e52 by guillaume.munch-maccagnoni
Implement at_exit with Atomics

Atomic becomes a dependency of Stdlib
 (commit: a469b4d)
The file was modifiedstdlib/StdlibModules (diff)
The file was modifiedstdlib/dune (diff)
The file was modifiedstdlib/Makefile (diff)
The file was modifiedstdlib/Compflags (diff)
The file was modifiedstdlib/atomic.ml (diff)
The file was modifiedstdlib/stdlib.ml (diff)
Commit 1e4eea19ef13a970849cc6d4376e7afbdd40aa88 by guillaume.munch-maccagnoni
Make at_exit forward-compatible with multicore
 (commit: 1e4eea1)
The file was modifiedstdlib/stdlib.ml (diff)