Skip to content
[Jenkins]Jenkins
log in

Changes

#2922 (Aug 1, 2025, 3:18:33 PM)

  1. deprecation alert: file location (commit: 80872a5) — Florian Angeletti / githubweb

#2921 (Jul 31, 2025, 4:32:55 PM)

  1. Gc.stat: restore stack_size and add live_stacks_words (#14168) (commit: 78a9495) — noreply / githubweb

#2920 (Jul 31, 2025, 1:58:32 PM)

  1. Print row types when they are GADT constructors (commit: ae66354) — source / githubweb
  2. Better Btype.is_row_name (commit: 8c57adb) — source / githubweb

#2919 (Jul 30, 2025, 11:12:23 AM)

  1. Add expectation to wellfounded11150.ml (#14170) (commit: a2eb4b7) — noreply / githubweb

#2918 (Jul 30, 2025, 11:09:52 AM)

  1. runtime: host aligned fibers inside the fiber cache whenever possible (#14169) (commit: 34a810a) — noreply / githubweb

#2917 (Jul 30, 2025, 11:06:42 AM)

  1. Bump multicoretests to the trunk-compatible 0.9 (commit: 43f3935) — mail / githubweb
  2. Also bump qcheck to 0.26 while we are at it (commit: 1431910) — mail / githubweb

#2916 (Jul 29, 2025, 2:45:34 PM)

  1. Memprof.start replaces any existing profile in the domain, Memprof.is_sampling (commit: bab7aa8) — gabriel.scherer / githubweb
  2. Adjust test and add test (commit: 532fb2a) — gabriel.scherer / githubweb
  3. [minor] Code clean-up (commit: 18e0162) — gabriel.scherer / githubweb
  4. [documentation] Clarify a difference between threads and domains (commit: c0e29d9) — gabriel.scherer / githubweb
  5. Changes (commit: c12e33c) — gabriel.scherer / githubweb
  6. Clarify test (commit: 632b901) — gabriel.scherer / githubweb
  7. Run callbacks before starting a different profile (commit: 201ea83) — gabriel.scherer / githubweb

#2915 (Jul 29, 2025, 11:44:57 AM)

  1. Upstream "mark-delay" change from flambda-backend. (commit: fc83a8b) — Nick.Barnes / githubweb
  2. 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. (commit: 0cfcba5) — Nick.Barnes / githubweb
  3. fix finaliser handling bug (commit: d5545a3) — Nick.Barnes / githubweb
  4. Guard call to caml_darken (commit: ce14eed) — Nick.Barnes / githubweb
  5. Fix ephe_custom.ml test for the mark-delay scheme (commit: 17d14fa) — Nick.Barnes / githubweb
  6. Don't make finaliser updates dependent on work being available. (commit: 1e4b55c) — Nick.Barnes / githubweb
  7. Move the orphaned ephemerons GC colour check inside the barrier. (commit: 2c2d2cd) — kc / githubweb

#2914 (Jul 27, 2025, 8:10:21 PM)

  1. add hashtbl remove and replace which return the previous value (#14060) (commit: 9d44d72) — noreply / githubweb

#2913 (Jul 24, 2025, 10:58:32 PM)

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

#2912 (Jul 24, 2025, 7:08:01 AM)

  1. domain.c: fix `stw_resize_minor_heaps_reservation`. (commit: 68a4b56) — gabriel.scherer / githubweb

#2911 (Jul 23, 2025, 5:51:44 PM)

  1. use No_scan_tag and NOT_MARKABLE to indicate free block (commit: 4b7b06d) — sadiq / githubweb
  2. change shared pools heap representation to indicate contiguous free ranges (commit: c1a457f) — sadiq / githubweb
  3. add prefetching (commit: 634f0fa) — sadiq / githubweb
  4. add Changes (commit: d443e61) — sadiq / githubweb
  5. actually prefetch a page ahead (commit: 85436a9) — sadiq / githubweb
  6. restore split asserts (commit: 066cf23) — sadiq / githubweb
  7. clarify comment in verify_pool (commit: 395cc33) — sadiq / githubweb
  8. fix bug in compaction (commit: 868adce) — sadiq / githubweb
  9. write Debug_free_major in to newly initialised pools (commit: 32fec02) — sadiq / githubweb
  10. fix bug in pool_finalise (commit: aa2a6e9) — sadiq / githubweb
  11. simplify macro (commit: 6f4c921) — sadiq / githubweb
  12. Update runtime/shared_heap.c (commit: 40ac897) — sadiq / githubweb
  13. Update runtime/shared_heap.c (commit: 4f6ad7a) — sadiq / githubweb
  14. restore atomic header read (commit: 0beada7) — sadiq / githubweb
  15. make note about GC pacing logic (commit: a968da8) — sadiq / githubweb
  16. Update runtime/shared_heap.c (commit: 7ee99a6) — sadiq / githubweb
  17. wh -> Whsize_hd (commit: 0de6b32) — sadiq / githubweb
  18. always update the pointer in the last free block (commit: 8954ebc) — sadiq / githubweb
  19. revert all_used annotation (commit: 9ee312a) — sadiq / githubweb
  20. use POOL_FIRST_BLOCK (commit: 29be988) — sadiq / githubweb

#2910 (Jul 23, 2025, 1:13:04 PM)

  1. [minor] domain.c: reorder domain_self and heap-reservation variables (commit: 46bf83b) — gabriel.scherer / githubweb
  2. [minor] domain.c: reorder domain_create (commit: ca8b9aa) — gabriel.scherer / githubweb

#2909 (Jul 23, 2025, 12:46:17 PM)

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

#2908 (Jul 23, 2025, 12:43:57 PM)

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

#2905 (Jul 22, 2025, 2:10:00 PM)

  1. bookkeeping: update release info (commit: 72a9d5a) — Florian Angeletti / githubweb

#2901 (Jul 22, 2025, 2:12:01 AM)

  1. minor gc: more consistent memprof logging (commit: 69ed94c) — gabriel.scherer / githubweb

#2900 (Jul 21, 2025, 10:57:28 PM)

  1. Fix dependency generation when tools are disabled (commit: 0274608) — david.allsopp / githubweb
  2. Fix generation of config.status for dynlink (commit: f627d63) — david.allsopp / githubweb
  3. Don't generate ocamltest_config.ml when not needed (commit: 70431af) — david.allsopp / githubweb
  4. Correct ocamltest-manual (commit: 921c6a3) — david.allsopp / githubweb

#2898 (Jul 21, 2025, 5:46:53 PM)

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

#2897 (Jul 21, 2025, 3:36:55 PM)

  1. Update parser and adapt to the new Tpoly invariant. Requires bootstrap. (commit: 94908d2) — Florian Angeletti / githubweb
  2. bootstrap (commit: fbca0ab) — Florian Angeletti / githubweb
  3. Add tests for polymorphic parameters (commit: a664599) — Florian Angeletti / githubweb
  4. Promote polymorphic parameters tests failures (commit: c39e29d) — Florian Angeletti / githubweb
  5. Refactor: more descriptive return type for [split_function], renaming and comment work (commit: 489e219) — Florian Angeletti / githubweb
  6. Introduce new error "opt params cannot be polymorphic" (commit: da0cabe) — Florian Angeletti / githubweb
  7. Wrap and generalize filter_arrow_mono if principal (commit: ba14d13) — Florian Angeletti / githubweb
  8. Handle polymorphic parameters in type_apply_arg (commit: 24b6f4c) — Florian Angeletti / githubweb
  9. Refactor Pexp_function case and handle poly (commit: 16d8e49) — Florian Angeletti / githubweb
  10. Add one generalization level in type_class_arg_pattern (commit: e882d5a) — Florian Angeletti / githubweb
  11. Handle polymorphic parameters in [type_approx and] [type_pat_aux] (commit: ac9691a) — Florian Angeletti / githubweb
  12. Add changes entry for #15733 (commit: 6e02745) — Florian Angeletti / githubweb
  13. Add test with class argument (commit: d31142a) — Florian Angeletti / githubweb
  14. Additional tests with labels (commit: 2ad84dc) — Florian Angeletti / githubweb
  15. review: reorder functions in btype (commit: f401ccf) — Florian Angeletti / githubweb
  16. review: comment format (commit: ced4529) — Florian Angeletti / githubweb
  17. review: add a Btype.newgenmono utility symetrical to Ctype.newmono (commit: b6629c6) — Florian Angeletti / githubweb
  18. review: use label names in error messages (commit: 6fc24f4) — Florian Angeletti / githubweb
  19. review: additional tests (commit: 2dd9b7d) — Florian Angeletti / githubweb
  20. Add test for polymorphic variants in polymorphic parameters (commit: 669bd47) — Florian Angeletti / githubweb
  21. Take fixed instances of polys where appropriate (commit: e93ba21) — Florian Angeletti / githubweb
  22. Show issue with subtyping trace (commit: 74b9f1f) — Florian Angeletti / githubweb
  23. Fix subtyping error trace (commit: 4e597e9) — Florian Angeletti / githubweb
  24. tests: Promote error messages improvements after rebasing. (commit: e6d2834) — Florian Angeletti / githubweb
  25. review: more reuse in parser and reloc in [param_type] (commit: be3016c) — Florian Angeletti / githubweb
  26. review: move [is_really_poly] utility to Ctype. (commit: a5dc2ad) — Florian Angeletti / githubweb
  27. Add more test cases (commit: 47350a7) — Florian Angeletti / githubweb
  28. Move definition closer to usage (commit: 19c9abe) — Florian Angeletti / githubweb
  29. Additional test cases (commit: c5587a4) — Florian Angeletti / githubweb
  30. Document function in comment (commit: c9a8533) — Florian Angeletti / githubweb
  31. Add test cases (commit: 21b3641) — Florian Angeletti / githubweb
  32. Fix typo in error message (commit: 7cde513) — Florian Angeletti / githubweb
  33. Rename function and move it to Btype (commit: e8eb592) — Florian Angeletti / githubweb
  34. Inline function and exception used only once (commit: d01ee5f) — Florian Angeletti / githubweb
  35. Document function (commit: 1dcf986) — Florian Angeletti / githubweb
  36. Enforce Tpoly invariant (commit: 7d2f412) — Florian Angeletti / githubweb
  37. Clarify conditions (commit: ad0db61) — Florian Angeletti / githubweb
  38. Clearer argument label and field names (commit: 730e704) — Florian Angeletti / githubweb
  39. Turn ordinary comment into a documentation comment (commit: ba7bf49) — Florian Angeletti / githubweb
  40. Clearer variable name (commit: 1e1c51e) — Florian Angeletti / githubweb
  41. Fix wrong set of univars (commit: 73934de) — Florian Angeletti / githubweb
  42. review: De-duplicate parser rule for let (commit: 7202cde) — Florian Angeletti / githubweb
  43. review: Add test with syntactic arity mismatch (commit: 6e7a744) — Florian Angeletti / githubweb
  44. review: Fix test (commit: f3d08a2) — Florian Angeletti / githubweb

#2896 (Jul 21, 2025, 11:09:58 AM)

  1. runtime: free the minor heap when leaving STW participants (commit: 8f0d4f4) — gabriel.scherer / githubweb

#2895 (Jul 20, 2025, 7:08:02 AM)

  1. Fix missing expectations in typing-poly/poly.ml (commit: ca3d055) — source / githubweb
  2. Additional corrections (commit: cc99be1) — source / githubweb
  3. Audit unexecuted phrases (commit: 0df7dea) — source / githubweb
  4. Audit (commit: bcc6670) — source / githubweb
  5. Fix audit (commit: 7edc3e9) — source / githubweb
  6. Changes (commit: 0fc202c) — source / githubweb
  7. Update changes (commit: 3ca69c1) — source / githubweb

#2894 (Jul 19, 2025, 6:23:16 AM)

  1. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) (commit: 5e89966) — noreply / githubweb

#2893 (Jul 18, 2025, 5:42:47 PM)

  1. Removed unused field in package_type (commit: 1aeb967) — samuel.aime.vivien / githubweb
  2. Changes (commit: ac43baa) — samuel.aime.vivien / githubweb

#2892 (Jul 17, 2025, 3:49:41 PM)

  1. error messages: external with non-syntactic arity (commit: 36ddb17) — Florian Angeletti / githubweb
  2. release calendar update (commit: 53699e2) — Florian Angeletti / githubweb

#2870 (Jun 26, 2025, 5:51:56 PM)

  1. check-typo: be more liberal with url (commit: 5963db9) — david.allsopp / githubweb
  2. Merge pull request #13749 from tmcgilchrist/patch-1 (commit: 9eed0b1) — david.allsopp / githubweb
  3. Unified CI cherry-pick: PR#13724 (commit: 7ad0a4a) — david.allsopp / githubweb
  4. Merge pull request #13840 from dra27/apt-update (commit: 509e416) — david.allsopp / githubweb
  5. Merge pull request #13857 from MisterDA/gha-cygwin-make (commit: 7aa888c) — david.allsopp / githubweb
  6. Merge pull request #13954 from dra27/cygwin (commit: 464de25) — david.allsopp / githubweb
  7. Fix hygiene check for generating `configure` (#13935) (commit: d34ee86) — david.allsopp / githubweb
  8. Merge pull request #14013 from dra27/more-ci-tweaks (commit: 8899c05) — david.allsopp / githubweb