Skip to content

Changes

origin/trunk-#28 (Sep 5, 2025, 2:00:59 PM)

  1. Ensure the minor heap is actually empty before reallocating it — mshinwell / githubweb
  2. set scope in expand_abbrev rather than rely on update_scope — garrigue / githubweb
  3. use Int.max rather than generic max — garrigue / githubweb
  4. add log and comments; small change in instance_parameterized_type — garrigue / githubweb
  5. domain_create: release the domain lock on failure — gabriel.scherer / githubweb
  6. ocamltest: use C99 booleans — antonin / githubweb
  7. ocamltest: fix path comparison — antonin / githubweb
  8. ocamltest: use O_CLOEXEC on file descriptors — antonin / githubweb
  9. ocamltest: compare wcscmp result with 0 — antonin / githubweb
  10. ocamltest: alarm(3) is always successful — antonin / githubweb
  11. Move filter_arrow error handling in a function — thevoodoos / githubweb
  12. Refactor: extract loc_rest_of_function — thevoodoos / githubweb
  13. Refactor [type_approx]. — thevoodoos / githubweb
  14. Add a test illustrating a regression in type_approx — thevoodoos / githubweb
  15. Fix the regression in type approx — thevoodoos / githubweb
  16. Remove the loop: we are already in a recursive function — thevoodoos / githubweb
  17. Add a comment about an unreachable case — thevoodoos / githubweb
  18. Add a comment for type_approx_fun_one_param's spato parameter. — thevoodoos / githubweb
  19. Add a changelog entry for #13980 — thevoodoos / githubweb
  20. Set FLEXDIR when bootstrapping flexlink — david.allsopp / githubweb
  21. Make ocamlmklib fail on an unknown parameter — david.allsopp / githubweb
  22. Collimate the comments — thevoodoos / githubweb
  23. Fix Makefile dependencies for ocamldoc, ocamltest and ocamldebug — vincent.laviron / githubweb
  24. Bump magic numbers and version for 5.5.0 — Florian Angeletti / githubweb
  25. Refactor [is_functor_arg] table of env into [not_aliasable] — clement.blaudeau / githubweb
  26. Added tests and updated error message with line breaks — clement.blaudeau / githubweb
  27. genprintval: explain why certain uses of O.obj are not guarded — gabriel.scherer / githubweb
  28. genprintval: move user-installed printers out of the Make functor — gabriel.scherer / githubweb
  29. Generic printers in debugger — gabriel.scherer / githubweb
  30. Test and doc of polymorphic printers in debugger — gabriel.scherer / githubweb
  31. Use trunk-compatible dune.3.18.2 — mail / githubweb
  32. Made the "remove_aliases" attribute visible in built-ins attributes — clement.blaudeau / githubweb
  33. Add Dynarray.unsafe_to_iarray — olivier / githubweb
  34. Reimplement `let open`, `let module` and `let exception` in terms of a single construct (#13839) — noreply / githubweb
  35. webman: add anchors for API items, headings (#14002) — noreply / githubweb
  36. Refine docs for `In_channel` and `Out_channel` (#13982) — noreply / githubweb
  37. Pprintast: use parentheses around Pexp_struct_item in sequences — n.oje.bar / githubweb
  38. Move Changes entry to right place, add bugfix PR — n.oje.bar / githubweb
  39. Add test — n.oje.bar / githubweb
  40. Fix missing version bump to 5.5 in opam file — mail / githubweb
  41. Update precondition comment to reflect renaming from #12619 — mail / githubweb
  42. check-symbol-names: ignore extern char **environ re-decl — david.allsopp / githubweb
  43. gha: Document labels triggering/skipping workflows — david.allsopp / githubweb
  44. Dynamic matrix for the others job — david.allsopp / githubweb
  45. Add optional static and mimimal jobs — david.allsopp / githubweb
  46. Merge macOS Dependency steps — david.allsopp / githubweb
  47. Fix test_create_cursor_failures.ml on Cygwin — david.allsopp / githubweb
  48. Update build-msvc.yml to permit Cygwin builds — david.allsopp / githubweb
  49. Add optional Cygwin check to CI — david.allsopp / githubweb
  50. Add bytecode-only Cygwin check — david.allsopp / githubweb
  51. Add a 'CI: Skip testsuite' label — david.allsopp / githubweb
  52. Fix tools/check-symbol-names for i686 mingw-w64 — david.allsopp / githubweb
  53. Windows matrix: arch instead of x86_64 — david.allsopp / githubweb
  54. stale bot: only identify stale issues, don't close them. (#14004) — noreply / githubweb
  55. Fix memory corruption when an exception is raised during demarshaling. (#14015) — noreply / githubweb
  56. Update Changes — david.allsopp / githubweb
  57. update Changes after cherry-picking — Florian Angeletti / githubweb
  58. [refactor merge] Create a Merge module + white space changes — clement.blaudeau / githubweb
  59. [refactor merge] Extracted helper functions — clement.blaudeau / githubweb
  60. [refactor merge] Changed the return logic — clement.blaudeau / githubweb
  61. [refactor merge] Extracted the recursive functions for deep constr — clement.blaudeau / githubweb
  62. [refactor merge] Moved code — clement.blaudeau / githubweb
  63. [refactor merge] Extracted the type-package case — clement.blaudeau / githubweb
  64. [refactor merge] Extracted the type case — clement.blaudeau / githubweb
  65. [refactor merge] Extracted the module case — clement.blaudeau / githubweb
  66. [refactor merge] Extracted the modtype case — clement.blaudeau / githubweb
  67. [refactor merge] Added comments, minor stylistic changes — clement.blaudeau / githubweb
  68. [refactor merge] Corrections from Octachron review — clement.blaudeau / githubweb
  69. [refactor merge] Moved the catching of exception — clement.blaudeau / githubweb
  70. [refactor merge] Updated comments — clement.blaudeau / githubweb
  71. [refactor merge] Added Changelog entry — clement.blaudeau / githubweb
  72. [minor] printcmm: print atomic loads — gabriel.scherer / githubweb
  73. [testsuite] test the compilation of atomic functions — gabriel.scherer / githubweb
  74. [refactor] Define [caml_atomic_cas] in terms of [caml_atomic_cas_field]. — gabriel.scherer / githubweb
  75. [breaking] Change the prototype of [caml_atomic_cas_field]. — gabriel.scherer / githubweb
  76. runtime: Add atomic primitives [caml_atomic_load_field], [caml_atomic_exchange_field] and [caml_atomic_fetch_add_field]. — gabriel.scherer / githubweb
  77. lambda: Add support for new atomic primitives. — gabriel.scherer / githubweb
  78. Add support for atomic record fields. — gabriel.scherer / githubweb
  79. atomic fields in ocamldoc — gabriel.scherer / githubweb
  80. Bootstrap. — gabriel.scherer / githubweb
  81. Add tests for atomic record fields. — gabriel.scherer / githubweb
  82. [minor] Make test_untypeast.ml more readable. — gabriel.scherer / githubweb
  83. Add predefined type ['a atomic_loc]. — gabriel.scherer / githubweb
  84. [refactor] more general type for Env.mark_*_used — gabriel.scherer / githubweb
  85. Add extension [%atomic.loc record.field]. — gabriel.scherer / githubweb
  86. Bootstrap. — gabriel.scherer / githubweb
  87. Add module [Stdlib.Atomic.Loc]. — gabriel.scherer / githubweb
  88. Add tests for [Atomic.Loc]. — gabriel.scherer / githubweb
  89. Reimplement [Atomic.t] using [Atomic.Loc.t]. — gabriel.scherer / githubweb
  90. Forbid atomic fields in patterns. — gabriel.scherer / githubweb
  91. Changes — gabriel.scherer / githubweb
  92. testsuite for pattern-matching on atomic reads — gabriel.scherer / githubweb
  93. allow wildcard patterns under atomic record fields — gabriel.scherer / githubweb
  94. stdlib/Atomic: move the Loc module below in the .mli — gabriel.scherer / githubweb
  95. stdlib/Atomic: minimal documentation — gabriel.scherer / githubweb
  96. describe atomic record fields in the reference manual — gabriel.scherer / githubweb
  97. Runtime events: dispatch the right event message type (#13970) — noreply / githubweb
  98. Add Unix.unsetenv — n.oje.bar / githubweb
  99. Add test — n.oje.bar / githubweb
  100. Document [row_more] and [row_fixed]. — reisenberg / githubweb
  101. Add Option.product and Option.Syntax (#13916) — noreply / githubweb
  102. [minor] More readable output from `gen_sizeclasses` (#13923) — noreply / githubweb
  103. Fix unterminated-string-initialization warning — antonin / githubweb
  104. fix atomic-locs/cmm.compilers.reference — gabriel.scherer / githubweb
  105. tests: native-debugger: sanitize GDB+musl output — antonin / githubweb
  106. Fix #13427 — olivier / githubweb
  107. Add caml_sys_proc_self_exe primitive — david.allsopp / githubweb
  108. Add Sys.runtime_executable — david.allsopp / githubweb
  109. Cleanups following introduction of `Pexp_struct_item`/`Texp_struct_item` (#14028) — noreply / githubweb
  110. Add row_more invariant — noreply / githubweb
  111. Update flexdll submodule to 0.44 — mail / githubweb
  112. Reenable lib-dynlink-domains test on Windows, temporarily disabled in #11607 — mail / githubweb
  113. Comments from review — reisenberg / githubweb
  114. Changelog — reisenberg / githubweb
  115. tests: native-debugger: sanitize LLDB+GLIBC output — antonin / githubweb
  116. fix #13941 — damien.doligez / githubweb
  117. update Changes for #13961 — damien.doligez / githubweb
  118. simplifications suggested by reviewer — damien.doligez / githubweb
  119. [minor] use a record in Compenv.process_deferred_actions — gabriel.scherer / githubweb
  120. Amend docstring — n.oje.bar / githubweb
  121. Better error messages on invalid recursive module definitions — gabriel.scherer / githubweb
  122. Ensure that all Bigarray memory managed by the GC is tracked by Memprof — gabriel.scherer / githubweb
  123. Format: place hint white spaces after the break hint — gabriel.scherer / githubweb
  124. Changes — gabriel.scherer / githubweb
  125. Update changes — antonin / githubweb
  126. Attach infix extension points/attributes on local module/exception/open to structure item instead of enclosing let expression (#14009) — noreply / githubweb
  127. manual: fall back immediately to user-agent-defined fonts — toastal / githubweb
  128. Uniformize parsing rules for structure and signature items (#14039) — noreply / githubweb
  129. Trully share #*_printers machinery between toplevel and debugger — pierre.boutillier / githubweb
  130. Review changes — david.allsopp / githubweb
  131. update the memprof bigarray test — david.allsopp / githubweb
  132. Move #13675 to 5.4 Changes — david.allsopp / githubweb
  133. Reimplement generational stack scanning a la OCaml 4 — gabriel.scherer / githubweb
  134. ARM64: explicitly ignore top bits in return addresses — gabriel.scherer / githubweb
  135. Better API for generational stack scanning — gabriel.scherer / githubweb
  136. Adapt TSAN to generational stack scanning — gabriel.scherer / githubweb
  137. Changes for 13594 — gabriel.scherer / githubweb
  138. document the invariants around pc marking in tsan.c — gabriel.scherer / githubweb
  139. manual: move the TeX header of each language extension into the extension-specific .etex file (#14041) — noreply / githubweb
  140. Changes — gabriel.scherer / githubweb
  141. Use BUILD_PATH_PREFIX_MAP to sanitize debug event paths, do not rewrite shebang — pierre.boutillier / githubweb
  142. Accept native freestanding targets at configure time — samuel / githubweb
  143. Allow `*-ocaml` as target triplets to build freestanding cross compilers — samuel / githubweb
  144. Update changelog — samuel / githubweb
  145. domain_terminate: orphan the shared heap before STW exit — gabriel.scherer / githubweb
  146. Changes — gabriel.scherer / githubweb
  147. runtime: caml_finalise_heap should first adopt all orphan pools — gabriel.scherer / githubweb
  148. review: clarify the invariants in [domain_create], including for the last domain — gabriel.scherer / githubweb
  149. review: clarify the invariants required to free the shared heap — gabriel.scherer / githubweb
  150. minor Changes fixes — gabriel.scherer / githubweb
  151. Changelog: fix ordering for 5.3 — gabriel.scherer / githubweb
  152. Changes: reuse the improved 5.4 entry order from the 5.4 branch — gabriel.scherer / githubweb
  153. Unix.kill: On Windows, make process exit code ERROR_PROCESS_ABORTED (#14046) — noreply / githubweb
  154. Revert "Merge pull request #14045 from pirbo/bpp-map-1-2" — gabriel.scherer / githubweb
  155. re-apply the part of #14045 that disables path rewrites on the shebang — gabriel.scherer / githubweb
  156. Special constructor for %sys_argv primitive (#10570) — noreply / githubweb
  157. Debugger: Fallback to looking for module_name.ml in the loadpath when seeking source files (#14063) — noreply / githubweb
  158. Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow — samuel.aime.vivien / githubweb
  159. Add Option.blend (#13995) — noreply / githubweb
  160. error message: point all label mismatches — Florian Angeletti / githubweb
  161. Add a test showing spurious unused warnign in fonctor argument signatures. — thevoodoos / githubweb
  162. Mark both in [modtypes_with_shape] — thevoodoos / githubweb
  163. Reduce test noise by disabling warning 60 — thevoodoos / githubweb
  164. Add changelog entry for #13956 — thevoodoos / githubweb
  165. dynlink: fix exception name in printer — me / githubweb
  166. Changes update — Florian Angeletti / githubweb
  167. Add changelog entry — me / githubweb
  168. fix one more definition of fib in the manual — damien.doligez / githubweb
  169. Add a new type kind `Type_external` (#13712) — noreply / githubweb
  170. For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. — kc / githubweb
  171. error messages: point mismatched univars — Florian Angeletti / githubweb
  172. Introduce Sixtyfour memory chunk to handle unaligned accesses — kc / githubweb
  173. Fix note: the alignment of `_Atomic long long unsigned int` fields changed in GCC 11.1 on i686 (#14035) — noreply / githubweb
  174. Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077) — noreply / githubweb
  175. Switch back to ubuntu-latest — david.allsopp / githubweb
  176. update Changes — Florian Angeletti / githubweb
  177. Address reviewer comments. — kc / githubweb
  178. Catch invalid aliases at merging rather than subtyping (#14066) — noreply / githubweb
  179. Generalise Compmisc.init_path — david.allsopp / githubweb
  180. Add Dll.search_path — david.allsopp / githubweb
  181. Add Misc.Stdlib.String.to_utf_8_seq — david.allsopp / githubweb
  182. Expose Bytelink.read_runtime_launch_info — david.allsopp / githubweb
  183. Changes bookkeeping: missing reviewer — Florian Angeletti / githubweb
  184. Add Domain.running_domain_count — n.oje.bar / githubweb
  185. Changes — n.oje.bar / githubweb
  186. Changes — n.oje.bar / githubweb
  187. Add Config.{c_compiler_vendor,shebangscripts} — david.allsopp / githubweb
  188. Add a test for the compiler "in-prefix" — david.allsopp / githubweb
  189. Plumb the in-prefix tests into CI — david.allsopp / githubweb
  190. Changes: 14074 was backported to 5.4 — gabriel.scherer / githubweb
  191. Avoid an error when a channel is flushed during close — sdolan / githubweb
  192. review — sdolan / githubweb
  193. Fix flakiness of TSan tests using flushes and synchronization — olivier / githubweb
  194. Skip native-debugger tests. — timmcgil / githubweb
  195. Use caml_unix_error instead of errno+caml_uerror — n.oje.bar / githubweb
  196. Symmetrize caml_sys_rename and caml_unix_rename — n.oje.bar / githubweb
  197. Symmetrize caml_sys_chdir and caml_unix_chdir — n.oje.bar / githubweb
  198. Symmetrize caml_sys_close and caml_unix_close — n.oje.bar / githubweb
  199. Symmetrize caml_sys_system_command and caml_unix_system — n.oje.bar / githubweb
  200. Update Changes — n.oje.bar / githubweb
  201. stdlib: Option.{for_all, exists} (#13920) — noreply / githubweb
  202. [refactor] dynarray variable naming, consistently use [f] for function arguments — n.oje.bar / githubweb
  203. Dynarray.rev_iter, rev_iteri — n.oje.bar / githubweb
  204. Changes — n.oje.bar / githubweb
  205. Rename Domain.running_domain_count => Domain.count (#14096) — noreply / githubweb
  206. ocamldoc: no paragraph in module table (#14098) — noreply / githubweb
  207. CI: attempt to silence a MSVC warning — gabriel.scherer / githubweb
  208. Changes bookkeeping: fix 13896 entry — Florian Angeletti / githubweb
  209. toplevel: test with nongeneric printer — Florian Angeletti / githubweb
  210. toplevel: printers must have a generic type — Florian Angeletti / githubweb
  211. refactor Ctype: remove nongen_inst argument — Florian Angeletti / githubweb
  212. add Changes entry — Florian Angeletti / githubweb
  213. Explicitly fail-fast — david.allsopp / githubweb
  214. Temporarily disable -Wcast-function-type-mismatch — david.allsopp / githubweb
  215. Temporarily disable warning C5387 on MSVC — david.allsopp / githubweb
  216. Update memprof after leaving the barrier at the end of minor GC, nor before. — Nick.Barnes / githubweb
  217. Use C99 (u)int64_t instead of MSVC __int64 extension — antonin / githubweb
  218. Use time_t instead of MSVC __time64_t — antonin / githubweb
  219. Use C99 fixed-width integers in bigarray — antonin / githubweb
  220. Fully use C99 stdint.h fixed-width integers — antonin / githubweb
  221. Define intnat/uintnat with C99 intptr_t/uintptr_t — antonin / githubweb
  222. Use C99 inttypes.h fixed-width format macros — antonin / githubweb
  223. Define and use CAML_PRI.NAT and CAML_PRI.SZT — antonin / githubweb
  224. s/alloced/allocated/g — antonin / githubweb
  225. Update Changes — antonin / githubweb
  226. Fix a possible hang in Pprintast (#14105) — noreply / githubweb
  227. toplevel: fix a typo in directive error messages — Florian Angeletti / githubweb
  228. changes: sync with 5.4 — Florian Angeletti / githubweb
  229. use No_scan_tag and NOT_MARKABLE to indicate free block — sadiq / githubweb
  230. change shared pools heap representation to indicate contiguous free ranges — sadiq / githubweb
  231. add prefetching — sadiq / githubweb
  232. add Changes — sadiq / githubweb
  233. actually prefetch a page ahead — sadiq / githubweb
  234. restore split asserts — sadiq / githubweb
  235. clarify comment in verify_pool — sadiq / githubweb
  236. fix bug in compaction — sadiq / githubweb
  237. write Debug_free_major in to newly initialised pools — sadiq / githubweb
  238. fix bug in pool_finalise — sadiq / githubweb
  239. simplify macro — sadiq / githubweb
  240. Update runtime/shared_heap.c — sadiq / githubweb
  241. Update runtime/shared_heap.c — sadiq / githubweb
  242. restore atomic header read — sadiq / githubweb
  243. make note about GC pacing logic — sadiq / githubweb
  244. Update runtime/shared_heap.c — sadiq / githubweb
  245. wh -> Whsize_hd — sadiq / githubweb
  246. always update the pointer in the last free block — sadiq / githubweb
  247. revert all_used annotation — sadiq / githubweb
  248. Replaced normalize_package_path by Env.normalize_modtype_path — samuel.aime.vivien / githubweb
  249. Add -Wno-cast-function-type-mismatch more clangily — david.allsopp / githubweb
  250. Typo in stdlib/Makefile — david.allsopp / githubweb
  251. Reduce tmpheader.exe to 4-5KiB on Windows — david.allsopp / githubweb
  252. Stop using Caml_inline and CAMLnoret in headernt.c — david.allsopp / githubweb
  253. Remove unnecessary guards around unistd.h — david.allsopp / githubweb
  254. Use PATH_MAX instead of MAXPATHLEN — david.allsopp / githubweb
  255. Assume S_ISREG and SEEK_END — david.allsopp / githubweb
  256. Move O_BINARY definition to "header" section — david.allsopp / githubweb
  257. Make caml/exec.h independent — david.allsopp / githubweb
  258. Re-order some header functions (no-op) — david.allsopp / githubweb
  259. Share error path in headernt.c — david.allsopp / githubweb
  260. Unify implementation of read_size — david.allsopp / githubweb
  261. headernt.c: inline run_runtime into main — david.allsopp / githubweb
  262. Check for errors from lseek in header.c — david.allsopp / githubweb
  263. Refactor error display code — david.allsopp / githubweb
  264. header.c: close bytecode image before exec — david.allsopp / githubweb
  265. Use execvp in header.c (as in headernt.c) — david.allsopp / githubweb
  266. headernt: make read_runtime_path more CRTish — david.allsopp / githubweb
  267. Missing error case in headernt.c — david.allsopp / githubweb
  268. Unify the common parts of header.c and headernt.c — david.allsopp / githubweb
  269. Merge stdlib/header{,nt}.c — david.allsopp / githubweb
  270. error messages: typo, missing inline code — Florian Angeletti / githubweb
  271. #14093 was backported — gabriel.scherer / githubweb
  272. Fix use of time_t on i686 mingw-w64 (#14114) — noreply / githubweb
  273. Increase the amount of data written to a pipe in a test (#14116) — noreply / githubweb
  274. Add regression test — rtjoa / githubweb
  275. Fix non-destructive `with type` with type constraints — rtjoa / githubweb
  276. Add with type constraint testing — rtjoa / githubweb
  277. Update changelog — rtjoa / githubweb
  278. Add {Set,Map}.S.is_singleton (#14118) — noreply / githubweb
  279. Make List.{take,drop} total (#14124) — noreply / githubweb
  280. document that char compare uses ASCII order (#14090) — noreply / githubweb
  281. Add the approx flag to merging of module constraints — clement.blaudeau / githubweb
  282. Add a [merge_type_approx] for approximation of type constraints — clement.blaudeau / githubweb
  283. Add tests for module and type constraints during approximation — clement.blaudeau / githubweb
  284. Update Changelog — clement.blaudeau / githubweb
  285. Add another test for destructive type constraints approximation — clement.blaudeau / githubweb
  286. Address review comments on #14100 — clement.blaudeau / githubweb
  287. Update Changelog — clement.blaudeau / githubweb
  288. Refactor post_process of signature merging — clement.blaudeau / githubweb
  289. Update comment and Changelog — clement.blaudeau / githubweb
  290. Address review comments — clement.blaudeau / githubweb
  291. Missing case in {Stdlib,Float}.frexp documentation (#14128) — noreply / githubweb
  292. Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082) — noreply / githubweb
  293. Update comment — clement.blaudeau / githubweb
  294. matching: fix some non-deterministic code generation (#14091) — noreply / githubweb
  295. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) — noreply / githubweb
  296. typechecker: fix an internal error due to wrong exception — Florian Angeletti / githubweb
  297. cpp support: move basic type definitions to misc — Florian Angeletti / githubweb
  298. [minor] indentation fix in errortrace_report — gabriel.scherer / githubweb
  299. error messages: external with non-syntactic arity — Florian Angeletti / githubweb
  300. release calendar update — Florian Angeletti / githubweb
  301. Upstream "mark-delay" change from flambda-backend. — Nick.Barnes / githubweb
  302. 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
  303. fix finaliser handling bug — Nick.Barnes / githubweb
  304. Guard call to caml_darken — Nick.Barnes / githubweb
  305. Fix ephe_custom.ml test for the mark-delay scheme — Nick.Barnes / githubweb
  306. Don't make finaliser updates dependent on work being available. — Nick.Barnes / githubweb
  307. Removed unused field in package_type — samuel.aime.vivien / githubweb
  308. Changes — samuel.aime.vivien / githubweb
  309. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) — noreply / githubweb
  310. Move the orphaned ephemerons GC colour check inside the barrier. — kc / githubweb
  311. minor gc: more consistent memprof logging — gabriel.scherer / githubweb
  312. Fix missing expectations in typing-poly/poly.ml — source / githubweb
  313. Additional corrections — source / githubweb
  314. Audit unexecuted phrases — source / githubweb
  315. Audit — source / githubweb
  316. Fix audit — source / githubweb
  317. Changes — source / githubweb
  318. Update changes — source / githubweb
  319. runtime: free the minor heap when leaving STW participants — gabriel.scherer / githubweb
  320. Update parser and adapt to the new Tpoly invariant. Requires bootstrap. — Florian Angeletti / githubweb
  321. bootstrap — Florian Angeletti / githubweb
  322. Add tests for polymorphic parameters — Florian Angeletti / githubweb
  323. Promote polymorphic parameters tests failures — Florian Angeletti / githubweb
  324. Refactor: more descriptive return type for [split_function], renaming and comment work — Florian Angeletti / githubweb
  325. Introduce new error "opt params cannot be polymorphic" — Florian Angeletti / githubweb
  326. Wrap and generalize filter_arrow_mono if principal — Florian Angeletti / githubweb
  327. Handle polymorphic parameters in type_apply_arg — Florian Angeletti / githubweb
  328. Refactor Pexp_function case and handle poly — Florian Angeletti / githubweb
  329. Add one generalization level in type_class_arg_pattern — Florian Angeletti / githubweb
  330. Handle polymorphic parameters in [type_approx and] [type_pat_aux] — Florian Angeletti / githubweb
  331. Add changes entry for #15733 — Florian Angeletti / githubweb
  332. Add test with class argument — Florian Angeletti / githubweb
  333. Additional tests with labels — Florian Angeletti / githubweb
  334. review: reorder functions in btype — Florian Angeletti / githubweb
  335. review: comment format — Florian Angeletti / githubweb
  336. review: add a Btype.newgenmono utility symetrical to Ctype.newmono — Florian Angeletti / githubweb
  337. review: use label names in error messages — Florian Angeletti / githubweb
  338. review: additional tests — Florian Angeletti / githubweb
  339. Add test for polymorphic variants in polymorphic parameters — Florian Angeletti / githubweb
  340. Take fixed instances of polys where appropriate — Florian Angeletti / githubweb
  341. Show issue with subtyping trace — Florian Angeletti / githubweb
  342. Fix subtyping error trace — Florian Angeletti / githubweb
  343. tests: Promote error messages improvements after rebasing. — Florian Angeletti / githubweb
  344. review: more reuse in parser and reloc in [param_type] — Florian Angeletti / githubweb
  345. review: move [is_really_poly] utility to Ctype. — Florian Angeletti / githubweb
  346. Add more test cases — Florian Angeletti / githubweb
  347. Move definition closer to usage — Florian Angeletti / githubweb
  348. Additional test cases — Florian Angeletti / githubweb
  349. Document function in comment — Florian Angeletti / githubweb
  350. Add test cases — Florian Angeletti / githubweb
  351. Fix typo in error message — Florian Angeletti / githubweb
  352. Rename function and move it to Btype — Florian Angeletti / githubweb
  353. Inline function and exception used only once — Florian Angeletti / githubweb
  354. Document function — Florian Angeletti / githubweb
  355. Enforce Tpoly invariant — Florian Angeletti / githubweb
  356. Clarify conditions — Florian Angeletti / githubweb
  357. Clearer argument label and field names — Florian Angeletti / githubweb
  358. Turn ordinary comment into a documentation comment — Florian Angeletti / githubweb
  359. Clearer variable name — Florian Angeletti / githubweb
  360. Fix wrong set of univars — Florian Angeletti / githubweb
  361. review: De-duplicate parser rule for let — Florian Angeletti / githubweb
  362. review: Add test with syntactic arity mismatch — Florian Angeletti / githubweb
  363. review: Fix test — Florian Angeletti / githubweb
  364. Fix dependency generation when tools are disabled — david.allsopp / githubweb
  365. Fix generation of config.status for dynlink — david.allsopp / githubweb
  366. Don't generate ocamltest_config.ml when not needed — david.allsopp / githubweb
  367. Correct ocamltest-manual — david.allsopp / githubweb
  368. symbol names: revert to using `$` only on macOS and Windows (#14143) — noreply / githubweb
  369. bookkeeping: update release info — Florian Angeletti / githubweb
  370. Minor heap reservation: change the terminology — gabriel.scherer / githubweb
  371. review: use 'arena' for the (committed) minor heap space — gabriel.scherer / githubweb
  372. self-review: solidify two separate comments on minor heap layout — gabriel.scherer / githubweb
  373. runtime/domain.c: add a category of 'parked' stw_domains — gabriel.scherer / githubweb
  374. [minor] domain.c: reorder domain_self and heap-reservation variables — gabriel.scherer / githubweb
  375. [minor] domain.c: reorder domain_create — gabriel.scherer / githubweb
  376. use POOL_FIRST_BLOCK — sadiq / githubweb
  377. domain.c: fix `stw_resize_minor_heaps_reservation`. — gabriel.scherer / githubweb
  378. Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` — samuel.aime.vivien / githubweb
  379. Changes — samuel.aime.vivien / githubweb
  380. add hashtbl remove and replace which return the previous value (#14060) — noreply / githubweb
  381. Memprof.start replaces any existing profile in the domain, Memprof.is_sampling — gabriel.scherer / githubweb
  382. Adjust test and add test — gabriel.scherer / githubweb
  383. [minor] Code clean-up — gabriel.scherer / githubweb
  384. [documentation] Clarify a difference between threads and domains — gabriel.scherer / githubweb
  385. Changes — gabriel.scherer / githubweb
  386. Clarify test — gabriel.scherer / githubweb
  387. Run callbacks before starting a different profile — gabriel.scherer / githubweb
  388. Bump multicoretests to the trunk-compatible 0.9 — mail / githubweb
  389. Also bump qcheck to 0.26 while we are at it — mail / githubweb
  390. runtime: host aligned fibers inside the fiber cache whenever possible (#14169) — noreply / githubweb
  391. Add expectation to wellfounded11150.ml (#14170) — noreply / githubweb
  392. Print row types when they are GADT constructors — source / githubweb
  393. Better Btype.is_row_name — source / githubweb
  394. Gc.stat: restore stack_size and add live_stacks_words (#14168) — noreply / githubweb
  395. error message: explain quantification mismatches — Florian Angeletti / githubweb
  396. deprecation alert: file location — Florian Angeletti / githubweb
  397. update Changes — Florian Angeletti / githubweb
  398. Fix #13658 — source / githubweb
  399. 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
  400. toplevel: fix printing of qualified labels — Florian Angeletti / githubweb
  401. Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS. — timmcgil / githubweb
  402. ocamlprof: do not instrument unreachable clauses — gabriel.scherer / githubweb
  403. Changes — gabriel.scherer / githubweb
  404. update Changes — Florian Angeletti / githubweb
  405. Changes: 14169 was included in 5.4 — gabriel.scherer / githubweb
  406. Add Changes — timmcgil / githubweb
  407. Highlight known units for runtime_counter. — timmcgil / githubweb
  408. Misc.invert_build_path_prefix_map — pierre.boutillier / githubweb
  409. Apply BUILD_PATH_PREFIX_MAP to pathes found in files by the debugger — pierre.boutillier / githubweb
  410. Change reverted for now — pierre.boutillier / githubweb
  411. Changes — pierre.boutillier / githubweb
  412. Constraints on module unpacking are not ghost (#14198) — noreply / githubweb
  413. Fix pthread_setname_np under NetBSD — antonin / githubweb
  414. Fix #14200 (without breaking pr7321_ok.ml) (#14202) — noreply / githubweb
  415. fix memory model for Weak.set — damien.doligez / githubweb
  416. refactor weak.c/do_set to look more like memory.c/modify — damien.doligez / githubweb
  417. ocamltest: show test name before running the test — damien.doligez / githubweb
  418. Add List.split_map (#14185) — noreply / githubweb
  419. Changes — gabriel.scherer / githubweb
  420. Fix typos in comment (#14194) — noreply / githubweb
  421. Elide duplicate ephemeron status check (#14175) — noreply / githubweb
  422. Recognize %identity as nonexpansive (#14029) — noreply / githubweb
  423. fix tsan tests to account for #14143 (#14203) — noreply / githubweb
  424. Better error message when a functor is its own unsafe functor — source / githubweb
  425. Changes bookkeeping — Florian Angeletti / githubweb
  426. Actually make example unsafe (see #14217) — source / githubweb
  427. After #14209, TSan now correctly reports a data race in — damien.doligez / githubweb
  428. functor error messages: don't forget equality — Florian Angeletti / githubweb
  429. Fix st_stubs.c compilation with mingw-w64 13.0.0 — david.allsopp / githubweb