Skip to content

Changes

origin/trunk-#4790 (Jun 28, 2025, 5:42:38 PM)

  1. Fix use of time_t on i686 mingw-w64 (#14114) — noreply / githubweb

origin/trunk-#4789 (Jun 28, 2025, 10:08:07 AM)

  1. Typo in stdlib/Makefile — david.allsopp / githubweb
  2. Reduce tmpheader.exe to 4-5KiB on Windows — david.allsopp / githubweb
  3. Stop using Caml_inline and CAMLnoret in headernt.c — david.allsopp / githubweb
  4. Remove unnecessary guards around unistd.h — david.allsopp / githubweb
  5. Use PATH_MAX instead of MAXPATHLEN — david.allsopp / githubweb
  6. Assume S_ISREG and SEEK_END — david.allsopp / githubweb
  7. Move O_BINARY definition to "header" section — david.allsopp / githubweb
  8. Make caml/exec.h independent — david.allsopp / githubweb
  9. Re-order some header functions (no-op) — david.allsopp / githubweb
  10. Share error path in headernt.c — david.allsopp / githubweb
  11. Unify implementation of read_size — david.allsopp / githubweb
  12. headernt.c: inline run_runtime into main — david.allsopp / githubweb
  13. Check for errors from lseek in header.c — david.allsopp / githubweb
  14. Refactor error display code — david.allsopp / githubweb
  15. header.c: close bytecode image before exec — david.allsopp / githubweb
  16. Use execvp in header.c (as in headernt.c) — david.allsopp / githubweb
  17. headernt: make read_runtime_path more CRTish — david.allsopp / githubweb
  18. Missing error case in headernt.c — david.allsopp / githubweb
  19. Unify the common parts of header.c and headernt.c — david.allsopp / githubweb
  20. Merge stdlib/header{,nt}.c — david.allsopp / githubweb

origin/trunk-#4788 (Jun 27, 2025, 10:45:46 PM)

  1. Avoid an error when a channel is flushed during close — sdolan / githubweb
  2. review — sdolan / githubweb
  3. #14093 was backported — gabriel.scherer / githubweb

origin/trunk-#4787 (Jun 27, 2025, 8:49:15 PM)

  1. error messages: typo, missing inline code — Florian Angeletti / githubweb

origin/trunk-#4786 (Jun 27, 2025, 5:12:30 PM)

  1. Replaced normalize_package_path by Env.normalize_modtype_path — samuel.aime.vivien / githubweb

origin/5.3-#4785 (Jun 27, 2025, 3:54:29 PM)

  1. Merge pull request #14109 from dra27/warning-fix — david.allsopp / githubweb

origin/trunk-#4784 (Jun 27, 2025, 1:57:50 PM)

  1. Add -Wno-cast-function-type-mismatch more clangily — david.allsopp / githubweb

origin/4.14-#4783 (Jun 26, 2025, 5:51:56 PM)

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

origin/trunk-#4782 (Jun 25, 2025, 2:45:37 PM)

  1. Update memprof after leaving the barrier at the end of minor GC, nor before. — Nick.Barnes / githubweb
  2. changes: sync with 5.4 — Florian Angeletti / githubweb

origin/5.3-#4781 (Jun 25, 2025, 1:16:22 PM)

  1. Runtime events: dispatch the right event message type (#13970) — david.allsopp / githubweb
  2. Merge pull request #14102 from dra27/msvc-warnings — david.allsopp / githubweb

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

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