Merge pull request #9635 from xavierleroy/skiplists (commit: fb79bd8) — gabriel.scherer / githubweb
Refactor skiplist to avoid UB casts (#9660) (commit: 286e21c) — gabriel.scherer / githubweb
More efficient management of code fragments (#9654) (commit: 751f965) — gabriel.scherer / githubweb

#267 (Jan 28, 2021, 11:36:15 AM)

check-typo (commit: a6cd900) — Sebastien.Hinderer / githubweb

#266 (Jan 28, 2021, 10:14:11 AM)

Inria CI: make sure this 4.11 branch is not run on Solaris (commit: 988af8b) — Sebastien.Hinderer / githubweb

#265 (Jan 27, 2021, 3:34:22 PM)

Skip the "sieve.ml" test in "cleanup at exit" runtime mode (commit: 26cab44) — damien.doligez / githubweb

#264 (Jan 26, 2021, 6:06:19 PM)

Terminate all threads explicitly (commit: 4c93dc0) — damien.doligez / githubweb

#263 (Jan 11, 2021, 4:31:24 PM)

changes: remove duplicated heading (commit: d6884b2) — Florian Angeletti / githubweb
Fix mergeable section flags and use .rodata.cst16 where appropriate (#9981) (commit: f11d385) — Florian Angeletti / githubweb
changes: mention GC fix (commit: a32ed94) — Florian Angeletti / githubweb

#262 (Jan 7, 2021, 3:25:00 PM)

Gc.set incorrectly handles the three `custom_*` fields (#10125) (commit: 1b202ba) — xavier.leroy / githubweb

#261 (Jan 5, 2021, 1:16:33 PM)

Merge pull request #10010 from gasche/extension_constructor_scopes (commit: f3d9e18) — gabriel.scherer / githubweb

#260 (Dec 26, 2020, 4:42:47 PM)

Merge pull request #10096 from gasche/fix-oo-caching-problem (commit: 3e3d7f9) — gabriel.scherer / githubweb

#259 (Dec 4, 2020, 2:45:54 PM)

Merge pull request #10056 from dra27/fix-8684 (commit: dd13c73) — david.allsopp / githubweb

#258 (Nov 30, 2020, 11:17:47 AM)

Define __USE_MINGW_ANSI_STDIO=0 for mingw-w64 (#9939) (commit: 26ebd64) — david.allsopp / githubweb

#257 (Oct 10, 2020, 9:10:36 AM)

Disable callstacks + comballoc tests on spacetime (#9911) (commit: 1ed86d5) — noreply / githubweb

#256 (Sep 1, 2020, 2:07:58 PM)

last commit before tagging 4.11.1 (commit: 249d5eb) — Florian Angeletti / githubweb
release 4.11.1 (commit: 28789a0) — Florian Angeletti / githubweb
increment version number after tagging 4.11.1 (commit: a1bddae) — Florian Angeletti / githubweb

#255 (Aug 28, 2020, 9:43:33 AM)

Revert "build_subtype: assert arrow type is known (#9348)" (commit: 0bc07da) — Florian Angeletti / githubweb
Add tests for #9859 after #9348 revert (commit: cacfa69) — Florian Angeletti / githubweb
update Changes (commit: 897de32) — Florian Angeletti / githubweb

#254 (Aug 27, 2020, 1:57:22 PM)

Add test for #9856 (commit: bab1cf8) — leo / githubweb
Add missing `lower_contravariant` call (commit: 0eeeb2d) — leo / githubweb
Add Changes entry (commit: 203ef1f) — leo / githubweb

#251 (Aug 13, 2020, 2:45:19 PM)

Notify only on regressions for Inria CI's bootstrap job (commit: 2f16b98) — Sebastien.Hinderer / githubweb

#250 (Aug 13, 2020, 2:05:46 PM)

Use a pipeline to define the bootstrap Jenkins job, take #1 (commit: d0d8ace) — Sebastien.Hinderer / githubweb

#249 (Aug 12, 2020, 10:08:54 PM)

Merge pull request #9840 from dra27/fix-9839 (commit: 4b57077) — david.allsopp / githubweb

#248 (Aug 12, 2020, 9:25:20 PM)

Add Sys.mkdir (commit: 9a7a17c) — david.allsopp / githubweb
Use Sys.mkdir in ocamltest instead of shell call (commit: 99f56de) — david.allsopp / githubweb
Remove incorrect stub in ocamltest_stdlib_stubs.c (commit: 496cc8b) — david.allsopp / githubweb
Add Sys.rmdir (commit: f341db8) — david.allsopp / githubweb
Add Ocamltest_stdlib.Unix.has_symlink (commit: 9bc33d9) — david.allsopp / githubweb
Remove use of rm -rf from ocamltest (commit: fc0abfa) — david.allsopp / githubweb
Remove use of ln -sf from ocamltest (commit: 8b80c57) — david.allsopp / githubweb
Eliminate typo (commit: b9a4de7) — david.allsopp / githubweb
Fix signals_alloc test (#9814) (commit: 0bf255c) — noreply / githubweb
caml_alloc_some: use Field as an l-value instead of Store_field (#9819) (commit: 7c1cf4b) — noreply / githubweb
tools/ci/inria/extra-checks: fix typos (commit: 4d7e78f) — Sebastien.Hinderer / githubweb
tools/ci/inria/extra-checks: print each command before its execution (commit: 5cb2218) — Sebastien.Hinderer / githubweb
tools/ci/inria/extra-checks: stop mentionninig world.opt explicitly (commit: 2d927d8) — Sebastien.Hinderer / githubweb
tools/ci/inria/extra-checks: fix another typo (commit: f3e7475) — Sebastien.Hinderer / githubweb
tools/ci/inria/extra-checks: stop mentionning the world target (commit: bf88876) — Sebastien.Hinderer / githubweb
fix floatarray.ml on 32-bit (commit: 3f5c5ca) — sdolan / githubweb
Trivial correction to stdlib/HACKING.adoc (commit: 8905edd) — david.allsopp / githubweb
Fix type mismatches between definition and declaration (#9830) (commit: 1964506) — noreply / githubweb
Add a failing test for #show with -short-paths. (commit: aa06fa8) — yallop / githubweb
Revert to printing types as 'nonrec' to avoid a bug (commit: 27f1012) — yallop / githubweb
Add Bigarray 'init' functions (#9779) (commit: 395a47e) — noreply / githubweb
Get rid of the YACCFLAGS build variable (commit: df9d60f) — Sebastien.Hinderer / githubweb
Restrict 'test_locations' to not run with afl active (commit: 829b00b) — anil / githubweb
Build system: honour the CFLAGS and CPPFLAGS build variables (commit: f3ff133) — Sebastien.Hinderer / githubweb
Simplify the tools/ci/inria/extra-checks script (commit: 7c0623b) — Sebastien.Hinderer / githubweb
Build system: use OC_CFLAGS and CFLAGS even during the link stage (commit: 478127f) — Sebastien.Hinderer / githubweb
Introduce the check-typo Jenkins pipeline (commit: bc62fae) — Sebastien.Hinderer / githubweb
Inria CI: define the dune-build job as a Jenkins pipeline (commit: a59b147) — Sebastien.Hinderer / githubweb
tools/ci/inria/README.md: typographical improvements (commit: 13a500f) — Sebastien.Hinderer / githubweb
Always report failures of Inria CI's dune-build job (commit: 756f639) — Sebastien.Hinderer / githubweb
Release info: ocaml-src and ocaml-manual (commit: eacd3c3) — Florian Angeletti / githubweb
dune-build: send e-mails only for regressions (commit: 697242f) — Sebastien.Hinderer / githubweb
Split Inria CI's extra-checks job, take #1 (commit: c89c464) — Sebastien.Hinderer / githubweb
Split the extra-checks job, take #2 (commit: 541ade5) — Sebastien.Hinderer / githubweb
tools/ci/inria/step-by-step-build/script: fixes (commit: 5acc76e) — Sebastien.Hinderer / githubweb
Make the sanitizers and step-by-step-build CI jobs less verbose (commit: a12bf04) — Sebastien.Hinderer / githubweb
Changes: minor fixes backported from 4.10 (commit: 34a074f) — gabriel.scherer / githubweb
Changes: #9349 entry was misplaced (commit: d61527d) — gabriel.scherer / githubweb
Changes: some part of #9724 went into 4.10.1 (commit: 15bcfa2) — gabriel.scherer / githubweb
Changes: #9552 went into 4.10.1 (commit: a459c5f) — gabriel.scherer / githubweb
Changes: #9422 went into 4.11 (commit: 0c62a43) — gabriel.scherer / githubweb
Changes: #9275 went into 4.11 (commit: fc3a8ef) — gabriel.scherer / githubweb
Changes: #9401 went into 4.11 (commit: 625f4f6) — gabriel.scherer / githubweb
Changes: #9181 went into 4.10.1 (commit: d0da7e7) — gabriel.scherer / githubweb
Changes: #9389 was merged in 4.11 (commit: 0ec62d1) — gabriel.scherer / githubweb
Changes: the rest of #9724 went into 4.11, not 4.12+dev (commit: 2a2e425) — gabriel.scherer / githubweb
Changes: #9464 is in 4.12, not 4.11 (commit: 42b9d66) — gabriel.scherer / githubweb
Changes: #9795 is in 4.12, not 4.11 (commit: f89356b) — gabriel.scherer / githubweb
Changes: #9790 is in 4.12, not 4.11 (commit: 07ddbe2) — gabriel.scherer / githubweb
Changes: reorder 4.11 Changes entries (commit: 68218d1) — gabriel.scherer / githubweb

#247 (Aug 12, 2020, 8:43:25 PM)

last commit before tagging 4.11.0+rc1 (commit: 1dc1b5d) — Florian Angeletti / githubweb
release 4.11.0+rc1 (commit: 6c170f7) — Florian Angeletti / githubweb
increment version number after tagging 4.11.0+rc1 (commit: 0bba9f8) — Florian Angeletti / githubweb
Merge pull request #9831 from yallop/short-paths-show-fix (commit: 3395588) — Florian Angeletti / githubweb
last commit before tagging 4.11.0+rc2 (commit: 9ead36b) — Florian Angeletti / githubweb
release 4.11.0+rc2 (commit: 898451f) — Florian Angeletti / githubweb
increment version number after tagging 4.11.0+rc2 (commit: 8852dc2) — Florian Angeletti / githubweb

#246 (Jul 31, 2020, 9:50:25 AM)

Skip tests/unwind on iOS / macOS ARM64, continued (commit: 8b6241c) — xavier.leroy / githubweb

#245 (Jul 31, 2020, 9:08:25 AM)

Skip tests/unwind on iOS / macOS ARM64 (commit: 482b7fe) — xavier.leroy / githubweb

#244 (Jul 30, 2020, 3:43:41 PM)

Ensure signals are handled before Unix.{kill,sigprocmask} return (#9802) (commit: 5b4b834) — noreply / githubweb

#243 (Jul 30, 2020, 3:02:08 PM)

cehck-typo (commit: 24744e8) — Sebastien.Hinderer / githubweb

#242 (Jul 29, 2020, 9:25:51 PM)

Build otherlibs with debug info in C stubs (commit: a741f25) — sdolan / githubweb

#241 (Jul 29, 2020, 8:44:36 PM)

Return tests in alphabetical order (commit: 2317acc) — david.allsopp / githubweb
Assume --no-print-directory option (commit: a9fc1cd) — david.allsopp / githubweb

#239 (Jul 29, 2020, 12:29:59 PM)

Fix running toplevel tests in ocamltest (commit: df705bc) — david.allsopp / githubweb

#238 (Jul 29, 2020, 2:10:27 AM)

Righteous ambivalence (#9767) (commit: 302d735) — noreply / githubweb

#237 (Jul 28, 2020, 7:21:10 PM)

Lock channels before doing I/O (commit: e678885) — sdolan / githubweb
Do not run OCaml code inside signal handlers (commit: 32feddc) — sdolan / githubweb
Avoid running signal handlers while holding locks in io.c (commit: 63d516b) — sdolan / githubweb
Avoid polling in caml_leave_blocking_section (commit: 15b9d00) — sdolan / githubweb
Tests for EINTR-based signal handling (commit: c2b2da2) — sdolan / githubweb
Changes (commit: e0b5f5e) — sdolan / githubweb

#236 (Jul 28, 2020, 4:55:19 PM)

Changes entry for #9699 (commit: 274cb3c) — xavier.leroy / githubweb

#235 (Jul 28, 2020, 4:41:09 PM)

arm64 runtime: use x17 instead of x18(reserved) (commit: 4375fa8) — theeduardorfs / githubweb
fix build when using clang (commit: bc1a664) — theeduardorfs / githubweb
arm64 runtime: macro pair for functions (commit: 32ab52c) — theeduardorfs / githubweb
arm64 runtime: macro pair for objects (commit: f6c799d) — theeduardorfs / githubweb
arm64 runtime: remove .type, .size on local labels (commit: cbcd76b) — theeduardorfs / githubweb
arm64 runtime: macro for global and local symbols (commit: 4294391) — theeduardorfs / githubweb
arm64 runtime: apply ios assembler requirements (commit: f323d2a) — theeduardorfs / githubweb
arm64 emitter: support apple variant of assembler (commit: d189dce) — theeduardorfs / githubweb
ios: Sys.command is not supported (commit: 8cd474f) — theeduardorfs / githubweb
ios: add support on configure script (commit: 5e7f7c7) — theeduardorfs / githubweb
arm64 runtime: use additional arg only externally (commit: bdbd867) — theeduardorfs / githubweb
arm64: support ios shared library (commit: 8c38ac6) — theeduardorfs / githubweb
ios: dead lock on Sys.command (commit: 99664ee) — theeduardorfs / githubweb
arm64: add reference to Apple ARM64 ABI (commit: 9a98d40) — theeduardorfs / githubweb
arm64: use Arch.macosx instead of is_macosx (commit: 69d4ab8) — theeduardorfs / githubweb
On the iPhone simulator the machine context field has two underscores (commit: 83a06c3) — theeduardorfs / githubweb
ios: memory leak when Sys.command failed (commit: f817b25) — theeduardorfs / githubweb
arm64: remove misleading comment (commit: cf6ecb7) — theeduardorfs / githubweb

#234 (Jul 28, 2020, 1:22:18 PM)

typos (#9806) (commit: 44e6cf4) — noreply / githubweb

#233 (Jul 28, 2020, 10:27:57 AM)

test/unwind: exit with nonzero error code in case of failure (commit: 82625c6) — xavier.leroy / githubweb

#232 (Jul 27, 2020, 4:51:24 PM)

Make Ephemeron compatible with infix pointers. (commit: 95400d7) — jacques-henri.jourdan / githubweb
Fix assertion in weak.h when data fild is an infix pointer. (commit: 6ad48f8) — jacques-henri.jourdan / githubweb

#231 (Jul 27, 2020, 10:11:55 AM)

Reorganize release info (commit: c99cbd1) — Florian Angeletti / githubweb

#230 (Jul 27, 2020, 9:30:05 AM)

last commit before tagging 4.11.0+beta3 (commit: 37e222f) — Florian Angeletti / githubweb
release 4.11.0+beta3 (commit: 8152b0d) — Florian Angeletti / githubweb
increment version number after tagging 4.11.0+beta3 (commit: b0af3d0) — Florian Angeletti / githubweb

#229 (Jul 26, 2020, 7:25:23 PM)

[internal refactor] minor tweaking (#9792) (commit: 820db1b) — noreply / githubweb

#228 (Jul 26, 2020, 11:53:51 AM)

tests/unwind: produce trace in case of failure (commit: d374d7d) — xavier.leroy / githubweb

#227 (Jul 25, 2020, 9:50:55 AM)

Revised passing of arguments to external C functions (commit: 9fcb295) — xavier.leroy / githubweb
ARM64 back-end: support the iOS/macOS ABI for calling external C functions (commit: ed8f3b4) — xavier.leroy / githubweb
Changes entry for #9752 (commit: cc25fc9) — xavier.leroy / githubweb

#226 (Jul 23, 2020, 9:00:46 PM)

ocamldep: do not process files during cli parsing. (#9795) (commit: 8032603) — noreply / githubweb

#225 (Jul 23, 2020, 1:38:39 PM)

Dynlink.*_unit functions: make sure they call the internal init (). (commit: 1578a35) — daniel.buenzli / githubweb
Promote failing Dynlink tests: stacktrace line numbers changed. (commit: 33dcae9) — daniel.buenzli / githubweb

#224 (Jul 23, 2020, 9:47:15 AM)

ocamltest: fix include native dynlink (#9791) (commit: 4f31b10) — noreply / githubweb

#223 (Jul 22, 2020, 3:06:34 PM)

check if shmat is available to use afl (commit: 8c45f14) — theeduardorfs / githubweb
configure prevent adding -lpthread when Android (commit: 863e20e) — theeduardorfs / githubweb

#222 (Jul 21, 2020, 4:16:03 PM)

extend Lambda.subst on bound variables, add Lambda.duplicate (commit: cc7d557) — gabriel.scherer / githubweb
Report full major collections in Gc stats (commit: dfd0c0c) — leo / githubweb
Add Changes entry (commit: 0734368) — leo / githubweb
Avoid warning 58 in flambda ocamlnat (commit: 9e61a06) — leo / githubweb
Add Changes entry (commit: 5e21404) — leo / githubweb
Treat loops properly in un_anf (#9163) (commit: 368eb16) — noreply / githubweb
Fix PR#7897 (commit: b436128) — leo / githubweb
Add Changes entry (commit: 083fa66) — leo / githubweb
Fix Changes after backporting #9163 and #9537 (commit: b212928) — Florian Angeletti / githubweb
correct punctuation (commit: b6af921) — noreply / githubweb
Fix #8747: incorrect principality warning on functional updates of records (#9709) (commit: e0ec63a) — noreply / githubweb
Changes bookkeeping: 9556 is not in 4.11 (commit: 33b9b16) — Florian Angeletti / githubweb
Bump FlexDLL submodule to 0.38 (commit: bfd3d7d) — david.allsopp / githubweb
Use the alignas C++ keyword when compiling in C++ (commit: 4d6d422) — antonin.decimo / githubweb
Add a terminator to the domain_state (commit: cba42a3) — antonin.decimo / githubweb
misplaced subsection '*' (commit: df87f39) — noreply / githubweb
Move calls to exit to main/optmain (commit: d5af1ff) — sdolan / githubweb
Move code of main and optmain to compilerlibs (commit: 81618f7) — sdolan / githubweb
Start Clflags.parse_arguments from 0 (commit: c2461c0) — sdolan / githubweb
Changes (commit: 34ead63) — sdolan / githubweb
Consistently use @raise tags in Stdlib docs (#8644) (commit: c4851b0) — noreply / githubweb
Add module utils/binutils (commit: 34ff264) — n.oje.bar / githubweb
Adapt ocamlobjinfo (commit: a8f05ad) — n.oje.bar / githubweb
Adapt test (commit: 32cc562) — n.oje.bar / githubweb
Adapt ocamlc primitive check (commit: 3fb5dbb) — n.oje.bar / githubweb
make alldepend (commit: 6ab3220) — n.oje.bar / githubweb
Remove integration with libbfd (commit: 0b6ebb3) — n.oje.bar / githubweb
autogen (commit: f1b42fa) — n.oje.bar / githubweb
Changes (commit: cb3af25) — antonin.decimo / githubweb
Update version format (commit: cd813bc) — Florian Angeletti / githubweb
Get rid of dead code that was introduced for an hypothetical JIT (#9710) (commit: 0616261) — noreply / githubweb
Fix #9721: Injectivity and recursive modules (#9727) (commit: 46cec11) — noreply / githubweb
Remove caml_lazy_follow_forward (unused since 666cb14a) (commit: dcb7fb1) — yallop / githubweb
Bootstrap. (commit: 788f744) — yallop / githubweb
Add missing space (commit: 761dec8) — serpent7776 / githubweb
add manual page for the instrumented runtime (commit: f3ee9e3) — decorne.en / githubweb
instrumented runtime: change environment variable from OCAML_EVENTLOG_FILE to OCAML_EVENTLOG_PREFIX (commit: f674c27) — decorne.en / githubweb
update Changes entry for the instrumented runtime manual page (commit: cfb62e3) — decorne.en / githubweb
manual: adjustments to the instrumented runtime manual page (commit: 9ba979e) — decorne.en / githubweb
type_cases: rely on levels to enforce principality (#1931) (commit: 167e66e) — noreply / githubweb
manual: fix typo in instrumented runtime manual (commit: a8b782b) — decorne.en / githubweb
manual: fix a typo in instrumented runtime manpage (commit: 4765f24) — decorne.en / githubweb
Changes: instrumented runtime doc is in 4.11 (commit: 3d45b6c) — Florian Angeletti / githubweb
pass a proper location to Matching.for_trywith (commit: 6aeed1c) — gabriel.scherer / githubweb
matching: a first-order representation for match-failure handling (commit: fdf86ad) — gabriel.scherer / githubweb
pattern aliases do not ignore type constraints (#1655) (commit: 4edc4b9) — noreply / githubweb
update News (commit: 6236bac) — gabriel.scherer / githubweb
fix long line in News (commit: 10cb814) — gabriel.scherer / githubweb
Simplified compaction without page table (#9728) (commit: 601819f) — noreply / githubweb
Extend Printexc API for raw backtrace entries (#9663) (commit: 523fba9) — noreply / githubweb
Update config.guess and config.sub (commit: 8bd19b7) — xavier.leroy / githubweb
Add Changes entry for PR #9551 (commit: 8948dab) — xavier.leroy / githubweb
Fix "main" CI script w.r.t. macOS (commit: 2b24b38) — xavier.leroy / githubweb
Test no-naked-pointers on GitHub Actions (commit: a8b647f) — david.allsopp / githubweb
Spurious comma in the endianness test, big-endian case (commit: efc1185) — xavier.leroy / githubweb
The best-fit allocator must prepare the heap for compaction. Fixes #9736 (commit: 85e4563) — damien.doligez / githubweb
fix and move Changes entry for #9749 (commit: e509c79) — damien.doligez / githubweb
Mark new macros Val_none, etc as as a potentially breaking change (#9734) (commit: fb6cfaf) — noreply / githubweb
Fix UB when left-shifting a negative value (commit: 3aa92b1) — antonin.decimo / githubweb
Fix memory leak (commit: c944d64) — antonin.decimo / githubweb
Fix invalid format specifiers (commit: d2d2e0c) — antonin.decimo / githubweb
Represent eventlog_startup_pid as long int (commit: 873b314) — antonin.decimo / githubweb
Remove some unused primitives (commit: 131099a) — yallop / githubweb
Bootstrap (commit: 1c9e1e0) — yallop / githubweb
Add some injectivity annotations to the standard library. (commit: 0aa72dd) — yallop / githubweb
Stdlib injectivity: update tests. (commit: fb2f26a) — yallop / githubweb
Update a comment in the top-level printer. (#9777) (commit: 0ad9f06) — noreply / githubweb
Documentation: Improve the list of build-time requirements (#9733) (commit: b0118a9) — noreply / githubweb
Add Hashtbl.rebuild function (commit: a6f03cc) — xavier.leroy / githubweb
Hashtbl: remove support for pre-4.00 hash tables (commit: 40399cc) — xavier.leroy / githubweb
hash.c: remove the caml_hash_univ_param function (commit: e728e92) — xavier.leroy / githubweb
Bootstrap after removal of `caml_hash_univ_param` primitive (commit: de4377e) — xavier.leroy / githubweb
Add a test for Hashtbl.rebuild (commit: cfabfe6) — xavier.leroy / githubweb
Changes entry for #9763 (commit: 569085b) — xavier.leroy / githubweb
Fix printing of bindings with polymorphic type annotations and attributes (#9778) (commit: dd7ddf9) — noreply / githubweb
Stdlib injectivity annotations: Changes. (commit: 568a0f5) — yallop / githubweb
Introduce mnemnonics for warnings (commit: 1647c47) — n.oje.bar / githubweb
Rename Statement_type => Non_unit_statement (commit: fd48548) — n.oje.bar / githubweb
Rename Unused_match => Unused_case (commit: 45d1446) — n.oje.bar / githubweb
Rename Unused_pat => Unused_subpat (commit: b2606e0) — n.oje.bar / githubweb
Rename Without_principality => Non_principal_labels (commit: e05f119) — n.oje.bar / githubweb
Rename Unused_argument => Unreachable_argument (commit: 358a6c1) — n.oje.bar / githubweb
Rename Multiple_definition => Module_linked_twice (commit: 9f9cc29) — n.oje.bar / githubweb
Rename Bad_docstring => Unexpected_docstring (commit: a0cef9f) — n.oje.bar / githubweb
Rename Expect_tailcall => Tailcall_expected (commit: 5789d6c) — n.oje.bar / githubweb
Rename Ambiguous_pattern => Ambiguous_var_in_pattern_guard (commit: 14f8fa5) — n.oje.bar / githubweb
Rename Assignment_to_non_mutable_value => Flambda_assignment_to_non_mutable_value (commit: 85a7e8e) — n.oje.bar / githubweb
Rename Unsafe_without_parsing => No_unsafe_array_syntax_without_parsing (commit: f9786a9) — n.oje.bar / githubweb
Rename Partial_application => Ignored_partial_application (commit: f3c6b16) — n.oje.bar / githubweb
Rename Non_closed_record_pattern => Missing_record_field_pattern (commit: ca4b8dc) — n.oje.bar / githubweb
Rename Unused_case => Redundant_case (commit: 47c0e44) — n.oje.bar / githubweb
Rename Unused_subpat => Redundant_subpat (commit: 06f1a66) — n.oje.bar / githubweb
Rename Unreachable_argument => Ignored_argument (commit: 958281d) — n.oje.bar / githubweb
Rename No_unsafe_array_syntax_without_parsing => Unsafe_array_syntax_without_parsing (commit: 9ac31c2) — n.oje.bar / githubweb
Typo (commit: dae2280) — n.oje.bar / githubweb
Display warning names in manual (commit: a68791f) — n.oje.bar / githubweb
Update manual (commit: 2ade04e) — n.oje.bar / githubweb
Changes (commit: af8ecad) — n.oje.bar / githubweb
Add constructor-mnemonic check to testsuite (commit: 39f6374) — n.oje.bar / githubweb
Fix mnemonics, handle warnings without names (commit: 5e09060) — n.oje.bar / githubweb
Warning 25: make it clear that it is ignored (commit: a73fedb) — n.oje.bar / githubweb
check-typo (commit: 5e27454) — n.oje.bar / githubweb
Rename Ignored_argument => Ignored_extra_argument (commit: fb76c32) — n.oje.bar / githubweb
Test "no naked pointers" along with "flambda" (commit: de87785) — xavier.leroy / githubweb
Selectgen#bind_let_mut: use self#regs_for to allocate target registers (#9782) (commit: 1e71f75) — noreply / githubweb
Include mnemonic when displaying warnings (commit: 68be98d) — n.oje.bar / githubweb
Adapt caml-tex (commit: 214146c) — n.oje.bar / githubweb
Fix typo (commit: c3bbb50) — noreply / githubweb
Update test reference files (commit: 3407c3b) — n.oje.bar / githubweb
Avoid breaking string literal (commit: 7e5a60b) — n.oje.bar / githubweb
Update expected test output (commit: 9f25b62) — Sebastien.Hinderer / githubweb

#221 (Jul 21, 2020, 3:30:44 PM)

Merge pull request #9416 from lpw25/fix-warning-58-flambda-ocamlnat (commit: 495a836) — Florian Angeletti / githubweb
Merge pull request #9537 from lpw25/fix-PR7897 (commit: 96218ea) — Florian Angeletti / githubweb
Treat loops properly in un_anf (#9163) (commit: c0005bc) — Florian Angeletti / githubweb
last commit before tagging 4.11.0+beta1 (commit: b3e17fe) — Florian Angeletti / githubweb
release 4.11.0+beta1 (commit: 4d9e522) — Florian Angeletti / githubweb
increment version number after tagging 4.11.0+beta1 (commit: 3446075) — Florian Angeletti / githubweb
Merge pull request #9723 from dra27/flexdll-0.38 (commit: feae3c8) — david.allsopp / githubweb
Consistently use @raise tags in Stdlib docs (#8644) (commit: 9146fbf) — david.allsopp / githubweb
Merge pull request #9726 from sanette/patch-2 (commit: b647b00) — Florian Angeletti / githubweb
Merge pull request #9712 from Octachron/version_format (commit: faea43c) — Florian Angeletti / githubweb
Merge pull request #9724 from MisterDA/fix-domain-state (commit: d338211) — david.allsopp / githubweb
last commit before tagging 4.11.0+beta2 (commit: 0f16367) — Sebastien.Hinderer / githubweb
release 4.11.0+beta2 (commit: 28c5660) — Sebastien.Hinderer / githubweb
increment version number after tagging 4.11.0+beta2 (commit: a848266) — Sebastien.Hinderer / githubweb
Merge pull request #9746 from serpent7776/trunk (commit: 29bceaa) — Florian Angeletti / githubweb
Merge pull request #9541 from Engil/instrumented_runtime_manual (commit: 936e168) — Florian Angeletti / githubweb
The best-fit allocator must prepare the heap for compaction. Fixes #9736 (commit: b04908b) — damien.doligez / githubweb
Selectgen#bind_let_mut: use self#regs_for to allocate target registers (#9782) (commit: 3e74be2) — xavier.leroy / githubweb

#220 (Jun 25, 2020, 7:08:35 PM)

Merge pull request #9244 from lpw25/fix-usage-warnings (commit: 2e44534) — Florian Angeletti / githubweb

#219 (Jun 25, 2020, 6:26:04 PM)

Add another test for usage warnings (commit: 1c03659) — leo / githubweb
Fix missing unused variables warning with functor application (commit: b0e1540) — leo / githubweb
Fix unused functor argument warning in toplevel (commit: 62e286a) — leo / githubweb
Make the `mark` parameters in `Includemod` non-optional (commit: bc8c0d2) — leo / githubweb
Add Changes entry (commit: fd25722) — leo / githubweb

#218 (Jun 25, 2020, 5:43:27 PM)

CI: make "light" test lighter (commit: 8d874fa) — xavier.leroy / githubweb

#217 (Jun 25, 2020, 5:00:51 PM)

Add Hint when a module is used in place of a module type (commit: 50848fe) — xavier.vdw / githubweb

#216 (Jun 25, 2020, 3:32:02 PM)

Fix inria/extra-checks CI job (commit: 8b6b835) — Sebastien.Hinderer / githubweb

#215 (Jun 25, 2020, 2:11:33 PM)

HACKING.adoc: using dune to get merlin's support (#9468) (commit: 2d3bc0e) — noreply / githubweb

#214 (Jun 25, 2020, 12:42:32 PM)

Merge pull request #9385 from lpw25/fix-copy-scope-bugs (commit: a091c89) — leo / githubweb
Merge pull request #9415 from lpw25/fix-open-struct-in-flambda-toplevel (commit: c96220c) — leo / githubweb

#213 (Jun 25, 2020, 12:00:11 PM)

Add regression tests (commit: 0806049) — leo / githubweb
Fix incorrect copy_scopes in Subst (commit: 8190209) — leo / githubweb
Add Changes entry (commit: a15b97b) — leo / githubweb

#212 (Jun 24, 2020, 6:32:55 PM)

Don't define _INTEGRAL_MAX_BITS macro (#9686) (commit: d107fed) — noreply / githubweb

#211 (Jun 24, 2020, 5:49:04 PM)

Added String prefix and suffix tests. (commit: e00d7f3) — bernhardschommer / githubweb
Use new String.is_suffix function. (commit: ddb1b5e) — bernhardschommer / githubweb
dune: temporarily remove use of new primitive before building (commit: 7bf55c6) — thomas.refis / githubweb
dune: depend on new runtime files (commit: 8213916) — thomas.refis / githubweb

#210 (Jun 24, 2020, 5:06:24 PM)

Update reference output in no-flat-float-array mode (commit: 4f387e4) — xavier.leroy / githubweb

#209 (Jun 24, 2020, 3:52:42 PM)

Make some tests conditional on naked pointers support (commit: a9fad82) — xavier.leroy / githubweb

#208 (Jun 24, 2020, 3:11:36 PM)

Merge pull request #9702 from garrigue/fix9695 (commit: 6672acb) — gabriel.scherer / githubweb

#206 (Jun 24, 2020, 1:30:16 PM)

Fix #9695: no error when opening an alias to a missing module (commit: 6ccab9b) — garrigue / githubweb
change API for Env.open_signature to clarify errors (commit: 95a8fbf) — garrigue / githubweb
add example without -no-alias-deps (commit: ab83af0) — garrigue / githubweb
Adjust Changes for #9011 (commit: 9be2c01) — david.allsopp / githubweb

#205 (Jun 24, 2020, 12:49:23 PM)

Merge pull request #9011 from dra27/fix-msvc-empty-cmxa (commit: aae783b) — david.allsopp / githubweb

#204 (Jun 24, 2020, 12:07:03 PM)

Allow linking empty .cmxa files on MSVC (commit: 793cd86) — david.allsopp / githubweb
Test for linking archives with no modules (commit: d732593) — david.allsopp / githubweb
Don't call the archiver/librarian for empty .cmxa (commit: e6ab329) — david.allsopp / githubweb

#203 (Jun 23, 2020, 10:04:40 PM)

Always permit triplet-prefixed ld in PACKLD (commit: 9c0412f) — david.allsopp / githubweb

#202 (Jun 23, 2020, 8:47:54 PM)

ocamltest: show failing logs (#9696) (commit: 7f0dbd4) — noreply / githubweb

#201 (Jun 23, 2020, 5:44:02 PM)

ocamltest: do not compare binaries produced by ocamlopt.opt and ocamlopt.byte (#9677) (commit: bd510cd) — noreply / githubweb

#200 (Jun 23, 2020, 4:58:36 PM)

Is_in_value_area is always true in no-naked-pointers mode (commit: 6e9d39b) — xavier.leroy / githubweb
Remove some `#ifndef NO_NAKED_POINTERS` that are now redundant (commit: 247c1da) — xavier.leroy / githubweb
weak.[ch]: use Is_in_value_area instead of Is_in_heap_or_young. (commit: 55fcf9f) — xavier.leroy / githubweb
Is_in_heap_or_young is always true in no-naked-pointers mode (commit: 8c06218) — xavier.leroy / githubweb
Replace some uses of Is_in_heap with !Is_young (commit: 2aa502e) — xavier.leroy / githubweb
Is_in_static_data is not available in no-naked-pointers mode (commit: 40a55c7) — xavier.leroy / githubweb

#199 (Jun 23, 2020, 4:15:59 PM)

Get rid of shellquote macro (commit: afcac60) — n.oje.bar / githubweb
Revert "regression test for #9701" (commit: 2ddae12) — gabriel.scherer / githubweb

#198 (Jun 23, 2020, 3:33:32 PM)

regression test for #9701 (commit: f0fae66) — gabriel.scherer / githubweb

#197 (Jun 23, 2020, 9:53:49 AM)

configure: add a NAKED_POINTERS parameter to Makefile.config (commit: 41227a1) — xavier.leroy / githubweb
ocamltest: add the "naked_pointers" action (commit: 133102c) — xavier.leroy / githubweb
Revise testing of Obj.reachable_words (commit: ccb7829) — xavier.leroy / githubweb
Reimplement Obj.reachable_word using a hash table to detect sharing (commit: e52bf32) — xavier.leroy / githubweb
Changes entry for #9678 (commit: 7e4ef62) — xavier.leroy / githubweb

#196 (Jun 23, 2020, 8:23:23 AM)

Bootstrapping FlexDLL when new primitives have been added (#9700) (commit: e9754b0) — noreply / githubweb

#195 (Jun 22, 2020, 5:52:09 PM)

Fix inria/extra-checks CI job (commit: 389f5ee) — Sebastien.Hinderer / githubweb

#194 (Jun 22, 2020, 10:07:42 AM)

Remove Is_in_code_area and registration of code in page table (#9697) (commit: b18ac65) — noreply / githubweb

#193 (Jun 21, 2020, 10:29:41 AM)

callback.c: register the bytecode fragment used for callbacks (commit: f8970c4) — xavier.leroy / githubweb
Revised linking of trap frames in bytecode interpreter stack (commit: 53d55f2) — xavier.leroy / githubweb
Revised scanning of bytecode interpreter stack (commit: 9476d5d) — xavier.leroy / githubweb
major_gc.c: use no-naked-pointers mode even in bytecode (commit: 4a953a2) — xavier.leroy / githubweb
interp.c: remove two assertions that cannot be checked without the page table (commit: 552bc3e) — xavier.leroy / githubweb

#191 (Jun 19, 2020, 5:41:21 PM)

Update camlinternalMod and Obj.new_block for new closure representation (#9691) (commit: bdbf5c3) — noreply / githubweb

#190 (Jun 18, 2020, 12:55:22 PM)

objinfo_helper: slightly generalise usage message (commit: 92331f8) — Sebastien.Hinderer / githubweb
Make ext_exe public in the configuration module of the compiler (commit: 16006d5) — Sebastien.Hinderer / githubweb
objinfo: take possible .exe extension into account when calling objinfo_helper (commit: 758ab7d) — Sebastien.Hinderer / githubweb
tools/ocamlmktop.ml: make use of the configured extension of executalbes (commit: c530b74) — Sebastien.Hinderer / githubweb
Fix distclean rule (commit: d9dc10e) — Sebastien.Hinderer / githubweb
Makefile: introduce the CMPBYT variable (commit: 1c158f4) — Sebastien.Hinderer / githubweb
Makefile: avoid one recursive invocation of make (commit: 2ee6e82) — Sebastien.Hinderer / githubweb
lex/Makefile: simplification (commit: b7d8a97) — Sebastien.Hinderer / githubweb
ocamltest: improve the way executable file extension is determined (commit: a50d177) — Sebastien.Hinderer / githubweb
tools/Makefile: stop considering ocamldep and cvt_emit as precious (commit: 41e4dc1) — Sebastien.Hinderer / githubweb
Add the $(EXE) suffix to all programs at build rather than install time (commit: bdd9ca3) — Sebastien.Hinderer / githubweb
Build system: simplify installation rules (commit: 8087f7f) — Sebastien.Hinderer / githubweb

#189 (Jun 17, 2020, 4:04:06 PM)

Adapt caml_alloc_dummy_infix to new closure representation (#9690) (commit: d4dea7a) — noreply / githubweb

#188 (Jun 17, 2020, 2:56:15 PM)

last commit before tagging 4.11.0+alpha3 (commit: 97a5be1) — Florian Angeletti / githubweb
release 4.11.0+alpha3 (commit: 713cf08) — Florian Angeletti / githubweb
increment version number after tagging 4.11.0+alpha3 (commit: ee89787) — Florian Angeletti / githubweb

#187 (Jun 16, 2020, 7:05:49 PM)

Generic hashing for the new closure representation (#9648, #9689) (commit: 0d1f7b2) — noreply / githubweb

#185 (Jun 16, 2020, 2:52:46 PM)

Changes: RISC-V has been backported to 4.11.0 (commit: cc64767) — Florian Angeletti / githubweb

#184 (Jun 16, 2020, 11:16:16 AM)

classify_addr.h: explain the no_naked_pointers value model (#9684) (commit: 58b3efd) — noreply / githubweb

#183 (Jun 15, 2020, 2:21:42 PM)

Add injectivity annotations (#9500) (commit: 603506a) — noreply / githubweb
Signal handling in native code without the page table (#9682) (commit: e4bf109) — noreply / githubweb

#182 (Jun 15, 2020, 1:39:47 PM)

globroots.c: adapt to no-naked-pointers mode (#9683) (commit: 5a9c5dd) — noreply / githubweb

#181 (Jun 15, 2020, 10:26:36 AM)

Fix #7902: Type-checker infers a recursive type, even though -rectype… (#9556) (commit: 24d0873) — noreply / githubweb

#180 (Jun 14, 2020, 7:22:12 PM)

Add closure-info field when reifying bytecode (#9681) (commit: b8a415f) — noreply / githubweb

#179 (Jun 14, 2020, 6:37:56 PM)

Typo (commit: 13155d8) — noreply / githubweb

#178 (Jun 14, 2020, 12:15:26 PM)

Add type Obj.raw_data and functions Obj.raw_field, Obj.set_raw_field (commit: ec33006) — xavier.leroy / githubweb
Use type Obj.raw_data to represent code pointers in the REPL trace facility (commit: c2db328) — xavier.leroy / githubweb
Test intext.ml: do not use the caml_static_alloc primitive (commit: b0cd12d) — xavier.leroy / githubweb
Remove the primitive functions caml_static_{alloc,free,resize} (commit: d6f9496) — xavier.leroy / githubweb
Bootstrap after removal of caml_static_{alloc,free_resize} primitives (commit: 0a11f73) — xavier.leroy / githubweb
Changes entry for #9655 (commit: 0a2dacb) — xavier.leroy / githubweb
Changes entry for #9675 (commit: 2ad3a03) — xavier.leroy / githubweb

#177 (Jun 14, 2020, 11:34:13 AM)

Add tests for backtraces from forcing lazy values (commit: 9895b28) — leo / githubweb
Better backtraces for lazy values (commit: a02707c) — leo / githubweb
Add Changes entry (commit: faa56c1) — leo / githubweb

#176 (Jun 13, 2020, 1:53:18 PM)

Memprof: getting rid of caml_memprof_shutdown (commit: bee3679) — jacques-henri.jourdan / githubweb

#175 (Jun 11, 2020, 9:43:24 PM)

Fix dune build (commit: 3a1901d) — guillaume.munch-maccagnoni / githubweb

#174 (Jun 11, 2020, 8:39:49 PM)

extern.c: #ifdef-protect a static function (commit: fe4b06b) — xavier.leroy / githubweb

#173 (Jun 11, 2020, 7:56:42 PM)

extern.c: refactor the code using auxiliary functions (commit: 21ce6b0) — xavier.leroy / githubweb
extern.c: use new closure representation to marshal closures (commit: c184094) — xavier.leroy / githubweb
Changes entry for #9649 (commit: 919803e) — xavier.leroy / githubweb

#172 (Jun 11, 2020, 10:39:29 AM)

More efficient management of code fragments (#9654) (commit: 08e58c8) — noreply / githubweb

#171 (Jun 10, 2020, 5:20:36 PM)

Remove temporary installation hacks (#9659) (commit: b94a377) — noreply / githubweb

#170 (Jun 10, 2020, 4:41:05 PM)

Refactor skiplist to avoid UB casts (#9660) (commit: 5946b93) — noreply / githubweb

#169 (Jun 10, 2020, 2:34:38 PM)

fix number and add examples for #6744 (commit: e0524b5) — garrigue / githubweb
Memprof: disable sampling when memprof is suspended. (#9628) (commit: 7aad86f) — noreply / githubweb

#168 (Jun 10, 2020, 1:53:14 PM)

add explanation for variance flags (commit: 1d27025) — garrigue / githubweb

#167 (Jun 10, 2020, 12:32:28 PM)

Add --enable-warn-error (commit: 75c9cd3) — david.allsopp / githubweb
Rename $gcc_warnings to $cc_warnings in configure (commit: 9f9d806) — david.allsopp / githubweb

#166 (Jun 10, 2020, 11:13:05 AM)

ocamldoc: remove debugging facility (commit: 433485b) — Sebastien.Hinderer / githubweb

#165 (Jun 10, 2020, 10:31:47 AM)

[minor] printlambda: print the 'tailcall' attribute in the same style as others (commit: 792deb1) — gabriel.scherer / githubweb
[refactoring] gives tailcall attributes a more standard structure (commit: d260a79) — gabriel.scherer / githubweb

#164 (Jun 10, 2020, 9:50:33 AM)

matching: [minor] refactor the local control flow of the Unused exception (commit: 68a3c8e) — gabriel.scherer / githubweb

#163 (Jun 9, 2020, 1:42:34 PM)

Format: margin documentation precision (commit: 982d4a3) — Florian Angeletti / githubweb
format: comment max indent induced line splits (commit: b6ba182) — Florian Angeletti / githubweb
format: document structural box quirk (commit: 99f0910) — Florian Angeletti / githubweb
review and change entry for #9618 (commit: 8875357) — Florian Angeletti / githubweb

#162 (Jun 9, 2020, 10:50:12 AM)

Remove two oldish scripts (#9656) (commit: 2e4d1ec) — noreply / githubweb

#161 (Jun 8, 2020, 5:13:15 PM)

Share generation code between ocamltest and utils (commit: da943ea) — david.allsopp / githubweb
Eliminate MKEXE_ANSI from build system (commit: d192a2c) — david.allsopp / githubweb

#160 (Jun 8, 2020, 3:19:42 PM)

Add skip lists as a reusable data structure (commit: 9a5f3b1) — xavier.leroy / githubweb
Use the skip list library for global GC root management (commit: 40824de) — xavier.leroy / githubweb
Use the skip list library to manage overwritten instructions in the debugger (commit: 8fd7894) — xavier.leroy / githubweb
Add Changes for #9635 (commit: 4ce3b7c) — xavier.leroy / githubweb

#159 (Jun 8, 2020, 1:17:50 PM)

ocamltest: do not overwrite user-defined variables (commit: 6ff2c11) — n.oje.bar / githubweb
Adapt tests (commit: d8d3875) — n.oje.bar / githubweb
Changes (commit: b765600) — n.oje.bar / githubweb
check-typo (commit: a8cd077) — n.oje.bar / githubweb

#158 (Jun 8, 2020, 10:49:18 AM)

Parmatch.exhaust: single-row optimization (commit: a3b66f1) — gabriel.scherer / githubweb

#157 (Jun 8, 2020, 10:08:49 AM)

documentation: clarify that l=x only affects byte-code runtime (commit: f57837e) — hannes / githubweb

#156 (Jun 8, 2020, 8:46:12 AM)

Upgrade the "stale" script to v3 (commit: de21daf) — xavier.leroy / githubweb

#155 (Jun 6, 2020, 9:58:45 PM)

matching: argo => arg_id (commit: 2f57af2) — gabriel.scherer / githubweb
matching: add a test for do_for_multiple_match flattening failure (commit: 30bb39d) — gabriel.scherer / githubweb
matching: push simple types to flatten_pattern (commit: f491929) — gabriel.scherer / githubweb
matching: flatten_simple_pattern does not raise (commit: e17f815) — gabriel.scherer / githubweb
matching: try => match with exception (commit: ddf93aa) — gabriel.scherer / githubweb
Changes (commit: f8bf8c3) — gabriel.scherer / githubweb

#154 (Jun 6, 2020, 5:15:42 PM)

Arg: a new Rest_all spec, similar to Rest, that passes all arguments at once (commit: 63eb3da) — gabriel.scherer / githubweb

#153 (Jun 5, 2020, 9:11:08 PM)

Fix #9640: regression introduced by #9623 (commit: a96a610) — garrigue / githubweb
update PR number (commit: 6a47e31) — garrigue / githubweb
add example (commit: b2b9fc3) — garrigue / githubweb
factorize in merge_constraint (commit: 9dc7df7) — garrigue / githubweb
comment for module alias + factorize with_type/with_typesubst (commit: 83ae23d) — garrigue / githubweb

#152 (Jun 5, 2020, 6:54:22 PM)

New representation of closures, bytecode part (commit: 9e12857) — xavier.leroy / githubweb
New representation of closures, intermediate bootstrap (commit: a1f2166) — xavier.leroy / githubweb
New representation of closures, native-code compilation (commit: 7f5a137) — xavier.leroy / githubweb
Restrict 'test_locations' to 64-bit archs and update expected outputs (commit: e577855) — xavier.leroy / githubweb
During major GC, scan the environment part of closures only (commit: 843ec62) — xavier.leroy / githubweb
Give preallocated atoms the GC color Black (commit: 121dbb9) — xavier.leroy / githubweb
No need to special-case zero-sized blocks in no-naked-pointers mode (commit: 85f5006) — xavier.leroy / githubweb
Changes entry for #9619 (commit: 59da229) — xavier.leroy / githubweb
Limit the number of parameters for an uncurried or untupled function (#9620) (commit: 4aa90e9) — noreply / githubweb

#151 (Jun 5, 2020, 6:13:55 PM)

Fix tools/check-typo for mawk 1.3.4 (#9644) (commit: d0051d0) — noreply / githubweb

#150 (Jun 5, 2020, 7:58:02 AM)

FFI documentation: naked pointers are obsolete (commit: 608d166) — Florian Angeletti / githubweb
Document alternate encodings for out-of-heap pointers (commit: a22f6f5) — Florian Angeletti / githubweb
Reword what will happen with pointers outside the heap (commit: bea823a) — Florian Angeletti / githubweb
Change entry for #9610 (commit: 635cc46) — Florian Angeletti / githubweb

#149 (Jun 5, 2020, 7:12:51 AM)

Allow ',' at the start of OCAMLRUNPARAM (commit: c0440d8) — n.oje.bar / githubweb
Changes (commit: 9ea385d) — n.oje.bar / githubweb
Manual (commit: c4eea2e) — n.oje.bar / githubweb

#148 (Jun 4, 2020, 7:19:37 PM)

Inria CI: also test LibBFD support on FreeBSD (commit: e32c1b2) — Sebastien.Hinderer / githubweb

#147 (Jun 4, 2020, 6:39:11 PM)

minor Changes fix (commit: 42b64a7) — gabriel.scherer / githubweb

#146 (Jun 4, 2020, 4:55:14 PM)

fix typo in #9569 (commit: b280e17) — noreply / githubweb

#145 (Jun 4, 2020, 1:16:39 PM)

add a testcase for 'with type <lhs> = <rhs>' scoping (commit: 45248a7) — gabriel.scherer / githubweb
Typemod.merge_constraint: be careful about the typing environments (commit: 7068266) — gabriel.scherer / githubweb
Typemod.merge_constraint: fix computation of the signature environment (commit: 8b2f64c) — gabriel.scherer / githubweb

#144 (Jun 3, 2020, 6:12:10 PM)

add PR number for #7741 (commit: 97c3be2) — garrigue / githubweb
Fix #7520: Odd behaviour of refutation cases with polymorphic variants (#9547) (commit: abb8db4) — noreply / githubweb

#143 (Jun 3, 2020, 5:31:50 PM)

Fix #7741: Failure to report escaping type variable (#9545) (commit: 13a081b) — noreply / githubweb

#142 (Jun 3, 2020, 11:26:18 AM)

s/@raises/@raise (commit: ca64723) — david.allsopp / githubweb

#141 (Jun 3, 2020, 12:10:50 AM)

Fix load path ordering (#9611) (commit: 836d624) — noreply / githubweb

#140 (Jun 2, 2020, 10:05:39 PM)

Fix the polymorphic recursion problem of #9603 (#9617) (commit: ee20f5e) — noreply / githubweb

#139 (Jun 2, 2020, 5:23:03 PM)

More partial application warnings (commit: fd1bb25) — sdolan / githubweb

#138 (Jun 2, 2020, 11:41:48 AM)

Unbox result of Unix.gettimeofday in unix and win32unix (#9561) (commit: a8e2f2b) — noreply / githubweb
Remove Const_pointer from Lambda and Clambda (#9585) (commit: 0d44a6c) — xavier.leroy / githubweb
Remove Const_pointer from Lambda and Clambda (#9585), bootstrap (commit: 0ca651b) — xavier.leroy / githubweb

#137 (Jun 2, 2020, 11:01:31 AM)

Ensure stdlib documentation index refers to Stdlib (commit: 6b214f5) — sdolan / githubweb
Remove broken link to Pervasives (commit: fb18d85) — sdolan / githubweb
Use Odoc_global.library_namespace for index alias removal (commit: f75d5f3) — sdolan / githubweb
changes entry (commit: 9b6e620) — sdolan / githubweb

#135 (Jun 1, 2020, 7:52:34 PM)

Add Val_some,Val_none,Some_val, Is_none, Is_some, Tag_some (#9569) (commit: 973eeb1) — noreply / githubweb

#134 (Jun 1, 2020, 7:10:25 PM)

Turn debugger off in programs launched by the program being debugged (#9594) (commit: 4bf7a79) — noreply / githubweb

#133 (Jun 1, 2020, 4:19:24 PM)

compute the same separability signatures in either "(no) flat float" modes (commit: 8e83130) — gabriel.scherer / githubweb

#132 (May 30, 2020, 7:01:52 PM)

parmatch: make 'exhaust' lazy by returning a Seq.t (commit: 8f71174) — gabriel.scherer / githubweb
add regression tests for fragile-matching stack overflows (commit: a8adec1) — gabriel.scherer / githubweb
Changes entry (commit: f8e24bd) — gabriel.scherer / githubweb
parmatch: ensure specialized submatrices are in source order (commit: d8acfa9) — gabriel.scherer / githubweb

#131 (May 29, 2020, 2:29:21 PM)

Attach package type attributes to core_type (#9615) (commit: 71e9112) — noreply / githubweb

#130 (May 29, 2020, 8:40:09 AM)

Add new flag for non-elevated symbolic links and test for Developer Mode on Windows (#9593) (commit: 2b6f49e) — noreply / githubweb

#129 (May 28, 2020, 2:28:20 PM)

Changes: backport the caml_*_compare fix to 4.11 (commit: a8d06b2) — gabriel.scherer / githubweb

#128 (May 28, 2020, 1:47:29 PM)

Bind arguments of integer and float compare in cmmgen (commit: 8fce17d) — gyorsh / githubweb
Move float compare from cmmgen to cmm_helpers (commit: 6cb283b) — gyorsh / githubweb
Add a test (commit: 4c25ffc) — gyorsh / githubweb
Update Changes (commit: 21f04a4) — gyorsh / githubweb

#127 (May 28, 2020, 8:46:52 AM)

remove an unused test reference file (commit: 0c60f27) — gabriel.scherer / githubweb
add a testsuite case for an [@@unboxed] bug (#9607) reported by Stephen Dolan (commit: 463f1e1) — gabriel.scherer / githubweb
typedecl: correct update separability in transl_with_constraint (commit: 9b1bfc3) — gabriel.scherer / githubweb
typedecl: prevent the mistake of not updating transl_with_constraint (commit: ec74335) — gabriel.scherer / githubweb

#126 (May 27, 2020, 11:19:20 PM)

stop passing the constant ocamlsrcdir to each function (commit: 6c311f3) — gabriel.scherer / githubweb
Use Filename.quote_command (commit: 3eebf1a) — gabriel.scherer / githubweb
Use Sys.{win32,...} instead Sys.os_type (commit: b77b13d) — gabriel.scherer / githubweb
Use with_{input,output}_file (commit: 73aa612) — gabriel.scherer / githubweb
Remove unneeded Sys.chdir (commit: 13e96a1) — gabriel.scherer / githubweb
Hide references in Options implementation (commit: 105ac40) — gabriel.scherer / githubweb
Typos (commit: b4ba61d) — gabriel.scherer / githubweb
Changes entry (commit: e439fea) — gabriel.scherer / githubweb

#125 (May 27, 2020, 9:26:42 AM)

matching: use constructor descriptions instead of tags as matching keys (commit: d333ac8) — gabriel.scherer / githubweb
Matching: propagate constructor descriptions in complete_pats_constrs (commit: bf95a24) — gabriel.scherer / githubweb

#124 (May 26, 2020, 3:48:54 PM)

Map ERROR_PRIVILEGE_NOT_HELD to EPERM (commit: 643d1af) — david.allsopp / githubweb

#123 (May 25, 2020, 7:53:26 PM)

Memprof: Fix duplicate declaration of static variable rand_pos (#9598) (commit: 4c24dca) — noreply / githubweb

#122 (May 25, 2020, 7:12:18 PM)

Fix PR#7817: Unsound inclusion check for polymorphic variant (#9546) (commit: 1bb388b) — noreply / githubweb

#121 (May 25, 2020, 5:06:12 PM)

patterns: move Parmatch.Pattern_head into Patterns.Head (commit: ffb6cae) — gabriel.scherer / githubweb
make depend (commit: e880ec3) — gabriel.scherer / githubweb
[minor] matching: rename Non_empty_clause.{map_head => map_first} (commit: 54b79d3) — gabriel.scherer / githubweb
matching: separate types for rows and clauses (commit: f5f4ba6) — gabriel.scherer / githubweb
patterns: reuse ('a Typedtree.pattern_) to define Patterns.Head.t (commit: 0e979b7) — gabriel.scherer / githubweb
matching: move (Non_empty_row, views, General) to patterns.ml (commit: 4d6267d) — gabriel.scherer / githubweb
matching: move {general,simple,half_simple}_view to Patterns (commit: e19a3af) — gabriel.scherer / githubweb
matching: use pattern views in Parmatch as well (commit: 68dc87c) — gabriel.scherer / githubweb
Changes (commit: 229df94) — gabriel.scherer / githubweb
make check-typo happy (commit: 9ca2a35) — gabriel.scherer / githubweb
fixup! matching: use pattern views in Parmatch as well (commit: 1ee6ee4) — gabriel.scherer / githubweb

#120 (May 25, 2020, 10:33:32 AM)

Avoid creating ill-formed blocks in Cmm letrec (#9577) (commit: 9e09fde) — noreply / githubweb

#119 (May 25, 2020, 9:51:27 AM)

Memprof: optimize random sampling (#9466) (commit: 3d63a10) — noreply / githubweb

#118 (May 21, 2020, 5:23:46 PM)

Improve -with-bootstrap mode (commit: b2f467a) — xavier.leroy / githubweb

#117 (May 21, 2020, 3:40:46 PM)

Add option "-with-bootstrap" (commit: ad804d1) — xavier.leroy / githubweb
Force a bootstrap for the --disable-flat-float-array test (commit: f82a84f) — xavier.leroy / githubweb

#116 (May 21, 2020, 8:51:29 AM)

Use List.find_map (#9589) (commit: 9b74884) — noreply / githubweb

#115 (May 21, 2020, 5:37:22 AM)

When bytecode linking fails due to a missing module, show which module requires it (#9583) (commit: a151e91) — noreply / githubweb

#114 (May 20, 2020, 7:53:20 PM)

Use Sys.command instead of Unix.system to call 'cmp' (commit: 89beb4c) — xavier.leroy / githubweb

#113 (May 20, 2020, 6:34:31 PM)

Memprof: fatal error if thread is stopped from a callback. (commit: 97eb98d) — jacques-henri.jourdan / githubweb
Changes (commit: aa64e70) — jacques-henri.jourdan / githubweb
Add test statmemprof/thread_exit_in_callback. (commit: 629fae6) — jacques-henri.jourdan / githubweb

#111 (May 20, 2020, 3:12:53 PM)

Update link options for PowerPC 32 bits Linux (#9572) (commit: a364988) — noreply / githubweb

#110 (May 19, 2020, 7:24:07 PM)

Reimplement execvpe emulation in C (commit: e4d6448) — xavier.leroy / githubweb
Test redirection of stdout and stderr to the same file descriptor (commit: 565c07c) — xavier.leroy / githubweb
Detect availability of <spawn.h> and posix_spawn function (commit: 82af966) — xavier.leroy / githubweb
Reimplement Unix.create_process in C, using posix_spawn if possible (commit: ba528fe) — xavier.leroy / githubweb
Reimplement Unix.command like Unix.create_process (commit: 3e8272f) — xavier.leroy / githubweb
Add Changes entry (commit: 2fe1677) — xavier.leroy / githubweb

#109 (May 19, 2020, 3:31:20 PM)

Remove Const_pointer (#9578) (commit: 2d92955) — noreply / githubweb

#108 (May 19, 2020, 11:48:01 AM)

Fix Changes formatting (tabs, line length). (commit: 8ce5231) — yallop / githubweb

#107 (May 19, 2020, 11:07:36 AM)

Add a header macro for out-of-heap blocks (#9564) (commit: bd1b4b7) — noreply / githubweb

#106 (May 18, 2020, 7:17:23 PM)

Update documentation of Digest module (commit: 5890df0) — xavier.leroy / githubweb

#105 (May 18, 2020, 4:35:03 PM)

import Jacques comment on flatten_fields from the issue tracker (commit: 9fe4b96) — Florian Angeletti / githubweb

#104 (May 18, 2020, 3:55:13 PM)

typo fix (commit: 5b2c687) — gabriel.scherer / githubweb

#103 (May 18, 2020, 3:15:31 PM)

please check-typo despite all the sand (commit: 17dcf49) — gabriel.scherer / githubweb

#102 (May 18, 2020, 10:57:39 AM)

tests: aliases and applicative functors (commit: c991225) — Florian Angeletti / githubweb

#101 (May 18, 2020, 10:11:43 AM)

Changes (commit: 7bf6a78) — n.oje.bar / githubweb

#100 (May 18, 2020, 9:32:13 AM)

Add Unix.is_inet6_addr (#9575) (commit: d18d552) — noreply / githubweb

#99 (May 17, 2020, 7:06:13 AM)

Fix data race in at_exit and Printexc.register_printer with systhreads (commit: abe9821) — guillaume.munch-maccagnoni / githubweb
Implement at_exit with Atomics (commit: a469b4d) — guillaume.munch-maccagnoni / githubweb
Make at_exit forward-compatible with multicore (commit: 1e4eea1) — guillaume.munch-maccagnoni / githubweb

#98 (May 16, 2020, 10:44:47 PM)

Travis CheckDepend: show the difference, not just the problematic files (commit: b425413) — gabriel.scherer / githubweb

#97 (May 16, 2020, 8:20:53 PM)

stdlib: provide a sequential interface of the Atomic module from OCaml Multicore (commit: 04d9c42) — gabriel.scherer / githubweb
fix the testsuite (and add -dno-unique-ids where reasonable) (commit: c544d64) — gabriel.scherer / githubweb
fix the manual and improve the check-stdlib-modules error message (commit: 4c05c9d) — gabriel.scherer / githubweb

#96 (May 16, 2020, 7:41:16 PM)

A lightweight variant of the Inria CI script "main" (commit: 43f7a26) — xavier.leroy / githubweb

#95 (May 15, 2020, 8:58:37 PM)

like classes, type constraints are 'typexpr = typexpr' (commit: a2a287c) — garrigue / githubweb

#94 (May 15, 2020, 5:38:56 PM)

Define to_rev_seq in Set and Map module (#9075) (commit: f52fdc2) — noreply / githubweb

#93 (May 14, 2020, 6:15:19 PM)

win32unix: quote the arguments to the Unix.exec* functions (#9550) (commit: 914dd05) — noreply / githubweb

#92 (May 14, 2020, 4:10:18 PM)

Restore ocamloptp (commit: 0963b0c) — Florian Angeletti / githubweb

#91 (May 14, 2020, 9:21:16 AM)

matching: factorize the make_*_matching functions (commit: 0651396) — gabriel.scherer / githubweb

#90 (May 14, 2020, 12:01:20 AM)

Add %loc_FUNCTION primitive (commit: 4e33dcf) — n.oje.bar / githubweb
Bootstrap (commit: 6e3f710) — n.oje.bar / githubweb
Expose %loc_FUNCTION as __FUNCTION__ (commit: 4a44bf1) — n.oje.bar / githubweb
Add test (commit: f3e6d27) — n.oje.bar / githubweb
Changes (commit: ea835ee) — n.oje.bar / githubweb

#89 (May 13, 2020, 7:03:18 PM)

Protect against bad rounding of mtime / atime / ctime stats (#9505) (commit: c17f6c2) — noreply / githubweb

#88 (May 13, 2020, 6:23:47 PM)

Make -flarge-toc the default for PowerPC (#9557) (commit: b6c8b35) — noreply / githubweb

#87 (May 13, 2020, 11:33:03 AM)

Modernize signal handling on Linux i386, PowerPC64, and s390x (#9543) (commit: 3a408ff) — noreply / githubweb

#86 (May 13, 2020, 10:53:08 AM)

testsuite: remove a slow exhaustiveness check (#9555) (commit: f81e2b6) — noreply / githubweb

#85 (May 12, 2020, 3:35:19 PM)

Fix comment about NaN propagation (#9536) (commit: c920ea1) — noreply / githubweb

#84 (May 11, 2020, 12:22:13 PM)

#9189: avoid one-letter make variables (#9281) (commit: c86a5d8) — noreply / githubweb

#83 (May 9, 2020, 10:42:46 AM)

Run the "stale" script 3 times a week (commit: 37c5bd8) — xavier.leroy / githubweb

#82 (May 9, 2020, 8:43:50 AM)

add a known-bug test for buggy 'rec' (non)use in the #show command (commit: f7ec223) — gabriel.scherer / githubweb

#81 (May 7, 2020, 2:42:53 PM)

compare: correctly compare a Closure_tag with an Infix_tag (commit: 3a43b84) — gabriel.scherer / githubweb
compare: move Forward/Infix tests outside the hot path (commit: fc35f8b) — gabriel.scherer / githubweb

#80 (May 6, 2020, 9:37:49 PM)

fix 'dune build @libs' after #9257 (commit: 20e1d6e) — gabriel.scherer / githubweb

#79 (May 6, 2020, 5:29:53 PM)

makefiles: move the inclusion of Makefile.build_config in Makefile.common (commit: fab58a9) — gabriel.scherer / githubweb
[minor] rename CAN_BE_UNCONFIGURED into REQUIRES_CONFIGURATION (commit: 472a20d) — gabriel.scherer / githubweb
build system: skip Makefile.build_config when REQUIRES_CONFIGURATION is empty (commit: 21f5ad3) — gabriel.scherer / githubweb
Makefile: no need for REQUIRES_CONFIGURATION check on config.status (commit: 8d716a1) — gabriel.scherer / githubweb
move the REQUIRES_CONFIGURATION logic in Makefile.config_if_required (commit: e34e622) — gabriel.scherer / githubweb
refactor Makefile.config_if_required for easier reuse of variables (commit: 3489e00) — gabriel.scherer / githubweb
ocamltest/Makefile: do not depend on UNIX_OR_WIN32 for 'clean' (commit: 11c9d92) — gabriel.scherer / githubweb
[minor] Makefile: move ARCH_SPECIFIC back to the main Makefile (commit: 67f6128) — gabriel.scherer / githubweb
[minor] stdlib/Makefile: remove redundant clean action (commit: fd789b5) — gabriel.scherer / githubweb
Changes entry (commit: ffbea08) — gabriel.scherer / githubweb

#78 (May 6, 2020, 9:53:55 AM)

Turn on dependency checking on Inria CI (commit: 11d0d66) — david.allsopp / githubweb
Silence CI warning for undefined variable (commit: e3dffa8) — david.allsopp / githubweb
Tighten dependencies for C files (commit: b3af8ca) — david.allsopp / githubweb
Restore compatibility with GNU make 3.81 (commit: 617522e) — david.allsopp / githubweb
Don't use -MG (commit: c948b8d) — david.allsopp / githubweb
Remove unneeded $(otherfiles) in runtime/Makefile (commit: 942105f) — david.allsopp / githubweb
Update Changes (commit: 312ec98) — david.allsopp / githubweb

#77 (May 5, 2020, 7:22:23 PM)

Jenkins CI job to test the Dune-based build (commit: 29d5f48) — xavier.leroy / githubweb

#76 (May 5, 2020, 6:36:22 PM)

Add a "stale" Github action to process inactive issues (#9530) (commit: 9414e5a) — noreply / githubweb

#75 (May 5, 2020, 3:16:26 PM)

Changes: move 9228 to 4.11.0 section (commit: 273f2f8) — Florian Angeletti / githubweb

#74 (May 5, 2020, 11:13:50 AM)

Move 9437 to 4.10 (commit: d4009ac) — david.allsopp / githubweb

#73 (May 4, 2020, 4:04:42 PM)

configure: support bfd on FreeBSD (#9531) (commit: 3f7e56c) — noreply / githubweb
Move Changes entry for 9531 to 4.10 (commit: 21654fc) — david.allsopp / githubweb

#72 (May 4, 2020, 3:26:04 PM)

check-typo attributes for .github directory (commit: 1c7d5f4) — xavier.leroy / githubweb

#71 (May 4, 2020, 9:50:04 AM)

Fix some issues in the Map documentation: (commit: afe681c) — yallop / githubweb

#70 (May 3, 2020, 4:06:42 PM)

HACKING.adoc: restructure the opam information and fix the cross-reference (commit: c14ba72) — gabriel.scherer / githubweb

#69 (May 3, 2020, 10:34:12 AM)

fix the dune build (commit: 9eb9d04) — gabriel.scherer / githubweb

#68 (May 3, 2020, 9:55:29 AM)

INSTALL.adoc: replace Makefile.common.in with Makefile.build_config.in (commit: 239de4d) — gabriel.scherer / githubweb

#67 (May 3, 2020, 9:07:03 AM)

Fix ephemeron documentation typos (commit: 5e2b28d) — josh / githubweb
Update stdlib/ephemeron.mli (commit: a282c17) — noreply / githubweb

#66 (May 2, 2020, 6:47:26 PM)

Initialise in caml_obj_block / Obj.new_block only when necessary (#9513) (commit: 9355b4e) — noreply / githubweb

#64 (May 2, 2020, 11:17:05 AM)

Makefiles: require only the bootstrap compiler for BEST_OCAMLDEP (commit: a5b6fd1) — david.allsopp / githubweb
add a new Travis CI check that 'make alldepend' is a no-op (commit: cdccc0b) — david.allsopp / githubweb

#63 (May 2, 2020, 8:47:00 AM)

matching: matcher_* take Simple.pattern arguments (commit: 67c56e6) — gabriel.scherer / githubweb
matching: specialize_matrix uses non-empty rows (commit: 97caf28) — gabriel.scherer / githubweb
matching: consolidate all matcher_ functions in a single matcher_head (commit: 0f5a1c4) — gabriel.scherer / githubweb
matching: refine the types in Context.ctx_matcher (commit: 387955e) — gabriel.scherer / githubweb
matching: finally, merge matcher and Context.ctx_matcher (commit: a26e509) — gabriel.scherer / githubweb
Changes (commit: ae4621c) — gabriel.scherer / githubweb
matching: use heads in the make_*_matching specialization calls (commit: ac1243c) — gabriel.scherer / githubweb
[minor] matching.ml: tune ~scopes handling (commit: 50fdc06) — gabriel.scherer / githubweb
matching: add a comment suggested by Florian Angeletti's review (commit: 3527653) — gabriel.scherer / githubweb
parmatch: normalize_pat is not used anymore (commit: 3903f9f) — gabriel.scherer / githubweb

#62 (May 1, 2020, 10:35:18 PM)

AppVeyor: test dependency generation on msvc64 (commit: 5efcc1b) — david.allsopp / githubweb
Fix win32unix Makefile (commit: e3c4ba9) — david.allsopp / githubweb
Remove unnecessary -MG from systhreads (commit: 7cfd810) — david.allsopp / githubweb
Update Changes entry (commit: c8dcbac) — david.allsopp / githubweb

#61 (May 1, 2020, 8:36:11 AM)

Introduce Makefile.build_config.in (commit: 3a40b2f) — david.allsopp / githubweb
Use autoconf AC_PROG_INSTALL results (commit: be6eb2c) — david.allsopp / githubweb
Cease committing C dependendency information (commit: ac2a9dd) — david.allsopp / githubweb
Reformat .travis.yml env blocks (commit: fb375c5) — david.allsopp / githubweb

#60 (Apr 30, 2020, 6:30:38 PM)

unboxed-primitive-args: test does not require unix (#9517) (commit: e20736d) — noreply / githubweb

#59 (Apr 30, 2020, 5:49:28 PM)

Support FP reg -> int reg moves (commit: 16794b9) — xavier.leroy / githubweb
Update C calling conventions to the RISC-V ELF psABI (commit: ea6896f) — xavier.leroy / githubweb

#58 (Apr 30, 2020, 4:53:17 PM)

Fix instrumented-runtime test on OpenBSD (commit: 42b8c20) — david.allsopp / githubweb

#57 (Apr 30, 2020, 3:21:06 PM)

Add ocamlbuild to separated components (commit: c4684d9) — david.allsopp / githubweb

#56 (Apr 30, 2020, 2:33:27 PM)

Add details of removed items to README.adoc (commit: 169aadb) — david.allsopp / githubweb
Configure GitHub issue tracker (commit: f5de444) — david.allsopp / githubweb

#55 (Apr 30, 2020, 1:24:51 PM)

Add snprintf_os (commit: a9f7d74) — decorne.en / githubweb
Rewrite the instrumented runtime to store traces in the CTF format. (commit: b7f0494) — decorne.en / githubweb

#53 (Apr 29, 2020, 6:51:12 PM)

Support marshalling of bigarrays with dimensions that don't fit in 4 bytes (#8791) (commit: 2e30946) — noreply / githubweb

#52 (Apr 28, 2020, 6:33:03 PM)

fix module_coercion test on no-flat-floatarray mode (#9508) (commit: 6923fd1) — noreply / githubweb

#51 (Apr 28, 2020, 4:19:32 PM)

remove caml_init_ieee_floats() (#9506) (commit: ec24f98) — noreply / githubweb

#49 (Apr 28, 2020, 2:09:20 PM)

Avoid rechecking functor applications (commit: 3b42d0a) — leo / githubweb
Add Changes entry (commit: fdc21de) — leo / githubweb

#48 (Apr 28, 2020, 11:07:41 AM)

Remove redundancy in testsuite/tests/statmemprof/comballoc.ml (commit: 687076d) — jacques-henri.jourdan / githubweb
Fix statmemprof/callstacks.ml when --disable-flat-float-array is used. (commit: 9087148) — jacques-henri.jourdan / githubweb

#47 (Apr 28, 2020, 10:27:00 AM)

Fix docs: runtime warnings are not enabled by default (commit: f66e395) — edvin.torok / githubweb

#45 (Apr 27, 2020, 3:51:27 PM)

Introduce the Lambda.scoped_location type (commit: a529280) — sdolan / githubweb
Replace Location.t with Lambda.scoped_location in Lambda code (commit: 2986bea) — sdolan / githubweb
Print function names (derived from Lambda.scoped_location) in backtraces (commit: 0040c5d) — sdolan / githubweb
Update testsuite with new backtrace format, and add test for names (commit: b7716c4) — sdolan / githubweb
Bootstrap (commit: fc2aee9) — sdolan / githubweb
Changes (commit: fa037cb) — sdolan / githubweb

#44 (Apr 27, 2020, 11:36:41 AM)

Compiling for Haiku OS: network functions reside in libnetwork (#9486) (commit: abfd5d8) — noreply / githubweb

#43 (Apr 25, 2020, 7:51:37 PM)

Update documentation for the Thread module and deprecate some functions (#9419) (commit: 080ac74) — noreply / githubweb

#42 (Apr 25, 2020, 7:09:45 PM)

Use diversion when calling external tools with a very long argument list (#9492) (commit: 68c6f89) — noreply / githubweb

#41 (Apr 25, 2020, 1:01:13 PM)

Link std_exit.cmo into binaries compiled with -output-complete-exe (#9495) (commit: 1e98c52) — noreply / githubweb

#40 (Apr 24, 2020, 6:10:36 PM)

Fix recursive module initialisation that does not terminate (#9497) (commit: df20ccf) — xavier.leroy / githubweb
configure: move -fexcess-precision=standard to the internal cflags (#9496) (commit: 4d3b431) — noreply / githubweb

#39 (Apr 24, 2020, 5:28:40 PM)

Move Changes entry to the right place (commit: 1eb26ae) — n.oje.bar / githubweb

#35 (Apr 23, 2020, 10:17:26 PM)

Switch Travis testing from Xenial to Bionic (commit: c6048eb) — david.allsopp / githubweb

#32 (Apr 23, 2020, 9:27:55 PM)

autogen (commit: a929052) — n.oje.bar / githubweb

#24 (Apr 22, 2020, 8:11:50 PM)

Allow make to be invoked before configure (commit: d4a5665) — david.allsopp / githubweb
autogen -> make configure (commit: 91913bc) — david.allsopp / githubweb
Clean-up autoconf files in make distclean (commit: b1c78c0) — david.allsopp / githubweb
Update otherlibraries description (commit: 998019d) — david.allsopp / githubweb
Eliminate Config.ocamlopt_c{,pp}flags (commit: 2b4fe09) — david.allsopp / githubweb
Clean runtime/primitives.new (commit: cc6c09e) — david.allsopp / githubweb
Ensure make distclean works on an unconfigured tree (commit: 13786d7) — david.allsopp / githubweb
Update release-checklist (commit: f568f85) — david.allsopp / githubweb
Only enable for required targets (commit: a2ddf55) — david.allsopp / githubweb
Preserve backtraces in debugger (commit: e2f278c) — david.allsopp / githubweb
Remove use of Printexc.catch from debugger (commit: 37acb3b) — david.allsopp / githubweb
Don't ever call stop_user_input in line_loop (commit: d0bab08) — david.allsopp / githubweb
Use Fun.protect where possible (commit: 9eeead7) — david.allsopp / githubweb
Testsuite is not parallel (commit: 2ddcdf1) — david.allsopp / githubweb
Testsuite is not parallel (commit: 48e7150) — david.allsopp / githubweb
Correct implementation of --disable-stdlib-manpages (commit: 9c5d7c1) — david.allsopp / githubweb
tests/tool-ocamldep-modalias is not parallel (commit: 9fdd31f) — david.allsopp / githubweb
tests/tool-ocamldep-modalias is not parallel (commit: cf2db2b) — david.allsopp / githubweb
call_linker now returns exit_code for better error response on linking_error, fixes #7141 (commit: 8f235ef) — anu1999kriti / githubweb
Visit registers at most once in Coloring.iter_preferred (commit: d48df3c) — sdolan / githubweb
Changes entry (commit: 89bb08b) — sdolan / githubweb
code review changes (commit: 7266b79) — anu1999kriti / githubweb
Fix tail-call optimisation with a mutable ref (#9443) (commit: 2208a4c) — noreply / githubweb
Install a pretty printer for the Fun.Finally_raised exception (#9266) (commit: b1fdc44) — noreply / githubweb
matching: what_is_cases returns a head (commit: 2d9aafc) — gabriel.scherer / githubweb
matching: inline split_and_precompile* to clarify compile_* (commit: d67a091) — gabriel.scherer / githubweb
matching: factorize compile_match and compile_match_nonempty (commit: b2a2c94) — gabriel.scherer / githubweb
matching: minor code factorization of compile_* functions (commit: 6ceba91) — gabriel.scherer / githubweb
Changes (commit: 761383d) — gabriel.scherer / githubweb
Reset Reg.visit_generation during Reg.reset (commit: 6fbecf0) — sdolan / githubweb
Add [@inlined hint] attribute (commit: f46abe1) — leo / githubweb
Add Changes entry (commit: 3dee10e) — leo / githubweb
Reimplement output_value using a hash table to detect sharing (#9353) (commit: 67ada54) — noreply / githubweb
Introduce $MAKE to AppVeyor script (commit: afe92bb) — david.allsopp / githubweb
Introduce $MAKE to AppVeyor script (commit: 540df2e) — david.allsopp / githubweb
Add locations to docstring attributes (commit: a534650) — leo / githubweb
Display AppVeyor environment (commit: 1850f55) — david.allsopp / githubweb
Display AppVeyor environment (commit: 644696e) — david.allsopp / githubweb
Run AppVeyor with -j for branches (commit: 094447b) — david.allsopp / githubweb
Run AppVeyor with -j for branches (commit: db1d848) — david.allsopp / githubweb
Use configure-caches on AppVeyor (commit: eaa2a01) — david.allsopp / githubweb
Use configure-caches on AppVeyor (commit: 014105b) — david.allsopp / githubweb
packed modtype lookup can fail due to missing cmi (commit: 35dbd85) — Florian Angeletti / githubweb
Add Changes entry (commit: a5da416) — leo / githubweb
Fix #mod_use in toplevel (commit: 5abff44) — david.allsopp / githubweb
Add a test for #mod_use (commit: 528bd78) — david.allsopp / githubweb
s/wrap_mode/wrap_mod/ (commit: b145395) — david.allsopp / githubweb
Fix the native toplevel too... (commit: 221fee0) — david.allsopp / githubweb
toplevels: label the wrap_mod argument (commit: a30e621) — gabriel.scherer / githubweb
Add regression test (commit: 1725749) — leo / githubweb
Prohibit signature local types with constraints (commit: 8dcdda9) — leo / githubweb
Add Changes entry (commit: 6dcb770) — leo / githubweb
Make substitution of type functions more robust (commit: 80324ba) — leo / githubweb
Add test for usage warnings of recursive modules (commit: dd8218f) — leo / githubweb
Improve usage warnings for recursive modules (commit: 5f16c55) — leo / githubweb
Add Changes entry (commit: 2c8f99e) — leo / githubweb
testsuite: -nolabels and commuting optional arguments (commit: 245a071) — thomas.refis / githubweb
testsuite: -nolabels, commutes now, might get eliminated later (commit: 046da6c) — thomas.refis / githubweb
type_application: merge sargs and more_sargs (commit: 2b1e211) — thomas.refis / githubweb
apply the same treatment to Pcl_apply (commit: 6d43867) — thomas.refis / githubweb
extract_label: return an option instead of raising (commit: b703371) — thomas.refis / githubweb
typeclass: further simplification as suggested by reviewer (commit: aa5c1d3) — thomas.refis / githubweb
type_args: forbid optional arguments commuting when [ignore_labels=true] (commit: 9e0515f) — thomas.refis / githubweb
type_args: remove ty_old (commit: 0deda51) — thomas.refis / githubweb
type_args: some comments (and formatting noise) (commit: 9632e02) — thomas.refis / githubweb
type_application: primitives inspection helper (commit: f444ecd) — thomas.refis / githubweb
type_unknown_args is a fold (commit: 5e78b17) — thomas.refis / githubweb
inline type_unknown_args (commit: 21656b2) — thomas.refis / githubweb
type_application: implement ignored and omitted in the same way (commit: 02a7388) — thomas.refis / githubweb
type_application: better names, some more comments (commit: 22657fa) — thomas.refis / githubweb
Typeclass.type_args rewrite in the same way (commit: 1294b28) — thomas.refis / githubweb
type_application: better variable name (commit: ed654dc) — thomas.refis / githubweb
Changes (commit: 73a3f90) — thomas.refis / githubweb
optional arguments eliminated only when followed by unlabelled argument (commit: 384aa21) — thomas.refis / githubweb
illegal commutation: more information in error message (commit: e01966a) — thomas.refis / githubweb
Further Changes (commit: a321395) — thomas.refis / githubweb
Turn off PIE for musl-based Linux on platforms other than amd64 and s390x (#9456) (commit: da12974) — noreply / githubweb
add a regression test for issue 9460 (commit: 5722f78) — gabriel.scherer / githubweb
Fix Cmm type of unboxed Int64 values in Clet_mut (commit: 8f006a3) — gabriel.scherer / githubweb
Changes entry (commit: 5c0e138) — gabriel.scherer / githubweb
x86 asm: handle unit names with special characters (#9465) (commit: ec6690f) — noreply / githubweb
Fix asmcomp unit name test for bsd (#9473) (commit: 91bbdac) — noreply / githubweb
env summary: don't record implicit cmi files (commit: c041b03) — Florian Angeletti / githubweb
Revert "AppVeyor speed-ups" (commit: 67c011b) — noreply / githubweb
Cast `getpid()` to `long long` before printing (commit: 974b9ca) — xavier.leroy / githubweb
Test distclean in CI (commit: 8a36b7a) — david.allsopp / githubweb
Use Filename.quote_command (#9476) (commit: 15b08d2) — noreply / githubweb
Add -function-sections to missing folder in otherlibs (commit: ec03b06) — gyorsh / githubweb
Define OPTCOMPFLAGS in Makefile.common.in (commit: 7465e9f) — gyorsh / githubweb
Check FUNCTION_SECTIONS in Makefile.common.in to update OPTCOMPFLAGS (commit: 44af4ae) — gyorsh / githubweb
Check FLAMBDA in Makefile.common.in to update OPTCOMPFLAGS (commit: 7271919) — gyorsh / githubweb
Remove stray newlines (commit: b823c8d) — gyorsh / githubweb
Add an entry to Changes (commit: 0ba942c) — gyorsh / githubweb
Move Changes entry (commit: 5150303) — david.allsopp / githubweb
Make Cconst_symbol have typ_int to fix no-naked-pointers mode (#9282) (commit: d5dadae) — noreply / githubweb
last commit before branching 4.11 (commit: e92d13c) — damien.doligez / githubweb
first commit after branching 4.11.0 (commit: ea4542d) — damien.doligez / githubweb
Add riscv64 backend (commit: 9c4ff80) — n.oje.bar / githubweb
check-typo (commit: 7716697) — n.oje.bar / githubweb
Changes (commit: c6020b9) — n.oje.bar / githubweb
Review (commit: f50abf4) — n.oje.bar / githubweb
Review (commit: 9f4266d) — n.oje.bar / githubweb
Add NOTES.md (commit: b289e39) — n.oje.bar / githubweb
Remove vestiges of 32-bit support (commit: 5ec06df) — n.oje.bar / githubweb
Use allocatable register (ft0) as scratch register for single precision store (commit: 12d9fd7) — n.oje.bar / githubweb
Use '$' to escape asm symbols (commit: 271f66f) — n.oje.bar / githubweb
Remove vestiges of 32-bit support (commit: 898a2d4) — n.oje.bar / githubweb
riscv.S: use hex literal (commit: 4b4a108) — n.oje.bar / githubweb
Group pattern matching cases together (commit: b4166d4) — n.oje.bar / githubweb
Use jr instead of jalr (commit: 72ca1d6) — n.oje.bar / githubweb
Changes (commit: f94b366) — n.oje.bar / githubweb
check-typo (commit: 2e0f1dc) — n.oje.bar / githubweb
Allow t0 to be used for the register allocator (commit: 7b6ac9d) — n.oje.bar / githubweb
check-typo (commit: cb8de57) — n.oje.bar / githubweb

#22 (Apr 22, 2020, 6:16:55 PM)

check-typo (commit: 05d4d20) — n.oje.bar / githubweb
Changes (commit: 4c74fea) — n.oje.bar / githubweb
Review (commit: 8e558d9) — n.oje.bar / githubweb
Review (commit: a2d1f59) — n.oje.bar / githubweb
Add NOTES.md (commit: 6dd536d) — n.oje.bar / githubweb
Remove vestiges of 32-bit support (commit: 30ab9bb) — n.oje.bar / githubweb
Use allocatable register (ft0) as scratch register for single precision store (commit: 0bd2064) — n.oje.bar / githubweb
Use '$' to escape asm symbols (commit: 8417d6f) — n.oje.bar / githubweb
Remove vestiges of 32-bit support (commit: 35e85da) — n.oje.bar / githubweb
riscv.S: use hex literal (commit: b63979a) — n.oje.bar / githubweb
Group pattern matching cases together (commit: ce63bf4) — n.oje.bar / githubweb
Use jr instead of jalr (commit: 72ce86b) — n.oje.bar / githubweb
Changes (commit: ef7d00b) — n.oje.bar / githubweb
check-typo (commit: 8ccd05d) — n.oje.bar / githubweb
Allow t0 to be used for the register allocator (commit: ce361b9) — n.oje.bar / githubweb
check-typo (commit: 54ddb27) — n.oje.bar / githubweb

#21 (Apr 11, 2020, 12:14:09 PM)

configure: use cc as assembler with clang and for all FreeBSD platforms (#9437) (commit: 88a1bce) — noreply / githubweb
Add riscv64 backend (commit: d6b3808) — n.oje.bar / githubweb

#20 (Apr 10, 2020, 6:34:06 PM)

fix Makefile dependencies of ocamltest (commit: d45e39d) — gabriel.scherer / githubweb
matching: formatting noise (commit: 488a588) — thomas.refis / githubweb
Use typing information from Clambda for mutable Cmm variables (commit: 1336ce0) — sdolan / githubweb
Assert that Cassign is only used on Clet_mut-bound variables (commit: de9e630) — sdolan / githubweb
matching: half_compiled_row: (head, patl, act) => - 12 assert false (commit: c591c17) — thomas.refis / githubweb
matching: move things around (commit: bfc2b13) — thomas.refis / githubweb
Add test for short-paths in error messages (commit: 9de0113) — leo / githubweb
Fix some bugs in short-paths (commit: 1188af3) — leo / githubweb
Avoid polymorphic compare in Ident (commit: 76752f7) — leo / githubweb
Add Changes entry (commit: 1906371) — leo / githubweb
Short circuit simple inclusion checks (commit: ecfaffe) — leo / githubweb
Bootstrap (commit: ccfd2cf) — leo / githubweb
Add Changes entry (commit: 7b99835) — leo / githubweb
Apply short-paths to an additional case (commit: 971ffaf) — leo / githubweb
Add Changes entry (commit: c5bd0d8) — leo / githubweb
typedtree.mli: un-open Types (commit: 9fb4b05) — thomas.refis / githubweb
Add a unique id to every signature item (commit: d52dd5c) — thomas.refis / githubweb
use uid for usage warnings (commit: e4de6c1) — thomas.refis / githubweb
update testsuite (commit: 7e37000) — thomas.refis / githubweb
typecore: wrap_unpacks => type_unpacks (commit: dacf8b5) — thomas.refis / githubweb
set_value_used_callback: simplify implementation (commit: 8abb519) — thomas.refis / githubweb
Changes (commit: 6063e73) — thomas.refis / githubweb
Types.Uid: include Identifiable (commit: 3fe2538) — thomas.refis / githubweb
update Changes (commit: a280041) — sdolan / githubweb
Uid.reinit (commit: 86b33bc) — thomas.refis / githubweb
printtyp: inline a function call (#9347) (commit: 0a09add) — noreply / githubweb
bootstrap (commit: dec26d4) — thomas.refis / githubweb
add forgotten word in comment (commit: b67779b) — thomas.refis / githubweb
build_subtype: assert arrow type is known (#9348) (commit: bea2d04) — noreply / githubweb
make depend (commit: e8d9ec5) — gabriel.scherer / githubweb
Define Seq.cons and Seq.append. (#9077) (commit: cc4a075) — noreply / githubweb
disambiguation: improve the API of NameChoice.disambiguate (commit: bf6c8d4) — gabriel.scherer / githubweb
Document warning 67 in ocamlc man page (#9346) (commit: e10d0ac) — noreply / githubweb
Micro-optimise allocations on amd64 to save a register (#9280) (commit: 4d4a056) — noreply / githubweb
fix HACKING.adoc formatting (commit: a80939a) — gabriel.scherer / githubweb
matching: Add intermediary types to keep track of the compilation state of pms (commit: 4b41481) — thomas.refis / githubweb
parmatch: export Pattern_head (commit: 9504ede) — thomas.refis / githubweb
matching: start using Pattern_head (commit: 8790988) — thomas.refis / githubweb
matching: more precise argo argument (commit: 5a22a88) — thomas.refis / githubweb
matching: remove dedicated type, use labelled arguments (commit: 3d339ea) — thomas.refis / githubweb
matching: add an assert false in divide variant (commit: f3e6fc7) — thomas.refis / githubweb
Implement #9280 for MSVC64 (#9358) (commit: e137610) — noreply / githubweb
matching: deduplicate the matrix pretty-printing functions (commit: 3388d0a) — gabriel.scherer / githubweb
matching: deduplicate the debug information printing (commit: 9ba926c) — gabriel.scherer / githubweb
ocamldebug: initialize all functions in Env (#9356) (commit: 95a5399) — noreply / githubweb
matching: ctx_matcher with heads (#9359) (commit: 7fd5dd9) — noreply / githubweb
Avoid looking up nonexistent Comballoc debuginfo (commit: 05afee9) — sdolan / githubweb
Deprecate -annot (#2141) (commit: 57d329e) — noreply / githubweb
minor Changes files (commit: c811c71) — gabriel.scherer / githubweb
TOOLS: Ocamldep arg to not include current dir to search path (commit: e0b31a6) — muskan / githubweb
Add an assertion that we never try to read debuginfo from system frames (#9366) (commit: 58f8284) — noreply / githubweb
Add a new toplevel directive #use_output "<command>" (commit: e54876a) — noreply / githubweb
Generate the same locations for raises in bytecode and native code (commit: cc7b687) — sdolan / githubweb
Generate the same backtraces for method send in bytecode and native (commit: 07d0192) — sdolan / githubweb
Changes entry (commit: 97f15cd) — sdolan / githubweb
Fix #9344 (#9368) (commit: c7de942) — noreply / githubweb
fix doc comment for unit type (commit: a8a3c55) — leo / githubweb
fix doc comment for seq type (commit: 75bc37d) — leo / githubweb
fix sockaddr type doc comment (commit: 16e40ae) — leo / githubweb
fix msg_flag type doc comment (commit: 058e089) — leo / githubweb
Use $AWK not awk (commit: bc867ce) — david.allsopp / githubweb
Don't assume . in AWKPATH (commit: e4f3aa8) — david.allsopp / githubweb
matching: use polymorphic variants to classify general/half_simple/simple patterns (#9361) (commit: 3196a70) — noreply / githubweb
The manual is now hosted on ocaml.org (#9378) (commit: 466ed63) — noreply / githubweb
[Refactor]: Typing/typeclass.ml (commit: 52dc5d7) — muskan / githubweb
Fix Changes entry (commit: b4e34ae) — sdolan / githubweb
Replace caml_int_compare and caml_float_compare with primitives (#2324) (commit: 824ce35) — noreply / githubweb
Stdlib: added Printf.ikbprintf, Printf.ibprintf (#9364) (commit: 4019c33) — noreply / githubweb
fix attribute examples in the manual (commit: 3e7de34) — Florian Angeletti / githubweb
minor Changes change (commit: f4915d5) — gabriel.scherer / githubweb
Remove sudo:false in .travis.yml (#9402) (commit: 49d0580) — noreply / githubweb
dune: cmt2annot (commit: 250c9c8) — thomas.refis / githubweb
[nitpick]: Added "." at the end of warning descriptions in utils/warnings.ml (commit: 50866e4) — muskan / githubweb
Added: Warning 67 description. (commit: e831b47) — muskan / githubweb
add optional argument principality examples (#9405) (commit: e10e2bf) — noreply / githubweb
Map.filter_map and Set.filter_map (commit: 1cd6e44) — gabriel.scherer / githubweb
add more principality warnings examples for applications (#9408) (commit: 1e78d1e) — noreply / githubweb
Move changelog entry for #9344's fix in 4.10 section (commit: 05c209f) — Jeremie Dimino / githubweb
Gc.Memprof.start: take a record instead of 5 optional parameters (commit: ff6b200) — gabriel.scherer / githubweb
memprof: remove caml_unused memprof_start_byt and then bootstrap (commit: 14a4510) — gabriel.scherer / githubweb
memprof runtime: keep tracker callbacks in a single value (commit: d440079) — gabriel.scherer / githubweb
testsuite/Makefile: refactor the -promote ocamltest logic (commit: 89b41c3) — gabriel.scherer / githubweb
ocamltest: collect 'summary' information on whether a failure happened (commit: 9eadd76) — gabriel.scherer / githubweb
ocamltest: opt-in -keep-test-dir-on-success to keep test data on success (commit: a86943c) — gabriel.scherer / githubweb
testsuite/Makefile: allow users to explicit set KEEP_TEST_DIR_ON_SUCCESS=1 (commit: 45697b3) — gabriel.scherer / githubweb
Changes -- and justification. (commit: 86066c8) — gabriel.scherer / githubweb
disambiguation for extension constructors (commit: 4f9f41e) — Florian Angeletti / githubweb
README: update link to manual pages and reference inbox.ocaml.org (commit: 6dd7b42) — anil / githubweb
replaced fib example with gcd in coreexample.etex (commit: 97b9bed) — anu1999kriti / githubweb
[REVIEW REQUIRED] matching: simplify can_group (commit: acd44f9) — gabriel.scherer / githubweb
[minor] matching: rename `group_var` into `simple_omega_like` (commit: d05f86e) — gabriel.scherer / githubweb
[minor] fix a Makefile warning by defining undefined variables (commit: 7612a6d) — gabriel.scherer / githubweb
Changes entry for the refactoring of the pattern-matching compiler (commit: 2e82c0e) — gabriel.scherer / githubweb
PowerPC, System Z: do not reset backtrace_pos in caml_raise_exception (#9428) (commit: d235f16) — noreply / githubweb
Fix documentation comment for struct large_free_block (#9399) (commit: 61a2be4) — noreply / githubweb
extern.c: make sure extern_free_stack() is always called on an exception (commit: 4d11d1d) — xavier.leroy / githubweb
caml_output_value_to_malloc: revise freeing of output buffer (commit: 13fbd2a) — xavier.leroy / githubweb
Update Changes (commit: 3d4564c) — xavier.leroy / githubweb
In `{expr with ...}`, always evaluate `expr` even if all labels are redefined (#9432) (commit: d67c704) — noreply / githubweb
configure for mingw: GCC optimization options (commit: 743ca1b) — xavier.leroy / githubweb
configure: add GCC option -fexcess-precision=standard (commit: c5afa93) — xavier.leroy / githubweb
configure: quote [] inside cases of AS_CASE construct (commit: 797698d) — xavier.leroy / githubweb
configure: use m4_normalize to reformat long messages (commit: e35babe) — xavier.leroy / githubweb
Update Changes for PR#9426 (commit: 286d4d6) — xavier.leroy / githubweb
Add riscv64 backend (commit: a208886) — n.oje.bar / githubweb