Skip to content
[Jenkins]Jenkins
log in

Changes

origin/trunk-#4802 (Jul 11, 2025, 9:45:24 AM)

  1. typechecker: fix an internal error due to wrong exception — Florian Angeletti / githubweb

origin/trunk-#4801 (Jul 10, 2025, 2:53:51 PM)

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

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

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