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. Update configure.ac — noreply / githubweb
  2. Regenerate. — toots / githubweb
  3. Match GNU/Hurd last — samuel.thibault / githubweb
  4. adds data_types to dune configuration — contact / githubweb
  5. Use '$' instead of '.' to separate module names in symbol names. — timmcgil / githubweb
  6. -dsource: \#mod is not an operator in type context — Florian Angeletti / githubweb
  7. Minor header inclusion fixes — antonin / githubweb
  8. Audit the installed headers for C++ compatibility — antonin / githubweb
  9. Test whether C++ stubs can be compiled and linked — antonin / githubweb
  10. Fix CFI annotation when invoking noalloc C code. — miod / githubweb
  11. Fix Numbers.Int_base.compare (#13606) — noreply / githubweb
  12. Refactor `Typecore.type_application` — thevoodoos / githubweb
  13. Do not include <runtime/caml/config.h> unless truly necessary. — miod / githubweb
  14. Fatal error if allocations fail inside lf_skiplist.c — guillaume.munch-maccagnoni / githubweb
  15. Fatal error if OOM inside skiplist.c — guillaume.munch-maccagnoni / githubweb
  16. [minor] Fix comments — guillaume.munch-maccagnoni / githubweb
  17. Hold lock around ephemeron debugging code. — nick / githubweb
  18. Enable native backend on x86_64 GNU/Hurd — samuel.thibault / githubweb
  19. Match GNU/Hurd last — samuel.thibault / githubweb
  20. Enable natdynlink on x86_64 GNU/Hurd — samuel.thibault / githubweb
  21. Remove unused runtime due to recursive value compilation changes. — hugo.heuzard / githubweb
  22. bootstrap — hugo.heuzard / githubweb
  23. review: extended longident explanation — Florian Angeletti / githubweb
  24. update Changes — Florian Angeletti / githubweb
  25. error messages: enable formatting for warnings — Florian Angeletti / githubweb
  26. error messages: doc for partial match warning — Florian Angeletti / githubweb
  27. review: names for error report formatting — Florian Angeletti / githubweb
  28. self-review: add missing spaces — Florian Angeletti / githubweb
  29. warnings: fine-tune principality warnings — Florian Angeletti / githubweb
  30. warnings: tweak break hints for flambda warning (59) — Florian Angeletti / githubweb
  31. update Changes — Florian Angeletti / githubweb
  32. Update format.ml to avoid Queue.empty (#13572) — noreply / githubweb
  33. Various fixes to set thread name — antonin / githubweb
  34. Refactor: use std function to filter a list in odoc_ast — thevoodoos / githubweb
  35. Add changelog entry for #13612 — thevoodoos / githubweb
  36. gprinttyp: pretty printing for levels (#13621) — noreply / githubweb
  37. configure: use $warn_error_flag instead of -Werror — antonin / githubweb
  38. configure: stop checking for math.h — antonin / githubweb
  39. configure: assume presence of unistd.h on POSIX systems — antonin / githubweb
  40. Add a short path for String.concat and String.split_on_char (#13620) — noreply / githubweb
  41. Pure re-ordering of major_gc.c, to gather related functions together. — nick / githubweb
  42. Banner comments for each section of major_gc.c. — nick / githubweb
  43. lexer: lowercase-only delimiters for quoted strings (#13628) — noreply / githubweb
  44. Added a few location while parsing (#13624) — noreply / githubweb
  45. Suggest regenerating configure by running tools/autogen directly — antonin / githubweb
  46. Suggest a Docker image to regenerate the configure script — antonin / githubweb
  47. Changes: add myself as a reviewer for PR #13601 — Sebastien.Hinderer / githubweb
  48. Changes — guillaume.munch-maccagnoni / githubweb
  49. Update tsan oracles after 7f5719c2651292ccd20c6e2644d44cf6dd360105 — miod / githubweb
  50. Fix #13598 by protecting partial_pred — garrigue / githubweb
  51. properly protect wrap_trace_gadt_instances — garrigue / githubweb
  52. follow Florian's suggestion — garrigue / githubweb
  53. add counterexample for #13599 — garrigue / githubweb
  54. Update tsan and frame-pointer oracles after 703ba8eac4da669f793d84452a6137f333254db2 — miod / githubweb
  55. Use correct CFA register on MacOS. Improve linker version detection. — nick / githubweb
  56. use backtracking in Ctype.unify_gadt — garrigue / githubweb
  57. add new failure example — garrigue / githubweb
  58. optimize unify_gadt to only check for free variables in the expected type — garrigue / githubweb
  59. add comment in unify_pat_types_refine — garrigue / githubweb
  60. update comment in ctype.mli — garrigue / githubweb
  61. update result of examples — garrigue / githubweb
  62. Fix mangling of caml_system$frametable — miod / githubweb
  63. Changes bookkeeping — Florian Angeletti / githubweb
  64. Put G into FUNCTION, END_FUNCTION and OBJECT — timmcgil / githubweb
  65. Fix broken frame pointer tests from #13050 — timmcgil / githubweb
  66. Fix a pattern in configure — samuel / githubweb
  67. Fix syntax details in HACKING.adoc — samuel / githubweb
  68. Update to libtool 2.5.4 — antonin / githubweb
  69. Update to Automake 1.17 — antonin / githubweb
  70. Update GNU config — antonin / githubweb
  71. Changes bookkeeping — Florian Angeletti / githubweb
  72. Remove unneeded Automake files — antonin / githubweb
  73. Add the missing `$(EXE)` for `stripdebug` invocations — samuel / githubweb
  74. typecore.ml: documentation comments for untyped_apply_arg — gabriel.scherer / githubweb
  75. typecore.ml: documentation comments for type_application — gabriel.scherer / githubweb
  76. type_args: move [expand_head] to match trunk evaluation order — gabriel.scherer / githubweb
  77. fix a comment — gabriel.scherer / githubweb
  78. typecore.ml: small location improvement in an type_application error message — gabriel.scherer / githubweb
  79. minor renaming for consistency — gabriel.scherer / githubweb
  80. typecore.ml: an [instance] was possibly missing compared to the trunk version — gabriel.scherer / githubweb
  81. typecore.ml: minor tweak — gabriel.scherer / githubweb
  82. runtime: help gcc static analyzer by widening a test — Florian Angeletti / githubweb
  83. Avoid traversing C parts of frame pointer chain when reallocating stack — stedolan / githubweb
  84. Include the `runtime` directory only for ocamltest — samuel / githubweb
  85. Use `target` instead of `host` to detect the C toolchain — samuel / githubweb
  86. Use `target` instead of `host` when relevant in configuration — samuel / githubweb
  87. Detect a _build_ C toolchain to build `sak` — samuel / githubweb
  88. Check that the OCaml versions are compatible for a cross compiler — samuel / githubweb
  89. Improve documentation of Map.S.add_to_list — olejodd10 / githubweb
  90. Improve the error message when GADT parameter variance cannot be checked (#13663) — noreply / githubweb
  91. Better errors for illegal recursive modules (#13646) — noreply / githubweb
  92. release-info: update the prospective calendar — Florian Angeletti / githubweb
  93. Use a `TARGET_BINDIR` configure variable instead of `--with-target-bindir` — samuel / githubweb
  94. Add a configurable library directory on target — samuel / githubweb
  95. Detect `flexlink` only on relevant targets — samuel / githubweb
  96. Add a `Config` entry for the compression libraries — samuel / githubweb
  97. Add a `Config` entry for the target OS type — samuel / githubweb
  98. Bootstrap — samuel / githubweb
  99. Add a Makefile.cross with rules to build a cross compiler — samuel / githubweb
  100. Enable bootstrapping flexdll in the cross-compiler setting — samuel / githubweb
  101. Add cross-compilation cases to `sak` — samuel / githubweb
  102. Document cross compilers in INSTALL.adoc — samuel / githubweb
  103. Add a changelog entry for cross compilers — samuel / githubweb
  104. Add a CI workflow to test cross compilers — samuel / githubweb
  105. Improve `regular_nested` example for “polymorphism” chapter — fdsteffahn / githubweb
  106. Changes bookkeeping — Florian Angeletti / githubweb
  107. Remove redundant ~refine argument in Typecore, and clarify use of unify_gadt. (#13660) — noreply / githubweb
  108. Only call Cygwin setup once — david.allsopp / githubweb
  109. Fix logic error in configure.ac — david.allsopp / githubweb
  110. Avoid register stall on conversion operations — Pierre Chambart / githubweb
  111. driver: use compilation unit name in dependency in native linker — Florian Angeletti / githubweb
  112. Changes — Pierre Chambart / githubweb
  113. review: testsuite explanation — Florian Angeletti / githubweb
  114. update Changes — Florian Angeletti / githubweb
  115. [refactor] genprintval: abstract away the use of Out_name — gabriel.scherer / githubweb
  116. a testsuite for toplevel printing of constructors — gabriel.scherer / githubweb
  117. genprintval: printer shorter paths for constructors — gabriel.scherer / githubweb
  118. genprintval constructor printing: extra test case — gabriel.scherer / githubweb
  119. testsuite example from Florian — gabriel.scherer / githubweb
  120. Changes — gabriel.scherer / githubweb
  121. runtime: remove backup_thread_running — gabriel.scherer / githubweb
  122. Update GitHub CI Ubuntu from 22.04 to 24.04. (#13665) — noreply / githubweb
  123. Add eager bool functions: Bool.(logand, logor, logxor). (#13662) — noreply / githubweb
  124. Refactor in typing/typetexp — samuel.aime.vivien / githubweb
  125. Lifted code out for tree_of_typexp — samuel.aime.vivien / githubweb
  126. Refactor in parsing/pprintast — samuel.aime.vivien / githubweb
  127. Refactor in typing/typemod — samuel.aime.vivien / githubweb
  128. improved style — samuel.aime.vivien / githubweb
  129. Teach debugger scripts about variable number of domains. — nick / githubweb
  130. Fix #13688 by moving before_generalize call inside with_new_pool — garrigue / githubweb
  131. update comment — garrigue / githubweb
  132. domain.c: simplify caml_domain_is_multicore — gabriel.scherer / githubweb
  133. Changes — gabriel.scherer / githubweb
  134. manual: switch pdf renderer to lualatex — Florian Angeletti / githubweb
  135. manual: don't escape non-ascii unicode character in grammars — Florian Angeletti / githubweb
  136. manual: document the switch to basic unicode support — Florian Angeletti / githubweb
  137. Changes placeholder — Florian Angeletti / githubweb
  138. review: changes — Florian Angeletti / githubweb
  139. review: Unicode capitalization — Florian Angeletti / githubweb
  140. manual: transf.mll better escaping — Florian Angeletti / githubweb
  141. review: use Unicode vocabulary — Florian Angeletti / githubweb
  142. review: stronger encoding wording — Florian Angeletti / githubweb
  143. review: rewording and expand Latin-1 block — Florian Angeletti / githubweb
  144. github workflow: add texlive-luatex for the manual — Florian Angeletti / githubweb
  145. Introduce `Typedtree.map_apply_arg` — thevoodoos / githubweb
  146. Make matching exhaustive — thevoodoos / githubweb
  147. Reword some comments. — thevoodoos / githubweb
  148. Rename `type_omitted_parameters` — thevoodoos / githubweb
  149. Update reviewers list in changelog — thevoodoos / githubweb
  150. Changes bookkeeping — Florian Angeletti / githubweb
  151. Rewrite mutable globals for GC control to be atomic — mail / githubweb
  152. Revert "Include the `runtime` directory only for ocamltest" — david.allsopp / githubweb
  153. Fix static builds of the compiler — david.allsopp / githubweb
  154. manual: fix name of caml_hash_variant in the C interface — michael / githubweb
  155. faster caml_continuation_use_and_update_handler_noexc — hugo.heuzard / githubweb
  156. Changes — gabriel.scherer / githubweb
  157. Support unicode identifiers in comments — pieter / githubweb
  158. typos in ephemeron-related comments — gabriel.scherer / githubweb
  159. typemod: labeled argument [strengthen:bool] for type_{module,application} — gabriel.scherer / githubweb
  160. typemod: labeled argument [funct_body:bool] for type_{module,application,open_decl} — gabriel.scherer / githubweb
  161. Add test for unicode identifier in comment — pieter / githubweb
  162. Add `Char.Ascii` module (#13695) — noreply / githubweb
  163. [minor] Document locking behaviour of C channels — guillaume.munch-maccagnoni / githubweb
  164. Fix deadlock in runtime events — guillaume.munch-maccagnoni / githubweb
  165. Avert potential deadlock in caml_iterate_named_values — guillaume.munch-maccagnoni / githubweb
  166. Use caml_plat_lock_non_blocking in signals.c, clarify signal installation — guillaume.munch-maccagnoni / githubweb
  167. Replace caml_plat_locking with caml_plat_non_blocking in io.c — guillaume.munch-maccagnoni / githubweb
  168. Document remaining uses of caml_plat_lock — guillaume.munch-maccagnoni / githubweb
  169. Changes — guillaume.munch-maccagnoni / githubweb
  170. Changes — pieter / githubweb
  171. Revert "Replace caml_plat_locking with caml_plat_non_blocking in io.c" — guillaume.munch-maccagnoni / githubweb
  172. Document use of caml_plat_lock_blocking — guillaume.munch-maccagnoni / githubweb
  173. Correctly fix the runtime events deadlock — guillaume.munch-maccagnoni / githubweb
  174. Changes — guillaume.munch-maccagnoni / githubweb
  175. Use a more explicit name for [remaining_function_type] — thevoodoos / githubweb
  176. Pin Cygwin back to 3.5.4 — david.allsopp / githubweb
  177. Correct OOM semantics of caml_stat_strdup_to_os — david.allsopp / githubweb
  178. fix subtyping error message for some polymorphic variants — gabriel.scherer / githubweb
  179. Create symlinks on Windows when available — david.allsopp / githubweb
  180. Set MSYS and CYGWIN permanently — david.allsopp / githubweb
  181. Test installations on the MSVC workflow — david.allsopp / githubweb
  182. Add Result.retract. — daniel.buenzli / githubweb
  183. Update changes. — daniel.buenzli / githubweb
  184. Promote failing test. — daniel.buenzli / githubweb
  185. Add a dummy `caml_debugger_saved_instruction` when `HAS_SOCKETS` is false — samuel / githubweb
  186. Fix Dynarray.for_all's docstring — duncan / githubweb
  187. Bump multicoretests to version 0.6 — mail / githubweb
  188. Fix minor typo in Ephemeron documentation (#13730) — noreply / githubweb
  189. Add a Changes entry — mail / githubweb
  190. Add `filteri` to `Seq` (#13729) — noreply / githubweb
  191. Add Either.retract (#13731) — noreply / githubweb
  192. instr_size fixes for arm64 — timmcgil / githubweb
  193. Add enable-codegen-invariants flag for instr_size debugging — timmcgil / githubweb
  194. Improve performance of Weak.add (#13737) — noreply / githubweb
  195. Correct name of coccinelle test — david.allsopp / githubweb
  196. Fix coccinelle linking regression test on Cygwin — david.allsopp / githubweb
  197. Simplify test script slightly — david.allsopp / githubweb
  198. Add enable-codegen-invariants flag to CI testing — timmcgil / githubweb
  199. Optimize Weak.find_aux (#13740) — noreply / githubweb
  200. String starts_with/ends_with tests should run unconditionally (#13741) — noreply / githubweb
  201. Add caml_stat_char_array_{to,of}_os — david.allsopp / githubweb
  202. Annotate more caml_stat_* functions — david.allsopp / githubweb
  203. Add Linux ARM64 build — noreply / githubweb
  204. Update build.yml — noreply / githubweb
  205. Add a .editorconfig file — antonin / githubweb
  206. Document that custom finalizers must not access the OCaml heap, etc. — josh / githubweb
  207. Explicit units in time management — antonin / githubweb
  208. Prevent erroneously waiting for an unbounded time in Unix.select — antonin / githubweb
  209. fix wrong PR number in Changes — leo / githubweb
  210. changes bookkeeping — Florian Angeletti / githubweb
  211. Fix a documentation typo in `seq.mli` — noreply / githubweb
  212. Refactor of previous_arg_loc — samuel.aime.vivien / githubweb
  213. Lift may_warn out of match in collect_apply_args — samuel.aime.vivien / githubweb
  214. Major refactor in collect_apply_args to prepare for a new function kind — samuel.aime.vivien / githubweb
  215. Corrected tabulation level typo — samuel.aime.vivien / githubweb
  216. Moved proper_exp_loc and unify_exp to the top of the file for future uses in collect_apply_args — samuel.aime.vivien / githubweb
  217. Corrected typo in comment that came from an argument renamed in a previous change — samuel.aime.vivien / githubweb
  218. Updated Changes — samuel.aime.vivien / githubweb
  219. Simplified a match (based on reviewers feedback) to remove an assert false — samuel.aime.vivien / githubweb
  220. Inlined `eliminate_optional_arg` and `use_arg` — samuel.aime.vivien / githubweb
  221. Add machtype on Cmm function parameters — Pierre Chambart / githubweb
  222. Correct memory_chunk annotation on loads of integers — Pierre Chambart / githubweb
  223. Add missing kind annotation on Cmm catch arguments — Pierre Chambart / githubweb
  224. Update comment [get_field_gen] — Pierre Chambart / githubweb
  225. Update Changes — Pierre Chambart / githubweb
  226. Allow unboxing of static catch parameters with flambda (#13758) — noreply / githubweb
  227. Update release calendar — Florian Angeletti / githubweb
  228. Skip emit blank lines in the native-debugger tests — david.allsopp / githubweb
  229. dynlink: cannot open dll error: always escape error message — n.oje.bar / githubweb
  230. Describe the termination behaviour in `seq.mli` — hirrolot / githubweb
  231. Fix for inaccurate live blocks/words stats in compaction (#13774) — noreply / githubweb
  232. Ensure that pool owners are correctly set on pool adoption (#13773) — noreply / githubweb
  233. Reset the major GC's pacing clock after any synchronous GC work. (#13736) — noreply / githubweb
  234. Fix ocamltest line numbers after multiline comments, strings — lmaurer / githubweb
  235. Use nanosleep when available for the tick thread — antonin / githubweb
  236. Include `asm.h` at the beginning of assembler sources — samuel / githubweb
  237. Detect the need for the GNU note for non-executable stack — samuel / githubweb
  238. Add a `Config` variable for the need of the GNU non-executable stack note — samuel / githubweb
  239. #13764 ocamldep: keywords flag mirroring the ocaml{c,opt} one (#13779) — noreply / githubweb
  240. Immutable arrays — olivier / githubweb
  241. Remove unnecessary iarray primitives — olivier / githubweb
  242. Bootstrap — olivier / githubweb
  243. Add Stdlib.Iarray module — olivier / githubweb
  244. Immutable array tests — olivier / githubweb
  245. Remove .:() indexing operator — olivier / githubweb
  246. Update changelog — olivier / githubweb
  247. Remove IarrayLabels — olivier / githubweb
  248. Output the `.note.GNU-stack` section based on `configure` — samuel / githubweb
  249. Detect support for `.size` and `.type` assembler directives — samuel / githubweb
  250. Add a `Config` variable for the `.size` and `.type` assembler directives — samuel / githubweb
  251. Output the `.size` and `.type` directives based on `configure` result — samuel / githubweb
  252. Add a Changes entry — samuel / githubweb
  253. Use [%extension_constructor] instead of Obj.Extension_constructor.of_val in Type.Id (#13782) — noreply / githubweb
  254. add `Stdlib.phys_equal` (#13753) — noreply / githubweb
  255. Unicode chars in error messages: respect the Unicode notation. — daniel.buenzli / githubweb
  256. Expose IO_BUFFER_SIZE as Sys.io_buffer_size, merge IO_BUFFER_SIZE and UNIX_BUFFER_SIZE (#13589) — noreply / githubweb
  257. Fix indentation (whitespace change only) — david.allsopp / githubweb
  258. Display the configure command on AppVeyor — david.allsopp / githubweb
  259. Restore AppVeyor configure-caching — david.allsopp / githubweb
  260. Fix under-estimated Lcondbranch instruction size — xavier.leroy / githubweb
  261. -d(no-)canonical-ids flag (unset by default): boilerplate, no implementation — gabriel.scherer / githubweb
  262. implement Ident canonicalization — gabriel.scherer / githubweb
  263. Changes — gabriel.scherer / githubweb
  264. -dcanonical-ids: un-hide /0 stamps — gabriel.scherer / githubweb
  265. format: add a out_width function to Format device — Florian Angeletti / githubweb
  266. review: add a use of "pp_string_as" — Florian Angeletti / githubweb
  267. format: install utf8_scalar_width by default — Florian Angeletti / githubweb
  268. Fix windows test — Florian Angeletti / githubweb
  269. review: before_width computation and documentation — Florian Angeletti / githubweb
  270. review: clarify when [out_width] is called — Florian Angeletti / githubweb
  271. Update Changes — Florian Angeletti / githubweb
  272. review: documentation typo and desync — Florian Angeletti / githubweb
  273. Be consistent with the Windows triplets — david.allsopp / githubweb
  274. Consolidate and document the Windows triplets — david.allsopp / githubweb
  275. Fix backslashes in runtime/build_config.h — david.allsopp / githubweb
  276. Move TARGET_LIBDIR to Makefile.build_config — david.allsopp / githubweb
  277. Use C.UTF-8 for the test locale in check-typo — david.allsopp / githubweb
  278. Require all text files to be valid UTF-8 — david.allsopp / githubweb
  279. Stop using non-ascii attribute — david.allsopp / githubweb
  280. Add check-typo to 5.x release branches! — david.allsopp / githubweb
  281. Test check-typo PRs properly — david.allsopp / githubweb
  282. Use non-ascii name rather than utf8 — david.allsopp / githubweb
  283. Labeled tuples — ccasinghino / githubweb
  284. bootstrap — ccasinghino / githubweb
  285. Implement `get_left` & `get_right` in `Either` (#13768) — noreply / githubweb
  286. Missing flexlink bootstrap dependencies — david.allsopp / githubweb
  287. Rename Format.utf8_scalar_width to utf_8_scalar_width (#13794) — noreply / githubweb
  288. array.ml: remove dependency on String module. — daniel.buenzli / githubweb
  289. Add String.edit_distance with a classic implementation. — daniel.buenzli / githubweb
  290. String.edit_distance: use a ring buffer of rows instead of a full matrix. — daniel.buenzli / githubweb
  291. String.edit_distance: add [limit] to bound distance computation. — daniel.buenzli / githubweb
  292. Add String.spellcheck. — daniel.buenzli / githubweb
  293. Address review comment from wikku. — daniel.buenzli / githubweb
  294. String.spellcheck: better default max_dist. — daniel.buenzli / githubweb
  295. String.edit_distance: add an obvious shortcut for limit <= 1. — daniel.buenzli / githubweb
  296. Address doc review from Gabriel. — daniel.buenzli / githubweb
  297. String.spellcheck: compute the word's uchars only once. — daniel.buenzli / githubweb
  298. Add forgotten run of tools/sync_stdlib_docs. — daniel.buenzli / githubweb
  299. Address review from Nicolás. — daniel.buenzli / githubweb
  300. Short path: improve bound check. — daniel.buenzli / githubweb
  301. String.spellcheck: represent dictionaries by their iteration. — daniel.buenzli / githubweb
  302. String.edit_distance: reduce window size and add comment about rogue read. — daniel.buenzli / githubweb
  303. String.edit_distance: jmax computation: guard against reasonable overflows. — daniel.buenzli / githubweb
  304. Update changes. — daniel.buenzli / githubweb
  305. Add prefetch support for ARM64, PPC64, RiscV and s390x — timmcgil / githubweb
  306. Track type of variables bound by `as` (#13763) — noreply / githubweb
  307. OCaml Language Committe: description and link — Florian Angeletti / githubweb
  308. Tweak comment. — daniel.buenzli / githubweb
  309. Revert changes to .gitattributes. — daniel.buenzli / githubweb
  310. Add non-ascii to .gitattributes apparently #13724 was not a revolution. — daniel.buenzli / githubweb
  311. Fix conflict resolution bug in Changes. — daniel.buenzli / githubweb
  312. .gitattributes: thinking too much about types. — daniel.buenzli / githubweb
  313. stdlib: new module Pqueue — gabriel.scherer / githubweb
  314. a more versatile API — gabriel.scherer / githubweb
  315. update Changes — gabriel.scherer / githubweb
  316. give module Make a signature constraint — gabriel.scherer / githubweb
  317. too late for 5.2 — gabriel.scherer / githubweb
  318. add Pqueue to stdlib documentation — gabriel.scherer / githubweb
  319. use Dynarray.is_empty — gabriel.scherer / githubweb
  320. stdlib: better interface for priority queues — gabriel.scherer / githubweb
  321. stdlib: yet another interface for priority queues — gabriel.scherer / githubweb
  322. stdlib: a fourth API for priority queues — gabriel.scherer / githubweb
  323. various small changes in Pqueue interface — gabriel.scherer / githubweb
  324. adding a suffix _unordered to iter and fold — gabriel.scherer / githubweb
  325. priority queues: no more Empty exception — gabriel.scherer / githubweb
  326. priority queues: remove_min does nothing if the queue is empty — gabriel.scherer / githubweb
  327. make alldepend — gabriel.scherer / githubweb
  328. Changes: move Pqueue entry from 5.3 to working version. — daniel.buenzli / githubweb
  329. Add Uchar.{utf_8_decode_length_of_byte,max_utf_8_decode_length}. — daniel.buenzli / githubweb
  330. Fix typo — n.oje.bar / githubweb
  331. Don't trash the backtraces in `Sys.getenv_opt` (#13727) — noreply / githubweb
  332. Changes: missing parentheses — n.oje.bar / githubweb
  333. Added an error detection when generating typing constraints — samuel.aime.vivien / githubweb
  334. Added test with class type — samuel.aime.vivien / githubweb
  335. testsuite: promote a no-flat-float-array test — Florian Angeletti / githubweb
  336. PDF manual: add section titles to page right-facing page headers (#13802) — noreply / githubweb
  337. Fix LaTeX formatting of table of operators and their precedences — xavier.leroy / githubweb
  338. types: fix a small bug in the scope+marks bitmasking code — gabriel.scherer / githubweb
  339. Prefer Autoconf EXEEXT to our exeext — antonin / githubweb
  340. Reformat an AS_IF — antonin / githubweb
  341. Update AX_PROG_CC_FOR_BUILD to rev 26 — antonin / githubweb
  342. configure: define outputobj and outputexe flags together — antonin / githubweb
  343. Fix sak build not using the proper build compiler invocation — antonin / githubweb
  344. Add support for unaligned accesses on arm64 — matthewelse1997 / githubweb
  345. Expose a way to get current timestamp in runtime events (#13785) — noreply / githubweb
  346. Fix forgotten check on validity of a type variable name — samuel.aime.vivien / githubweb
  347. Refactored validity check — samuel.aime.vivien / githubweb
  348. Updated PR number in Changes — samuel.aime.vivien / githubweb
  349. Refactored packed modules types into a record containing a location — samuel.aime.vivien / githubweb
  350. Modified parsetree to store type constraints directly with a module packing. — samuel.aime.vivien / githubweb
  351. Defactored code in typing/typecore to improve readability — samuel.aime.vivien / githubweb
  352. Added tests to ensure this new pattern is in the testsuite — samuel.aime.vivien / githubweb
  353. Changes — samuel.aime.vivien / githubweb
  354. fix #13778: module S with type t = int uses type t — Florian Angeletti / githubweb
  355. fix #13788: spellchecking hint, keep module context — Florian Angeletti / githubweb
  356. check-typo: enforce gawk — gabriel.scherer / githubweb
  357. Attach new locs to `Ldot` and `Lapply` nodes — thevoodoos / githubweb
  358. Remove polymorphic comparisons of longidents — thevoodoos / githubweb
  359. Stop using longidents in Types.Tpackage — thevoodoos / githubweb
  360. Update dependency info — thevoodoos / githubweb
  361. Add changelog entry for #13302 — thevoodoos / githubweb
  362. Promote changes in test: errors have finer lid locations — thevoodoos / githubweb
  363. bootstrap — thevoodoos / githubweb
  364. Less verbose longident test output — thevoodoos / githubweb
  365. stdlib: add a format_text function for text-like format strings — Florian Angeletti / githubweb
  366. review: paragraph, tmc implementation and documentation — Florian Angeletti / githubweb
  367. review: remove blank line coalescing, update description — Florian Angeletti / githubweb
  368. add Changes entry — Florian Angeletti / githubweb
  369. review: typo in documentation — Florian Angeletti / githubweb
  370. review: simpler format_text breaks computation — Florian Angeletti / githubweb
  371. update Changes — Florian Angeletti / githubweb
  372. Ensure depth-first search in iterators — thevoodoos / githubweb
  373. Light refactor of caml_unix_random_seed — antonin / githubweb
  374. Use the Windows CSPRNG to get a random seed for Stdlib.Random — antonin / githubweb
  375. Added unused warning on type definitions comming from an `_ as _` — samuel.aime.vivien / githubweb
  376. Changes — samuel.aime.vivien / githubweb
  377. Moved location of error message to match location and warning settings — samuel.aime.vivien / githubweb
  378. Store only potential unused warnings — samuel.aime.vivien / githubweb
  379. Made a distinction in the warnings between types and type variables — samuel.aime.vivien / githubweb
  380. Print warning when set thread name fails. (#13823) — noreply / githubweb
  381. Fix field initialisation bug in runtime_events.c. — Nick.Barnes / githubweb
  382. Avoid re-marking ephemerons with trivial data (#13827) — noreply / githubweb
  383. Allow values reachable from ephemeron keys to be collected by minor GC — stedolan / githubweb
  384. formatting — stedolan / githubweb
  385. Bugfix: Hd_val instead of Tag_val — stedolan / githubweb
  386. Infix_tag tweak — stedolan / githubweb
  387. Skip running native debugger tests when TSan is enabled. (#13816) — noreply / githubweb
  388. Translmod.type_structure: remove unnecessary plumbing for module block size (#13832) — noreply / githubweb
  389. fix pexp_function documentation — valentin.gatienbaron / githubweb
  390. error messages: align spellchecking hints — Florian Angeletti / githubweb
  391. error messages: spellcheck hints are no longer lazily computed — Florian Angeletti / githubweb
  392. format_doc: preprocessing function for ralign — Florian Angeletti / githubweb
  393. Misc.with_aligned_hint: fmt variant — Florian Angeletti / githubweb
  394. Ensure apt is updated before installing packages — david.allsopp / githubweb
  395. format_doc: fix bug in align functions — Florian Angeletti / githubweb
  396. review: split `with_aligned_hint` function — Florian Angeletti / githubweb
  397. update Changes — Florian Angeletti / githubweb
  398. review: Misc.aligned_hint, better documentation — Florian Angeletti / githubweb
  399. Add test showing untypeast issue — ccasinghino / githubweb
  400. Fix untypeast handling of pvb_constraint — ccasinghino / githubweb
  401. expose Printast.pattern for debugging — gabriel.scherer / githubweb
  402. dune support: iarray placeholder — Florian Angeletti / githubweb
  403. Address review feedback — ccasinghino / githubweb
  404. changes entry — ccasinghino / githubweb
  405. -dtypedtree: print locations for 'extra' nodes — gabriel.scherer / githubweb
  406. manual: clarify documentation of C macros on integers — n.oje.bar / githubweb
  407. document what Location.loc_ghost is — valentin.gatienbaron / githubweb
  408. Fewer details — n.oje.bar / githubweb
  409. Fix Weak.get_copy not darkening custom blocks — josh / githubweb
  410. Add note about Val_int truncation — n.oje.bar / githubweb
  411. Ensure root safety in caml_register_named_value. — nick / githubweb
  412. Float.Array.fill: add [@@noalloc] attribute — gabriel.scherer / githubweb
  413. Float.Array.fill: add [@inline] attribute to expose float-unboxing opportunity — gabriel.scherer / githubweb
  414. Index all paths components (#13848) — noreply / githubweb
  415. Add `[Float.]Array.{equal.compare}` (#13836) — noreply / githubweb
  416. Fix Changes entry for PR13782 — vincent.laviron / githubweb
  417. Add a Repr module to the standard library — kit-ty-kate / githubweb
  418. Add reviewer to Changes — josh / githubweb
  419. Add Stephen Dolan's test — josh / githubweb
  420. Add pointer to ocamltest docs from testsuite/HACKING.md (#13869) — noreply / githubweb
  421. add -i-variance — tscompor / githubweb
  422. add the syntax for bivariance — tscompor / githubweb
  423. enable -i-variance in tests for variance and constraints — tscompor / githubweb
  424. shape printer: less box drifting — Florian Angeletti / githubweb
  425. shape printer: reduce white spaces — Florian Angeletti / githubweb
  426. ocamldoc: add option to turn off _ escaping — Florian Angeletti / githubweb
  427. manual: remove special handling of In_channel and Out_channel — Florian Angeletti / githubweb
  428. Remove special-casing for socketpair — david.allsopp / githubweb
  429. Re-enable the cloexec.ml test on Windows — david.allsopp / githubweb
  430. Add not-target-windows ocamltest action — david.allsopp / githubweb
  431. Test Unix.create_process as well — david.allsopp / githubweb
  432. Switch from not-windows to not-target-windows — david.allsopp / githubweb
  433. Switch uses of libunix to not-target-windows — david.allsopp / githubweb
  434. Add target-windows ocamltest action — david.allsopp / githubweb
  435. error messsages: convert most hints to submessage (#13838) — noreply / githubweb
  436. Remove out-of-date comment from cloexec.ml test — david.allsopp / githubweb
  437. update Changes — Florian Angeletti / githubweb
  438. Add Cvar_mut in Cmm to access mutable variables — vincent.laviron / githubweb
  439. Enforce proper use of mutability in codegen tests — vincent.laviron / githubweb
  440. Add invariant checks for Cmm mutability of variables — vincent.laviron / githubweb
  441. Remove Cmm_helpers.bind_nonvar, as bind now has the right semantics — vincent.laviron / githubweb
  442. Add tests — vincent.laviron / githubweb
  443. Make object stat counters atomic (#13880) — noreply / githubweb
  444. Use a dedicated primitive for Lazy blocks (#13867) — noreply / githubweb
  445. Implement `Dynarray.{exists2, for_all2}` (#13885) — noreply / githubweb
  446. Fix my author name in the contributions — hirrolot / githubweb
  447. Renamed unify_package into compare_package — samuel.aime.vivien / githubweb
  448. Added an inlined record for Tpackage — samuel.aime.vivien / githubweb
  449. Lift inlined record out of Tpackage as a new type — samuel.aime.vivien / githubweb
  450. BOOTSTRAP — samuel.aime.vivien / githubweb
  451. Changed interface of compare_package to take packages as argument — samuel.aime.vivien / githubweb
  452. Factor subtype_package out of subtype_rec — samuel.aime.vivien / githubweb
  453. Changed interface of package_subtype to take packages as arguments — samuel.aime.vivien / githubweb
  454. Factor unify_package out of unify3 — samuel.aime.vivien / githubweb
  455. Factor moregen_package out of moregen — samuel.aime.vivien / githubweb
  456. Factor eqtype_package out of eqtype — samuel.aime.vivien / githubweb
  457. Changed interface of type_package to take a package as argument and return a package — samuel.aime.vivien / githubweb
  458. Small improvement of presentation — samuel.aime.vivien / githubweb
  459. Changed interface of modtype_of_package to take a package as argument — samuel.aime.vivien / githubweb
  460. Introduce a new record for package types in outcometree — samuel.aime.vivien / githubweb
  461. Changes — samuel.aime.vivien / githubweb
  462. Renamed pack_fields to pack_cstrs in package_type for coherence — samuel.aime.vivien / githubweb
  463. Renamed fileds of Typedtree.package_type for less ambiguity with Types.package — samuel.aime.vivien / githubweb
  464. Refactor complete_type_list to take a package as argument — samuel.aime.vivien / githubweb
  465. #13702 error messages: specialized error messages for non-functors (#13865) — noreply / githubweb
  466. Add reviewers to Changes entry for #13407 — Sebastien.Hinderer / githubweb
  467. gitignore: ignore macOS executable debug symbols directory — antonin / githubweb
  468. set scope in expand_abbrev rather than rely on update_scope — garrigue / githubweb
  469. use Int.max rather than generic max — garrigue / githubweb
  470. add log and comments; small change in instance_parameterized_type — garrigue / githubweb
  471. Add a test showing unexpected approximated shapes — thevoodoos / githubweb
  472. Use `Pextra_ty` for specific shape paths and correctly index modules in these. — thevoodoos / githubweb
  473. Add changelog entry — thevoodoos / githubweb
  474. Fix C _Atomic in header incompatibility with C++ — kit-ty-kate / githubweb
  475. Correct regression with `unused-type-declaration` warning — samuel.aime.vivien / githubweb
  476. Merge pull request #13829 from clementblaudeau/recsig-substitution-cyclic-check — noreply / githubweb
  477. Remove quotes around \var{...} in intfc manual — stephen / githubweb
  478. Fix documentation of Array.compare regarding the ordering. (#13908) — noreply / githubweb
  479. Enforce evaluation order for generic applications in Closure (#13882) — noreply / githubweb
  480. Mark tests that actually require multicore (#13906) — noreply / githubweb
  481. Fix definition of Fibonacci numbers in the manual (#13912) — noreply / githubweb
  482. Apply BUILD_PATH_PREFIX_MAP to Sys.argv.(0) in cmt — david.allsopp / githubweb
  483. GHA: remove PRISTINE_PATH — antonin / githubweb
  484. GHA: bash is part of Cygwin base — antonin / githubweb
  485. GHA: tell Cygwin's bash to ignore CR line endings — antonin / githubweb
  486. GHA: revisit limits on concurrent Make jobs — antonin / githubweb
  487. GHA: store the Autoconf cache key in the step output — antonin / githubweb
  488. GHA: don't set CC as an env variable — antonin / githubweb
  489. GHA: refactor configure calls in runner.sh — antonin / githubweb
  490. GHA: typo — antonin / githubweb
  491. GHA: split configuration and build — antonin / githubweb
  492. GHA: use a fold for config.log in GHA — antonin / githubweb
  493. Get rid of the @since attribute for the Uchar.hash function — Sebastien.Hinderer / githubweb
  494. Add Result.product and Result.Syntax (#13696) — noreply / githubweb
  495. Repr.equal is not an operator (#13914) — noreply / githubweb
  496. Add examples to the `Fun` module — hazem-work / githubweb
  497. Reword some paragraphs in `Fun` examples — hazem-work / githubweb
  498. Reword more paragraphs in `Fun` examples — hazem-work / githubweb
  499. Add more examples to `Fun.id` and `const` — hazem-work / githubweb
  500. Remove problematic examples and add descriptions — hazem-work / githubweb
  501. Expand the Fun.id dispatching description — hazem-work / githubweb
  502. Add "advanced"/"real-world" examples — hazem-work / githubweb
  503. Make function refs headers — hazem-work / githubweb
  504. Add `Fun.compose` examples — hazem-work / githubweb
  505. Deindent and improve formatting — hazem-work / githubweb
  506. Reword some descriptions — hazem-work / githubweb
  507. Remove problematic `flip` examples — hazem-work / githubweb
  508. Replace a `compose` example with more involved one — hazem-work / githubweb
  509. Typos in the Uchar example — hazem-work / githubweb
  510. Some rewording — hazem-work / githubweb
  511. Replace the windows path conversion example — hazem-work / githubweb
  512. Add a Scanf example to id — hazem-work / githubweb
  513. Add example to const, remove example from compose — hazem-work / githubweb
  514. Indent code blocks, reorder, reformat, reword — hazem-work / githubweb
  515. Remove scanf and floatarray examples from id — hazem-work / githubweb
  516. Prevent overlong lines in code examples — hazem-work / githubweb
  517. Add a Changes entry — hazem-work / githubweb
  518. Harden the cloexec.ml test on Windows — david.allsopp / githubweb
  519. Harden cloexec.ml test against virus scanners! — david.allsopp / githubweb
  520. Enrich ocamltest doc about scripts (#13902) — noreply / githubweb
  521. manual: alerts: add sections, in preparation for following commits — valentin.gatienbaron / githubweb
  522. manual: alerts: annotate code section as ocaml code — valentin.gatienbaron / githubweb
  523. manual: alerts: document how to put alerts on all structure/signature items — valentin.gatienbaron / githubweb
  524. Makefile.dev: work around #13817 (#13818) — noreply / githubweb
  525. [refactor] runtime: auxiliary function for allocated_words update — gabriel.scherer / githubweb
  526. runtime: "suspended" and "resumed" allocations affect the major GC speed — gabriel.scherer / githubweb
  527. runtime: simplistic support for [ramp_up], [ramp_down] — gabriel.scherer / githubweb
  528. runtime: count the work suspended by each ramp-up phase — gabriel.scherer / githubweb
  529. runtime: support nested ramp-up phases — gabriel.scherer / githubweb
  530. expose ramp_up, ramp_down as externals in stdlib/Gc — gabriel.scherer / githubweb
  531. Changes entry — gabriel.scherer / githubweb
  532. runtime: log ramp-up / ramp-down in SLICESIZE GC logs — gabriel.scherer / githubweb
  533. Gc.ramp_up: re-raise exceptions, but ramp-down right before — gabriel.scherer / githubweb
  534. [minor] stray fix in runtime/array.c — gabriel.scherer / githubweb
  535. runtime/array.c: expose {uniform_,float}array_concat, use it in Float.Array — gabriel.scherer / githubweb
  536. Rename ccomptype to ccomp_type for consistency (#13927) — noreply / githubweb
  537. Add Result.{get_ok',error_to_failure} (#13720) — noreply / githubweb
  538. Add List.singleton and Seq.singleton — david.allsopp / githubweb
  539. Fix @since 5.0 annotation loss in domain.mli and effect.mli by swapping alert and header (#13934) — noreply / githubweb
  540. mystery reviewer for 13643 — gabriel.scherer / githubweb
  541. Added tests for abstraction of whole module types during avoidance — clement.blaudeau / githubweb
  542. Removed abstraction of whole module types when avoiding a field — clement.blaudeau / githubweb
  543. Fix test weak-ephe-final/ephe_custom.ml (#13940) — noreply / githubweb
  544. [refactoring] move Matching.get_mod_field to Lambda.transl_mod_field — gabriel.scherer / githubweb
  545. [refactoring] Lambda.transl_mod_field, move 'lazy' to clients — gabriel.scherer / githubweb
  546. [refactor] Lambda: merge transl_mod_field and transl_prim — gabriel.scherer / githubweb
  547. update .depend — gabriel.scherer / githubweb
  548. Fix #13939 — olivier / githubweb
  549. Typeopt: better handling of deeply nested unboxed types — vincent.laviron / githubweb
  550. Add test — vincent.laviron / githubweb
  551. Changes — vincent.laviron / githubweb
  552. runtime: migrate caml_{alloc,update}_dummy from alloc.c to obj.c — gabriel.scherer / githubweb
  553. caml_update_dummy: the [Infix_tag] case is dead code — gabriel.scherer / githubweb
  554. [minor] value_rec_compiler: refactor alloc/update calls — gabriel.scherer / githubweb
  555. recursive values: introduce [caml_update_dummy_lazy] — gabriel.scherer / githubweb
  556. regression test for lazy shortcutting in recursive values — gabriel.scherer / githubweb
  557. Changes — gabriel.scherer / githubweb
  558. lazy + letrec: insert indirections on lazy update to avoid concurrency issues — gabriel.scherer / githubweb
  559. use a dedicated [caml_alloc_dummy] primitive — gabriel.scherer / githubweb
  560. Improved changelog message — clement.blaudeau / githubweb
  561. document [caml_domain_alone] reasoning — gabriel.scherer / githubweb
  562. spawn: increment [caml_num_domains_running] earlier to ease reasoning — gabriel.scherer / githubweb
  563. domain_create: release the domain lock on failure — gabriel.scherer / githubweb
  564. Changes — gabriel.scherer / githubweb
  565. Pin Cygwin back to 3.6.1 until AppVeyor updates — david.allsopp / githubweb
  566. List.sort_uniq : remove non-first duplicates. (#13862) — noreply / githubweb
  567. Move match_printer_type in order to share it between toplevel and debugger — pierre.boutillier / githubweb
  568. Move find_printer to Topprinters (to be shared with the degugger) — pierre.boutillier / githubweb
  569. Move debugger printers fetching logic — pierre.boutillier / githubweb
  570. Debugger uses Topprinters.find_printer — pierre.boutillier / githubweb
  571. release-info: update calendar — Florian Angeletti / githubweb
  572. Use dune.3.18.0 which is compatible with trunk — mail / githubweb
  573. Bump qcheck and multicoretests to the latest releases — mail / githubweb
  574. Changed occur_rec in typing/ctype.ml to traverse type as a graph and not a tree — samuel.aime.vivien / githubweb
  575. Changes — samuel.aime.vivien / githubweb
  576. Renamed some arguments of occur_rec — samuel.aime.vivien / githubweb
  577. Add signal definitions for SIGIO and SIGWINCH. — timmcgil / githubweb
  578. Add signal_to_string function — timmcgil / githubweb
  579. Add signal type alias and signal_to_string. — timmcgil / githubweb
  580. Export signal conversion functions as primitives. — timmcgil / githubweb
  581. Export signal conversion functions as primitives in Sys — timmcgil / githubweb
  582. Update documentation in Unix module — timmcgil / githubweb
  583. Check int and signal argument ranges for conversion functions — timmcgil / githubweb
  584. Add changelog — timmcgil / githubweb
  585. Allow 'effect' as attribute id (#13957) — noreply / githubweb
  586. ocamltest: fix typos — gabriel.scherer / githubweb
  587. ocamltest: use C99 booleans — antonin / githubweb
  588. ocamltest: fix path comparison — antonin / githubweb
  589. ocamltest: use O_CLOEXEC on file descriptors — antonin / githubweb
  590. ocamltest: compare wcscmp result with 0 — antonin / githubweb
  591. ocamltest: alarm(3) is always successful — antonin / githubweb
  592. Teach ocamltest about colors — antonin / githubweb
  593. GHA: update to macOS 15 and Xcode 16.3 — antonin / githubweb
  594. tests: native-debugger: build C test code without optimizations — antonin / githubweb
  595. tests: native-debugger: sanitize library path — antonin / githubweb
  596. tests: native-debugger: fix GDB version parsing — antonin / githubweb
  597. tests: native-debugger: disable disabling ASLR — antonin / githubweb
  598. tests: native-debugger: sanitize trailing blanks — antonin / githubweb
  599. tests: native-debugger: simplify shell scripts — antonin / githubweb
  600. Apply suggestions from review — antonin / githubweb
  601. Check separately in configure if DIFF supports --color — antonin / githubweb
  602. Fix hygiene check for generating `configure` (#13935) — noreply / githubweb
  603. Added printing of presence flag in typedtree (#13963) — noreply / githubweb
  604. fix .depend — gabriel.scherer / githubweb
  605. [minor] value_rec_compiler: move primitive declarations earlier — gabriel.scherer / githubweb
  606. fix #13931 — gabriel.scherer / githubweb
  607. Add profiling with perf chapter OCaml manual — timmcgil / githubweb
  608. Collapse profiling into a single chapter. — timmcgil / githubweb
  609. add an invariant function to check that loc_ghost is set correctly — valentin.gatienbaron / githubweb
  610. parser: partially align use of loc_ghost with what the documentation says — valentin.gatienbaron / githubweb
  611. parser: refactor previous commit, by removing error prone functions — valentin.gatienbaron / githubweb
  612. parser: regenerate parser.ml — valentin.gatienbaron / githubweb
  613. Add test of princiaplity from polymorphic type constraints — thevoodoos / githubweb
  614. Keep generalized structure from patterns when typing let — thevoodoos / githubweb
  615. Add changelog entry — thevoodoos / githubweb
  616. Renamed the flag `transparent_modules` into `no_alias_deps` — clement.blaudeau / githubweb
  617. Update driver/makedepend.ml — clement.blaudeau / githubweb
  618. Updated Changelog with pr number — clement.blaudeau / githubweb
  619. Update changes — antonin / githubweb
  620. ocamlopt: pass -fPIC when compiling C files — n.oje.bar / githubweb
  621. Changes — n.oje.bar / githubweb
  622. Changes — n.oje.bar / githubweb
  623. Uniformize definition of native_cflags, bytecode_cflags — n.oje.bar / githubweb
  624. Changes — n.oje.bar / githubweb
  625. last commit before branching 5.4 — Florian Angeletti / githubweb
  626. first commit after branching 5.4 — Florian Angeletti / githubweb
  627. Update README.adoc badges after branching — Florian Angeletti / githubweb
  628. Avoid tearing in Array.sub — olivier / githubweb
  629. Move filter_arrow error handling in a function — thevoodoos / githubweb
  630. Refactor: extract loc_rest_of_function — thevoodoos / githubweb
  631. Refactor [type_approx]. — thevoodoos / githubweb
  632. Add a test illustrating a regression in type_approx — thevoodoos / githubweb
  633. Fix the regression in type approx — thevoodoos / githubweb
  634. Remove the loop: we are already in a recursive function — thevoodoos / githubweb
  635. Add a comment about an unreachable case — thevoodoos / githubweb
  636. Add a comment for type_approx_fun_one_param's spato parameter. — thevoodoos / githubweb
  637. Add a changelog entry for #13980 — thevoodoos / githubweb
  638. Propagate file_descr cloexec correctly to channels — david.allsopp / githubweb
  639. Set FLEXDIR when bootstrapping flexlink — david.allsopp / githubweb
  640. Make ocamlmklib fail on an unknown parameter — david.allsopp / githubweb
  641. Collimate the comments — thevoodoos / githubweb
  642. Fix Makefile dependencies for ocamldoc, ocamltest and ocamldebug — vincent.laviron / githubweb
  643. Bump magic numbers and version for 5.5.0 — Florian Angeletti / githubweb
  644. Refactor [is_functor_arg] table of env into [not_aliasable] — clement.blaudeau / githubweb
  645. Added tests and updated error message with line breaks — clement.blaudeau / githubweb
  646. genprintval: explain why certain uses of O.obj are not guarded — gabriel.scherer / githubweb
  647. genprintval: move user-installed printers out of the Make functor — gabriel.scherer / githubweb
  648. Generic printers in debugger — gabriel.scherer / githubweb
  649. Test and doc of polymorphic printers in debugger — gabriel.scherer / githubweb
  650. Use trunk-compatible dune.3.18.2 — mail / githubweb
  651. Made the "remove_aliases" attribute visible in built-ins attributes — clement.blaudeau / githubweb
  652. Add Dynarray.unsafe_to_iarray — olivier / githubweb
  653. Reimplement `let open`, `let module` and `let exception` in terms of a single construct (#13839) — noreply / githubweb
  654. webman: add anchors for API items, headings (#14002) — noreply / githubweb
  655. Refine docs for `In_channel` and `Out_channel` (#13982) — noreply / githubweb
  656. Pprintast: use parentheses around Pexp_struct_item in sequences — n.oje.bar / githubweb
  657. Move Changes entry to right place, add bugfix PR — n.oje.bar / githubweb
  658. Add test — n.oje.bar / githubweb
  659. Fix missing version bump to 5.5 in opam file — mail / githubweb
  660. Update precondition comment to reflect renaming from #12619 — mail / githubweb
  661. check-symbol-names: ignore extern char **environ re-decl — david.allsopp / githubweb
  662. gha: Document labels triggering/skipping workflows — david.allsopp / githubweb
  663. Dynamic matrix for the others job — david.allsopp / githubweb
  664. Add optional static and mimimal jobs — david.allsopp / githubweb
  665. Merge macOS Dependency steps — david.allsopp / githubweb
  666. Fix test_create_cursor_failures.ml on Cygwin — david.allsopp / githubweb
  667. Update build-msvc.yml to permit Cygwin builds — david.allsopp / githubweb
  668. Add optional Cygwin check to CI — david.allsopp / githubweb
  669. Add bytecode-only Cygwin check — david.allsopp / githubweb
  670. Add a 'CI: Skip testsuite' label — david.allsopp / githubweb
  671. Fix tools/check-symbol-names for i686 mingw-w64 — david.allsopp / githubweb
  672. Windows matrix: arch instead of x86_64 — david.allsopp / githubweb
  673. stale bot: only identify stale issues, don't close them. (#14004) — noreply / githubweb
  674. Fix memory corruption when an exception is raised during demarshaling. (#14015) — noreply / githubweb
  675. Update Changes — david.allsopp / githubweb
  676. update Changes after cherry-picking — Florian Angeletti / githubweb
  677. [refactor merge] Create a Merge module + white space changes — clement.blaudeau / githubweb
  678. [refactor merge] Extracted helper functions — clement.blaudeau / githubweb
  679. [refactor merge] Changed the return logic — clement.blaudeau / githubweb
  680. [refactor merge] Extracted the recursive functions for deep constr — clement.blaudeau / githubweb
  681. [refactor merge] Moved code — clement.blaudeau / githubweb
  682. [refactor merge] Extracted the type-package case — clement.blaudeau / githubweb
  683. [refactor merge] Extracted the type case — clement.blaudeau / githubweb
  684. [refactor merge] Extracted the module case — clement.blaudeau / githubweb
  685. [refactor merge] Extracted the modtype case — clement.blaudeau / githubweb
  686. [refactor merge] Added comments, minor stylistic changes — clement.blaudeau / githubweb
  687. [refactor merge] Corrections from Octachron review — clement.blaudeau / githubweb
  688. [refactor merge] Moved the catching of exception — clement.blaudeau / githubweb
  689. [refactor merge] Updated comments — clement.blaudeau / githubweb
  690. [refactor merge] Added Changelog entry — clement.blaudeau / githubweb
  691. [minor] printcmm: print atomic loads — gabriel.scherer / githubweb
  692. [testsuite] test the compilation of atomic functions — gabriel.scherer / githubweb
  693. [refactor] Define [caml_atomic_cas] in terms of [caml_atomic_cas_field]. — gabriel.scherer / githubweb
  694. [breaking] Change the prototype of [caml_atomic_cas_field]. — gabriel.scherer / githubweb
  695. runtime: Add atomic primitives [caml_atomic_load_field], [caml_atomic_exchange_field] and [caml_atomic_fetch_add_field]. — gabriel.scherer / githubweb
  696. lambda: Add support for new atomic primitives. — gabriel.scherer / githubweb
  697. Add support for atomic record fields. — gabriel.scherer / githubweb
  698. atomic fields in ocamldoc — gabriel.scherer / githubweb
  699. Bootstrap. — gabriel.scherer / githubweb
  700. Add tests for atomic record fields. — gabriel.scherer / githubweb
  701. [minor] Make test_untypeast.ml more readable. — gabriel.scherer / githubweb
  702. Add predefined type ['a atomic_loc]. — gabriel.scherer / githubweb
  703. [refactor] more general type for Env.mark_*_used — gabriel.scherer / githubweb
  704. Add extension [%atomic.loc record.field]. — gabriel.scherer / githubweb
  705. Bootstrap. — gabriel.scherer / githubweb
  706. Add module [Stdlib.Atomic.Loc]. — gabriel.scherer / githubweb
  707. Add tests for [Atomic.Loc]. — gabriel.scherer / githubweb
  708. Reimplement [Atomic.t] using [Atomic.Loc.t]. — gabriel.scherer / githubweb
  709. Forbid atomic fields in patterns. — gabriel.scherer / githubweb
  710. Changes — gabriel.scherer / githubweb
  711. testsuite for pattern-matching on atomic reads — gabriel.scherer / githubweb
  712. allow wildcard patterns under atomic record fields — gabriel.scherer / githubweb
  713. stdlib/Atomic: move the Loc module below in the .mli — gabriel.scherer / githubweb
  714. stdlib/Atomic: minimal documentation — gabriel.scherer / githubweb
  715. describe atomic record fields in the reference manual — gabriel.scherer / githubweb
  716. Runtime events: dispatch the right event message type (#13970) — noreply / githubweb
  717. Add Unix.unsetenv — n.oje.bar / githubweb
  718. Add test — n.oje.bar / githubweb
  719. Document [row_more] and [row_fixed]. — reisenberg / githubweb
  720. Add Option.product and Option.Syntax (#13916) — noreply / githubweb
  721. [minor] More readable output from `gen_sizeclasses` (#13923) — noreply / githubweb
  722. Fix unterminated-string-initialization warning — antonin / githubweb
  723. fix atomic-locs/cmm.compilers.reference — gabriel.scherer / githubweb
  724. tests: native-debugger: sanitize GDB+musl output — antonin / githubweb
  725. Fix #13427 — olivier / githubweb
  726. Add caml_sys_proc_self_exe primitive — david.allsopp / githubweb
  727. Add Sys.runtime_executable — david.allsopp / githubweb
  728. Cleanups following introduction of `Pexp_struct_item`/`Texp_struct_item` (#14028) — noreply / githubweb
  729. Add row_more invariant — noreply / githubweb
  730. Update flexdll submodule to 0.44 — mail / githubweb
  731. Reenable lib-dynlink-domains test on Windows, temporarily disabled in #11607 — mail / githubweb
  732. Comments from review — reisenberg / githubweb
  733. Changelog — reisenberg / githubweb
  734. tests: native-debugger: sanitize LLDB+GLIBC output — antonin / githubweb
  735. fix #13941 — damien.doligez / githubweb
  736. update Changes for #13961 — damien.doligez / githubweb
  737. simplifications suggested by reviewer — damien.doligez / githubweb
  738. [minor] use a record in Compenv.process_deferred_actions — gabriel.scherer / githubweb
  739. Amend docstring — n.oje.bar / githubweb
  740. Better error messages on invalid recursive module definitions — gabriel.scherer / githubweb
  741. Ensure that all Bigarray memory managed by the GC is tracked by Memprof — gabriel.scherer / githubweb
  742. Format: place hint white spaces after the break hint — gabriel.scherer / githubweb
  743. Changes — gabriel.scherer / githubweb
  744. Update changes — antonin / githubweb
  745. Attach infix extension points/attributes on local module/exception/open to structure item instead of enclosing let expression (#14009) — noreply / githubweb
  746. manual: fall back immediately to user-agent-defined fonts — toastal / githubweb
  747. Uniformize parsing rules for structure and signature items (#14039) — noreply / githubweb
  748. Trully share #*_printers machinery between toplevel and debugger — pierre.boutillier / githubweb
  749. Review changes — david.allsopp / githubweb
  750. update the memprof bigarray test — david.allsopp / githubweb
  751. Move #13675 to 5.4 Changes — david.allsopp / githubweb
  752. Reimplement generational stack scanning a la OCaml 4 — gabriel.scherer / githubweb
  753. ARM64: explicitly ignore top bits in return addresses — gabriel.scherer / githubweb
  754. Better API for generational stack scanning — gabriel.scherer / githubweb
  755. Adapt TSAN to generational stack scanning — gabriel.scherer / githubweb
  756. Changes for 13594 — gabriel.scherer / githubweb
  757. document the invariants around pc marking in tsan.c — gabriel.scherer / githubweb
  758. manual: move the TeX header of each language extension into the extension-specific .etex file (#14041) — noreply / githubweb
  759. Changes — gabriel.scherer / githubweb
  760. Use BUILD_PATH_PREFIX_MAP to sanitize debug event paths, do not rewrite shebang — pierre.boutillier / githubweb
  761. Accept native freestanding targets at configure time — samuel / githubweb
  762. Allow `*-ocaml` as target triplets to build freestanding cross compilers — samuel / githubweb
  763. Update changelog — samuel / githubweb
  764. domain_terminate: orphan the shared heap before STW exit — gabriel.scherer / githubweb
  765. Changes — gabriel.scherer / githubweb
  766. runtime: caml_finalise_heap should first adopt all orphan pools — gabriel.scherer / githubweb
  767. review: clarify the invariants in [domain_create], including for the last domain — gabriel.scherer / githubweb
  768. review: clarify the invariants required to free the shared heap — gabriel.scherer / githubweb
  769. minor Changes fixes — gabriel.scherer / githubweb
  770. Changelog: fix ordering for 5.3 — gabriel.scherer / githubweb
  771. Changes: reuse the improved 5.4 entry order from the 5.4 branch — gabriel.scherer / githubweb
  772. Unix.kill: On Windows, make process exit code ERROR_PROCESS_ABORTED (#14046) — noreply / githubweb
  773. Revert "Merge pull request #14045 from pirbo/bpp-map-1-2" — gabriel.scherer / githubweb
  774. re-apply the part of #14045 that disables path rewrites on the shebang — gabriel.scherer / githubweb
  775. Special constructor for %sys_argv primitive (#10570) — noreply / githubweb
  776. Debugger: Fallback to looking for module_name.ml in the loadpath when seeking source files (#14063) — noreply / githubweb
  777. Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow — samuel.aime.vivien / githubweb
  778. Add Option.blend (#13995) — noreply / githubweb
  779. error message: point all label mismatches — Florian Angeletti / githubweb
  780. Add a test showing spurious unused warnign in fonctor argument signatures. — thevoodoos / githubweb
  781. Mark both in [modtypes_with_shape] — thevoodoos / githubweb
  782. Reduce test noise by disabling warning 60 — thevoodoos / githubweb
  783. Add changelog entry for #13956 — thevoodoos / githubweb
  784. dynlink: fix exception name in printer — me / githubweb
  785. Changes update — Florian Angeletti / githubweb
  786. Add changelog entry — me / githubweb
  787. fix one more definition of fib in the manual — damien.doligez / githubweb
  788. Add a new type kind `Type_external` (#13712) — noreply / githubweb
  789. For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. — kc / githubweb
  790. error messages: point mismatched univars — Florian Angeletti / githubweb
  791. Introduce Sixtyfour memory chunk to handle unaligned accesses — kc / githubweb
  792. Fix note: the alignment of `_Atomic long long unsigned int` fields changed in GCC 11.1 on i686 (#14035) — noreply / githubweb
  793. Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077) — noreply / githubweb
  794. Switch back to ubuntu-latest — david.allsopp / githubweb
  795. update Changes — Florian Angeletti / githubweb
  796. Address reviewer comments. — kc / githubweb
  797. Catch invalid aliases at merging rather than subtyping (#14066) — noreply / githubweb
  798. Generalise Compmisc.init_path — david.allsopp / githubweb
  799. Add Dll.search_path — david.allsopp / githubweb
  800. Add Misc.Stdlib.String.to_utf_8_seq — david.allsopp / githubweb
  801. Expose Bytelink.read_runtime_launch_info — david.allsopp / githubweb
  802. Changes bookkeeping: missing reviewer — Florian Angeletti / githubweb
  803. Add Domain.running_domain_count — n.oje.bar / githubweb
  804. Changes — n.oje.bar / githubweb
  805. Changes — n.oje.bar / githubweb
  806. Add Config.{c_compiler_vendor,shebangscripts} — david.allsopp / githubweb
  807. Add a test for the compiler "in-prefix" — david.allsopp / githubweb
  808. Plumb the in-prefix tests into CI — david.allsopp / githubweb
  809. Changes: 14074 was backported to 5.4 — gabriel.scherer / githubweb
  810. Avoid an error when a channel is flushed during close — sdolan / githubweb
  811. review — sdolan / githubweb
  812. Fix flakiness of TSan tests using flushes and synchronization — olivier / githubweb
  813. Skip native-debugger tests. — timmcgil / githubweb
  814. Use caml_unix_error instead of errno+caml_uerror — n.oje.bar / githubweb
  815. Symmetrize caml_sys_rename and caml_unix_rename — n.oje.bar / githubweb
  816. Symmetrize caml_sys_chdir and caml_unix_chdir — n.oje.bar / githubweb
  817. Symmetrize caml_sys_close and caml_unix_close — n.oje.bar / githubweb
  818. Symmetrize caml_sys_system_command and caml_unix_system — n.oje.bar / githubweb
  819. Update Changes — n.oje.bar / githubweb
  820. stdlib: Option.{for_all, exists} (#13920) — noreply / githubweb
  821. [refactor] dynarray variable naming, consistently use [f] for function arguments — n.oje.bar / githubweb
  822. Dynarray.rev_iter, rev_iteri — n.oje.bar / githubweb
  823. Changes — n.oje.bar / githubweb
  824. Rename Domain.running_domain_count => Domain.count (#14096) — noreply / githubweb
  825. ocamldoc: no paragraph in module table (#14098) — noreply / githubweb
  826. CI: attempt to silence a MSVC warning — gabriel.scherer / githubweb
  827. Changes bookkeeping: fix 13896 entry — Florian Angeletti / githubweb
  828. toplevel: test with nongeneric printer — Florian Angeletti / githubweb
  829. toplevel: printers must have a generic type — Florian Angeletti / githubweb
  830. refactor Ctype: remove nongen_inst argument — Florian Angeletti / githubweb
  831. add Changes entry — Florian Angeletti / githubweb
  832. Explicitly fail-fast — david.allsopp / githubweb
  833. Temporarily disable -Wcast-function-type-mismatch — david.allsopp / githubweb
  834. Temporarily disable warning C5387 on MSVC — david.allsopp / githubweb
  835. Update memprof after leaving the barrier at the end of minor GC, nor before. — Nick.Barnes / githubweb
  836. Use C99 (u)int64_t instead of MSVC __int64 extension — antonin / githubweb
  837. Use time_t instead of MSVC __time64_t — antonin / githubweb
  838. Use C99 fixed-width integers in bigarray — antonin / githubweb
  839. Fully use C99 stdint.h fixed-width integers — antonin / githubweb
  840. Define intnat/uintnat with C99 intptr_t/uintptr_t — antonin / githubweb
  841. Use C99 inttypes.h fixed-width format macros — antonin / githubweb
  842. Define and use CAML_PRI.NAT and CAML_PRI.SZT — antonin / githubweb
  843. s/alloced/allocated/g — antonin / githubweb
  844. Update Changes — antonin / githubweb
  845. Fix a possible hang in Pprintast (#14105) — noreply / githubweb
  846. toplevel: fix a typo in directive error messages — Florian Angeletti / githubweb
  847. changes: sync with 5.4 — Florian Angeletti / githubweb
  848. use No_scan_tag and NOT_MARKABLE to indicate free block — sadiq / githubweb
  849. change shared pools heap representation to indicate contiguous free ranges — sadiq / githubweb
  850. add prefetching — sadiq / githubweb
  851. add Changes — sadiq / githubweb
  852. actually prefetch a page ahead — sadiq / githubweb
  853. restore split asserts — sadiq / githubweb
  854. clarify comment in verify_pool — sadiq / githubweb
  855. fix bug in compaction — sadiq / githubweb
  856. write Debug_free_major in to newly initialised pools — sadiq / githubweb
  857. fix bug in pool_finalise — sadiq / githubweb
  858. simplify macro — sadiq / githubweb
  859. Update runtime/shared_heap.c — sadiq / githubweb
  860. Update runtime/shared_heap.c — sadiq / githubweb
  861. restore atomic header read — sadiq / githubweb
  862. make note about GC pacing logic — sadiq / githubweb
  863. Update runtime/shared_heap.c — sadiq / githubweb
  864. wh -> Whsize_hd — sadiq / githubweb
  865. always update the pointer in the last free block — sadiq / githubweb
  866. revert all_used annotation — sadiq / githubweb
  867. Replaced normalize_package_path by Env.normalize_modtype_path — samuel.aime.vivien / githubweb
  868. Add -Wno-cast-function-type-mismatch more clangily — david.allsopp / githubweb
  869. Typo in stdlib/Makefile — david.allsopp / githubweb
  870. Reduce tmpheader.exe to 4-5KiB on Windows — david.allsopp / githubweb
  871. Stop using Caml_inline and CAMLnoret in headernt.c — david.allsopp / githubweb
  872. Remove unnecessary guards around unistd.h — david.allsopp / githubweb
  873. Use PATH_MAX instead of MAXPATHLEN — david.allsopp / githubweb
  874. Assume S_ISREG and SEEK_END — david.allsopp / githubweb
  875. Move O_BINARY definition to "header" section — david.allsopp / githubweb
  876. Make caml/exec.h independent — david.allsopp / githubweb
  877. Re-order some header functions (no-op) — david.allsopp / githubweb
  878. Share error path in headernt.c — david.allsopp / githubweb
  879. Unify implementation of read_size — david.allsopp / githubweb
  880. headernt.c: inline run_runtime into main — david.allsopp / githubweb
  881. Check for errors from lseek in header.c — david.allsopp / githubweb
  882. Refactor error display code — david.allsopp / githubweb
  883. header.c: close bytecode image before exec — david.allsopp / githubweb
  884. Use execvp in header.c (as in headernt.c) — david.allsopp / githubweb
  885. headernt: make read_runtime_path more CRTish — david.allsopp / githubweb
  886. Missing error case in headernt.c — david.allsopp / githubweb
  887. Unify the common parts of header.c and headernt.c — david.allsopp / githubweb
  888. Merge stdlib/header{,nt}.c — david.allsopp / githubweb
  889. error messages: typo, missing inline code — Florian Angeletti / githubweb
  890. #14093 was backported — gabriel.scherer / githubweb
  891. Fix use of time_t on i686 mingw-w64 (#14114) — noreply / githubweb
  892. Increase the amount of data written to a pipe in a test (#14116) — noreply / githubweb
  893. Add regression test — rtjoa / githubweb
  894. Fix non-destructive `with type` with type constraints — rtjoa / githubweb
  895. Add with type constraint testing — rtjoa / githubweb
  896. Update changelog — rtjoa / githubweb
  897. Add {Set,Map}.S.is_singleton (#14118) — noreply / githubweb
  898. Make List.{take,drop} total (#14124) — noreply / githubweb
  899. document that char compare uses ASCII order (#14090) — noreply / githubweb
  900. Add the approx flag to merging of module constraints — clement.blaudeau / githubweb
  901. Add a [merge_type_approx] for approximation of type constraints — clement.blaudeau / githubweb
  902. Add tests for module and type constraints during approximation — clement.blaudeau / githubweb
  903. Update Changelog — clement.blaudeau / githubweb
  904. Add another test for destructive type constraints approximation — clement.blaudeau / githubweb
  905. Address review comments on #14100 — clement.blaudeau / githubweb
  906. Update Changelog — clement.blaudeau / githubweb
  907. Refactor post_process of signature merging — clement.blaudeau / githubweb
  908. Update comment and Changelog — clement.blaudeau / githubweb
  909. Address review comments — clement.blaudeau / githubweb
  910. Missing case in {Stdlib,Float}.frexp documentation (#14128) — noreply / githubweb
  911. Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082) — noreply / githubweb
  912. Update comment — clement.blaudeau / githubweb
  913. matching: fix some non-deterministic code generation (#14091) — noreply / githubweb
  914. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) — noreply / githubweb
  915. typechecker: fix an internal error due to wrong exception — Florian Angeletti / githubweb
  916. cpp support: move basic type definitions to misc — Florian Angeletti / githubweb
  917. [minor] indentation fix in errortrace_report — gabriel.scherer / githubweb
  918. error messages: external with non-syntactic arity — Florian Angeletti / githubweb
  919. release calendar update — Florian Angeletti / githubweb
  920. Upstream "mark-delay" change from flambda-backend. — Nick.Barnes / githubweb
  921. 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
  922. fix finaliser handling bug — Nick.Barnes / githubweb
  923. Guard call to caml_darken — Nick.Barnes / githubweb
  924. Fix ephe_custom.ml test for the mark-delay scheme — Nick.Barnes / githubweb
  925. Don't make finaliser updates dependent on work being available. — Nick.Barnes / githubweb
  926. Removed unused field in package_type — samuel.aime.vivien / githubweb
  927. Changes — samuel.aime.vivien / githubweb
  928. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) — noreply / githubweb
  929. Move the orphaned ephemerons GC colour check inside the barrier. — kc / githubweb
  930. minor gc: more consistent memprof logging — gabriel.scherer / githubweb
  931. Fix missing expectations in typing-poly/poly.ml — source / githubweb
  932. Additional corrections — source / githubweb
  933. Audit unexecuted phrases — source / githubweb
  934. Audit — source / githubweb
  935. Fix audit — source / githubweb
  936. Changes — source / githubweb
  937. Update changes — source / githubweb
  938. runtime: free the minor heap when leaving STW participants — gabriel.scherer / githubweb
  939. Update parser and adapt to the new Tpoly invariant. Requires bootstrap. — Florian Angeletti / githubweb
  940. bootstrap — Florian Angeletti / githubweb
  941. Add tests for polymorphic parameters — Florian Angeletti / githubweb
  942. Promote polymorphic parameters tests failures — Florian Angeletti / githubweb
  943. Refactor: more descriptive return type for [split_function], renaming and comment work — Florian Angeletti / githubweb
  944. Introduce new error "opt params cannot be polymorphic" — Florian Angeletti / githubweb
  945. Wrap and generalize filter_arrow_mono if principal — Florian Angeletti / githubweb
  946. Handle polymorphic parameters in type_apply_arg — Florian Angeletti / githubweb
  947. Refactor Pexp_function case and handle poly — Florian Angeletti / githubweb
  948. Add one generalization level in type_class_arg_pattern — Florian Angeletti / githubweb
  949. Handle polymorphic parameters in [type_approx and] [type_pat_aux] — Florian Angeletti / githubweb
  950. Add changes entry for #15733 — Florian Angeletti / githubweb
  951. Add test with class argument — Florian Angeletti / githubweb
  952. Additional tests with labels — Florian Angeletti / githubweb
  953. review: reorder functions in btype — Florian Angeletti / githubweb
  954. review: comment format — Florian Angeletti / githubweb
  955. review: add a Btype.newgenmono utility symetrical to Ctype.newmono — Florian Angeletti / githubweb
  956. review: use label names in error messages — Florian Angeletti / githubweb
  957. review: additional tests — Florian Angeletti / githubweb
  958. Add test for polymorphic variants in polymorphic parameters — Florian Angeletti / githubweb
  959. Take fixed instances of polys where appropriate — Florian Angeletti / githubweb
  960. Show issue with subtyping trace — Florian Angeletti / githubweb
  961. Fix subtyping error trace — Florian Angeletti / githubweb
  962. tests: Promote error messages improvements after rebasing. — Florian Angeletti / githubweb
  963. review: more reuse in parser and reloc in [param_type] — Florian Angeletti / githubweb
  964. review: move [is_really_poly] utility to Ctype. — Florian Angeletti / githubweb
  965. Add more test cases — Florian Angeletti / githubweb
  966. Move definition closer to usage — Florian Angeletti / githubweb
  967. Additional test cases — Florian Angeletti / githubweb
  968. Document function in comment — Florian Angeletti / githubweb
  969. Add test cases — Florian Angeletti / githubweb
  970. Fix typo in error message — Florian Angeletti / githubweb
  971. Rename function and move it to Btype — Florian Angeletti / githubweb
  972. Inline function and exception used only once — Florian Angeletti / githubweb
  973. Document function — Florian Angeletti / githubweb
  974. Enforce Tpoly invariant — Florian Angeletti / githubweb
  975. Clarify conditions — Florian Angeletti / githubweb
  976. Clearer argument label and field names — Florian Angeletti / githubweb
  977. Turn ordinary comment into a documentation comment — Florian Angeletti / githubweb
  978. Clearer variable name — Florian Angeletti / githubweb
  979. Fix wrong set of univars — Florian Angeletti / githubweb
  980. review: De-duplicate parser rule for let — Florian Angeletti / githubweb
  981. review: Add test with syntactic arity mismatch — Florian Angeletti / githubweb
  982. review: Fix test — Florian Angeletti / githubweb
  983. Fix dependency generation when tools are disabled — david.allsopp / githubweb
  984. Fix generation of config.status for dynlink — david.allsopp / githubweb
  985. Don't generate ocamltest_config.ml when not needed — david.allsopp / githubweb
  986. Correct ocamltest-manual — david.allsopp / githubweb
  987. symbol names: revert to using `$` only on macOS and Windows (#14143) — noreply / githubweb
  988. bookkeeping: update release info — Florian Angeletti / githubweb
  989. Minor heap reservation: change the terminology — gabriel.scherer / githubweb
  990. review: use 'arena' for the (committed) minor heap space — gabriel.scherer / githubweb
  991. self-review: solidify two separate comments on minor heap layout — gabriel.scherer / githubweb
  992. runtime/domain.c: add a category of 'parked' stw_domains — gabriel.scherer / githubweb
  993. [minor] domain.c: reorder domain_self and heap-reservation variables — gabriel.scherer / githubweb
  994. [minor] domain.c: reorder domain_create — gabriel.scherer / githubweb
  995. use POOL_FIRST_BLOCK — sadiq / githubweb
  996. domain.c: fix `stw_resize_minor_heaps_reservation`. — gabriel.scherer / githubweb
  997. Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` — samuel.aime.vivien / githubweb
  998. Changes — samuel.aime.vivien / githubweb
  999. add hashtbl remove and replace which return the previous value (#14060) — noreply / githubweb
  1000. Memprof.start replaces any existing profile in the domain, Memprof.is_sampling — gabriel.scherer / githubweb
  1001. Adjust test and add test — gabriel.scherer / githubweb
  1002. [minor] Code clean-up — gabriel.scherer / githubweb
  1003. [documentation] Clarify a difference between threads and domains — gabriel.scherer / githubweb
  1004. Changes — gabriel.scherer / githubweb
  1005. Clarify test — gabriel.scherer / githubweb
  1006. Run callbacks before starting a different profile — gabriel.scherer / githubweb
  1007. Bump multicoretests to the trunk-compatible 0.9 — mail / githubweb
  1008. Also bump qcheck to 0.26 while we are at it — mail / githubweb
  1009. runtime: host aligned fibers inside the fiber cache whenever possible (#14169) — noreply / githubweb
  1010. Add expectation to wellfounded11150.ml (#14170) — noreply / githubweb
  1011. Print row types when they are GADT constructors — source / githubweb
  1012. Better Btype.is_row_name — source / githubweb
  1013. Gc.stat: restore stack_size and add live_stacks_words (#14168) — noreply / githubweb
  1014. error message: explain quantification mismatches — Florian Angeletti / githubweb
  1015. deprecation alert: file location — Florian Angeletti / githubweb
  1016. update Changes — Florian Angeletti / githubweb
  1017. Fix #13658 — source / githubweb
  1018. 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
  1019. Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS. — timmcgil / githubweb
  1020. ocamlprof: do not instrument unreachable clauses — gabriel.scherer / githubweb
  1021. Changes — gabriel.scherer / githubweb
  1022. Changes: 14169 was included in 5.4 — gabriel.scherer / githubweb
  1023. Add Changes — timmcgil / githubweb
  1024. Highlight known units for runtime_counter. — timmcgil / githubweb

origin/trunk-#1469 (Oct 12, 2019, 6:26:10 PM)

  1. Better stack backtraces for C calls in bytecode (#8641) — xavier.leroy / githubweb