Skip to content
[Jenkins]Jenkins
log in

Changes

origin/trunk-#4809 (Aug 27, 2025, 4:01:20 PM)

  1. Fix pthread_setname_np under NetBSD — antonin / githubweb

origin/trunk-#4808 (Aug 27, 2025, 12:58:39 PM)

  1. Fix #14200 (without breaking pr7321_ok.ml) (#14202) — noreply / githubweb

origin/trunk-#4807 (Aug 26, 2025, 2:49:51 PM)

  1. Constraints on module unpacking are not ghost (#14198) — noreply / githubweb

origin/trunk-#4806 (Aug 25, 2025, 8:52:23 PM)

  1. Misc.invert_build_path_prefix_map — pierre.boutillier / githubweb
  2. Apply BUILD_PATH_PREFIX_MAP to pathes found in files by the debugger — pierre.boutillier / githubweb
  3. Change reverted for now — pierre.boutillier / githubweb
  4. Changes — pierre.boutillier / githubweb

origin/trunk-#4805 (Aug 25, 2025, 10:41:06 AM)

  1. Ensure the minor heap is actually empty before reallocating it — mshinwell / githubweb
  2. use No_scan_tag and NOT_MARKABLE to indicate free block — sadiq / githubweb
  3. change shared pools heap representation to indicate contiguous free ranges — sadiq / githubweb
  4. add prefetching — sadiq / githubweb
  5. add Changes — sadiq / githubweb
  6. actually prefetch a page ahead — sadiq / githubweb
  7. restore split asserts — sadiq / githubweb
  8. clarify comment in verify_pool — sadiq / githubweb
  9. fix bug in compaction — sadiq / githubweb
  10. write Debug_free_major in to newly initialised pools — sadiq / githubweb
  11. fix bug in pool_finalise — sadiq / githubweb
  12. simplify macro — sadiq / githubweb
  13. Update runtime/shared_heap.c — sadiq / githubweb
  14. Update runtime/shared_heap.c — sadiq / githubweb
  15. restore atomic header read — sadiq / githubweb
  16. make note about GC pacing logic — sadiq / githubweb
  17. Update runtime/shared_heap.c — sadiq / githubweb
  18. wh -> Whsize_hd — sadiq / githubweb
  19. always update the pointer in the last free block — sadiq / githubweb
  20. revert all_used annotation — sadiq / githubweb
  21. error messages: external with non-syntactic arity — Florian Angeletti / githubweb
  22. release calendar update — Florian Angeletti / githubweb
  23. Upstream "mark-delay" change from flambda-backend. — Nick.Barnes / githubweb
  24. Hack to work around accounting problem: artificially catch-up work_counter at the start of any slice when it falls very far behind alloc_counter. — Nick.Barnes / githubweb
  25. fix finaliser handling bug — Nick.Barnes / githubweb
  26. Guard call to caml_darken — Nick.Barnes / githubweb
  27. Fix ephe_custom.ml test for the mark-delay scheme — Nick.Barnes / githubweb
  28. Don't make finaliser updates dependent on work being available. — Nick.Barnes / githubweb
  29. Removed unused field in package_type — samuel.aime.vivien / githubweb
  30. Changes — samuel.aime.vivien / githubweb
  31. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) — noreply / githubweb
  32. Move the orphaned ephemerons GC colour check inside the barrier. — kc / githubweb
  33. minor gc: more consistent memprof logging — gabriel.scherer / githubweb
  34. Fix missing expectations in typing-poly/poly.ml — source / githubweb
  35. Additional corrections — source / githubweb
  36. Audit unexecuted phrases — source / githubweb
  37. Audit — source / githubweb
  38. Fix audit — source / githubweb
  39. Changes — source / githubweb
  40. Update changes — source / githubweb
  41. runtime: free the minor heap when leaving STW participants — gabriel.scherer / githubweb
  42. Update parser and adapt to the new Tpoly invariant. Requires bootstrap. — Florian Angeletti / githubweb
  43. bootstrap — Florian Angeletti / githubweb
  44. Add tests for polymorphic parameters — Florian Angeletti / githubweb
  45. Promote polymorphic parameters tests failures — Florian Angeletti / githubweb
  46. Refactor: more descriptive return type for [split_function], renaming and comment work — Florian Angeletti / githubweb
  47. Introduce new error "opt params cannot be polymorphic" — Florian Angeletti / githubweb
  48. Wrap and generalize filter_arrow_mono if principal — Florian Angeletti / githubweb
  49. Handle polymorphic parameters in type_apply_arg — Florian Angeletti / githubweb
  50. Refactor Pexp_function case and handle poly — Florian Angeletti / githubweb
  51. Add one generalization level in type_class_arg_pattern — Florian Angeletti / githubweb
  52. Handle polymorphic parameters in [type_approx and] [type_pat_aux] — Florian Angeletti / githubweb
  53. Add changes entry for #15733 — Florian Angeletti / githubweb
  54. Add test with class argument — Florian Angeletti / githubweb
  55. Additional tests with labels — Florian Angeletti / githubweb
  56. review: reorder functions in btype — Florian Angeletti / githubweb
  57. review: comment format — Florian Angeletti / githubweb
  58. review: add a Btype.newgenmono utility symetrical to Ctype.newmono — Florian Angeletti / githubweb
  59. review: use label names in error messages — Florian Angeletti / githubweb
  60. review: additional tests — Florian Angeletti / githubweb
  61. Add test for polymorphic variants in polymorphic parameters — Florian Angeletti / githubweb
  62. Take fixed instances of polys where appropriate — Florian Angeletti / githubweb
  63. Show issue with subtyping trace — Florian Angeletti / githubweb
  64. Fix subtyping error trace — Florian Angeletti / githubweb
  65. tests: Promote error messages improvements after rebasing. — Florian Angeletti / githubweb
  66. review: more reuse in parser and reloc in [param_type] — Florian Angeletti / githubweb
  67. review: move [is_really_poly] utility to Ctype. — Florian Angeletti / githubweb
  68. Add more test cases — Florian Angeletti / githubweb
  69. Move definition closer to usage — Florian Angeletti / githubweb
  70. Additional test cases — Florian Angeletti / githubweb
  71. Document function in comment — Florian Angeletti / githubweb
  72. Add test cases — Florian Angeletti / githubweb
  73. Fix typo in error message — Florian Angeletti / githubweb
  74. Rename function and move it to Btype — Florian Angeletti / githubweb
  75. Inline function and exception used only once — Florian Angeletti / githubweb
  76. Document function — Florian Angeletti / githubweb
  77. Enforce Tpoly invariant — Florian Angeletti / githubweb
  78. Clarify conditions — Florian Angeletti / githubweb
  79. Clearer argument label and field names — Florian Angeletti / githubweb
  80. Turn ordinary comment into a documentation comment — Florian Angeletti / githubweb
  81. Clearer variable name — Florian Angeletti / githubweb
  82. Fix wrong set of univars — Florian Angeletti / githubweb
  83. review: De-duplicate parser rule for let — Florian Angeletti / githubweb
  84. review: Add test with syntactic arity mismatch — Florian Angeletti / githubweb
  85. review: Fix test — Florian Angeletti / githubweb
  86. Fix dependency generation when tools are disabled — david.allsopp / githubweb
  87. Fix generation of config.status for dynlink — david.allsopp / githubweb
  88. Don't generate ocamltest_config.ml when not needed — david.allsopp / githubweb
  89. Correct ocamltest-manual — david.allsopp / githubweb
  90. symbol names: revert to using `$` only on macOS and Windows (#14143) — noreply / githubweb
  91. bookkeeping: update release info — Florian Angeletti / githubweb
  92. Minor heap reservation: change the terminology — gabriel.scherer / githubweb
  93. review: use 'arena' for the (committed) minor heap space — gabriel.scherer / githubweb
  94. self-review: solidify two separate comments on minor heap layout — gabriel.scherer / githubweb
  95. runtime/domain.c: add a category of 'parked' stw_domains — gabriel.scherer / githubweb
  96. [minor] domain.c: reorder domain_self and heap-reservation variables — gabriel.scherer / githubweb
  97. [minor] domain.c: reorder domain_create — gabriel.scherer / githubweb
  98. use POOL_FIRST_BLOCK — sadiq / githubweb
  99. domain.c: fix `stw_resize_minor_heaps_reservation`. — gabriel.scherer / githubweb
  100. Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` — samuel.aime.vivien / githubweb
  101. Changes — samuel.aime.vivien / githubweb
  102. add hashtbl remove and replace which return the previous value (#14060) — noreply / githubweb
  103. Memprof.start replaces any existing profile in the domain, Memprof.is_sampling — gabriel.scherer / githubweb
  104. Adjust test and add test — gabriel.scherer / githubweb
  105. [minor] Code clean-up — gabriel.scherer / githubweb
  106. [documentation] Clarify a difference between threads and domains — gabriel.scherer / githubweb
  107. Changes — gabriel.scherer / githubweb
  108. Clarify test — gabriel.scherer / githubweb
  109. Run callbacks before starting a different profile — gabriel.scherer / githubweb
  110. Bump multicoretests to the trunk-compatible 0.9 — mail / githubweb
  111. Also bump qcheck to 0.26 while we are at it — mail / githubweb
  112. runtime: host aligned fibers inside the fiber cache whenever possible (#14169) — noreply / githubweb
  113. Add expectation to wellfounded11150.ml (#14170) — noreply / githubweb
  114. Print row types when they are GADT constructors — source / githubweb
  115. Better Btype.is_row_name — source / githubweb
  116. Gc.stat: restore stack_size and add live_stacks_words (#14168) — noreply / githubweb
  117. error message: explain quantification mismatches — Florian Angeletti / githubweb
  118. deprecation alert: file location — Florian Angeletti / githubweb
  119. update Changes — Florian Angeletti / githubweb
  120. Fix #13658 — source / githubweb
  121. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). — Nick.Barnes / githubweb
  122. Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS. — timmcgil / githubweb
  123. ocamlprof: do not instrument unreachable clauses — gabriel.scherer / githubweb
  124. Changes — gabriel.scherer / githubweb
  125. Changes: 14169 was included in 5.4 — gabriel.scherer / githubweb
  126. Add Changes — timmcgil / githubweb
  127. Highlight known units for runtime_counter. — timmcgil / githubweb

origin/trunk-#4804 (Jul 16, 2025, 10:27:12 AM)

  1. [minor] indentation fix in errortrace_report — gabriel.scherer / githubweb