Skip to content
[Jenkins]Jenkins
log in

Changes

origin/trunk-#5393 (Jul 24, 2025, 10:58:32 PM)

  1. Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` — samuel.aime.vivien / githubweb
  2. Changes — samuel.aime.vivien / githubweb

origin/trunk-#5392 (Jul 24, 2025, 7:08:01 AM)

  1. domain.c: fix `stw_resize_minor_heaps_reservation`. — gabriel.scherer / githubweb

origin/trunk-#5391 (Jul 23, 2025, 5:51:44 PM)

  1. use No_scan_tag and NOT_MARKABLE to indicate free block — sadiq / githubweb
  2. change shared pools heap representation to indicate contiguous free ranges — sadiq / githubweb
  3. add prefetching — sadiq / githubweb
  4. add Changes — sadiq / githubweb
  5. actually prefetch a page ahead — sadiq / githubweb
  6. restore split asserts — sadiq / githubweb
  7. clarify comment in verify_pool — sadiq / githubweb
  8. fix bug in compaction — sadiq / githubweb
  9. write Debug_free_major in to newly initialised pools — sadiq / githubweb
  10. fix bug in pool_finalise — sadiq / githubweb
  11. simplify macro — sadiq / githubweb
  12. Update runtime/shared_heap.c — sadiq / githubweb
  13. Update runtime/shared_heap.c — sadiq / githubweb
  14. restore atomic header read — sadiq / githubweb
  15. make note about GC pacing logic — sadiq / githubweb
  16. Update runtime/shared_heap.c — sadiq / githubweb
  17. wh -> Whsize_hd — sadiq / githubweb
  18. always update the pointer in the last free block — sadiq / githubweb
  19. revert all_used annotation — sadiq / githubweb
  20. use POOL_FIRST_BLOCK — sadiq / githubweb

origin/trunk-#5390 (Jul 23, 2025, 1:13:04 PM)

  1. [minor] domain.c: reorder domain_self and heap-reservation variables — gabriel.scherer / githubweb
  2. [minor] domain.c: reorder domain_create — gabriel.scherer / githubweb

origin/trunk-#5389 (Jul 23, 2025, 12:53:22 PM)

  1. Minor heap reservation: change the terminology — gabriel.scherer / githubweb
  2. review: use 'arena' for the (committed) minor heap space — gabriel.scherer / githubweb
  3. self-review: solidify two separate comments on minor heap layout — gabriel.scherer / githubweb

origin/trunk-#5388 (Jul 23, 2025, 12:43:57 PM)

  1. runtime/domain.c: add a category of 'parked' stw_domains — gabriel.scherer / githubweb

origin/trunk-#5387 (Jul 22, 2025, 2:10:00 PM)

  1. bookkeeping: update release info — Florian Angeletti / githubweb

origin/trunk-#5386 (Jul 22, 2025, 2:12:01 AM)

  1. minor gc: more consistent memprof logging — gabriel.scherer / githubweb

origin/trunk-#5385 (Jul 21, 2025, 10:57:27 PM)

  1. Fix dependency generation when tools are disabled — david.allsopp / githubweb
  2. Fix generation of config.status for dynlink — david.allsopp / githubweb
  3. Don't generate ocamltest_config.ml when not needed — david.allsopp / githubweb
  4. Correct ocamltest-manual — david.allsopp / githubweb

origin/trunk-#5384 (Jul 21, 2025, 5:46:53 PM)

  1. symbol names: revert to using `$` only on macOS and Windows (#14143) — noreply / githubweb