{ "_class" : "hudson.matrix.MatrixRun", "actions" : [ { }, { "_class" : "hudson.model.CauseAction", "causes" : [ { "_class" : "hudson.model.Cause$UpstreamCause", "shortDescription" : "Started by upstream project \"slow-machines\" build number 1,988", "upstreamBuild" : 1988, "upstreamProject" : "slow-machines", "upstreamUrl" : "job/slow-machines/" } ] }, { }, { "_class" : "hudson.plugins.git.util.BuildData", "buildsByBranchName" : { "origin/trunk" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1988, "buildResult" : None, "marked" : { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "branch" : [ { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "name" : "origin/trunk" } ] }, "revision" : { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "branch" : [ { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "name" : "origin/trunk" } ] } }, "origin/4.14" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1938, "buildResult" : None, "marked" : { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "branch" : [ { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "name" : "origin/4.14" } ] }, "revision" : { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "branch" : [ { "SHA1" : "8899c05cfc9027e74dfe88c71cc78bac5102e771", "name" : "origin/4.14" } ] } }, "origin/5.3" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1940, "buildResult" : None, "marked" : { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "branch" : [ { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "name" : "origin/5.3" } ] }, "revision" : { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "branch" : [ { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "name" : "origin/5.3" } ] } } }, "lastBuiltRevision" : { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "branch" : [ { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "name" : "origin/trunk" } ] }, "remoteUrls" : [ "https://github.com/ocaml/ocaml" ], "scmName" : "" }, { }, { }, { }, { }, { }, { "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction" } ], "artifacts" : [ ], "building" : False, "description" : None, "displayName" : "ocaml-cygwin-64", "duration" : 7545392, "estimatedDuration" : 7001060, "executor" : None, "fullDisplayName" : "slow-machines » ocaml-cygwin-64 ocaml-cygwin-64", "id" : "1988", "inProgress" : False, "keepLog" : False, "number" : 1988, "queueId" : 23514, "result" : "FAILURE", "timestamp" : 1756111268320, "url" : "https://ci.inria.fr/ocaml/job/slow-machines/label=ocaml-cygwin-64/1988/", "builtOn" : "ocaml-cygwin-64", "changeSet" : { "_class" : "hudson.plugins.git.GitChangeSetList", "items" : [ { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/minor_gc.c" ], "commitId" : "0c50c0f6fdb21b7dae9bdd0c233568b505dd80b0", "timestamp" : 1704372099000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mshinwell", "fullName" : "mshinwell" }, "authorEmail" : "mshinwell@pm.me", "comment" : "Ensure the minor heap is actually empty before reallocating it\u000a\u000a(cherry picked from flambda-backend commit 85a505610bb3b1900d05347651435b323620f48b)\u000a(cherry picked from flambda-backend commit 3583cc128279820f5861b27fb58b095861fc8725)\u000a", "date" : "2024-01-04 12:41:39 +0000", "id" : "0c50c0f6fdb21b7dae9bdd0c233568b505dd80b0", "msg" : "Ensure the minor heap is actually empty before reallocating it", "paths" : [ { "editType" : "edit", "file" : "runtime/minor_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "runtime/io.c", "testsuite/tests/lib-channels/close_during_flush.reference", "testsuite/tests/lib-channels/close_during_flush.ml" ], "commitId" : "fe89cb9ace6789a09dde59153185929442db658c", "timestamp" : 1750252008000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sdolan", "fullName" : "sdolan" }, "authorEmail" : "sdolan@janestreet.com", "comment" : "Avoid an error when a channel is flushed during close\u000a", "date" : "2025-06-18 14:06:48 +0100", "id" : "fe89cb9ace6789a09dde59153185929442db658c", "msg" : "Avoid an error when a channel is flushed during close", "paths" : [ { "editType" : "edit", "file" : "runtime/io.c" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "add", "file" : "testsuite/tests/lib-channels/close_during_flush.ml" }, { "editType" : "add", "file" : "testsuite/tests/lib-channels/close_during_flush.reference" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/io.c", "Changes", "testsuite/tests/lib-channels/close_during_flush.ml" ], "commitId" : "2a78eb437647a1a8d9dcd6639121f6db0313b481", "timestamp" : 1750261924000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sdolan", "fullName" : "sdolan" }, "authorEmail" : "sdolan@janestreet.com", "comment" : "review\u000a", "date" : "2025-06-18 16:52:04 +0100", "id" : "2a78eb437647a1a8d9dcd6639121f6db0313b481", "msg" : "review", "paths" : [ { "editType" : "edit", "file" : "runtime/io.c" }, { "editType" : "edit", "file" : "testsuite/tests/lib-channels/close_during_flush.ml" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "4b7b06d940e89c14ba12ba935134c8202bf8c0be", "timestamp" : 1750968218000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "use No_scan_tag and NOT_MARKABLE to indicate free block\u000a", "date" : "2025-06-26 21:03:38 +0100", "id" : "4b7b06d940e89c14ba12ba935134c8202bf8c0be", "msg" : "use No_scan_tag and NOT_MARKABLE to indicate free block", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/major_gc.c", "runtime/shared_heap.c" ], "commitId" : "c1a457ffe187cae4debca7a2b2f9db5e66be8461", "timestamp" : 1750968385000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "change shared pools heap representation to indicate contiguous free ranges\u000aupdate sweep and shared heap allocation to use this\u000a", "date" : "2025-06-26 21:06:25 +0100", "id" : "c1a457ffe187cae4debca7a2b2f9db5e66be8461", "msg" : "change shared pools heap representation to indicate contiguous free ranges", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" }, { "editType" : "edit", "file" : "runtime/major_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "634f0fa19cd6398df6f8ff9b80613a61f0f1b05f", "timestamp" : 1750968388000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "add prefetching\u000a", "date" : "2025-06-26 21:06:28 +0100", "id" : "634f0fa19cd6398df6f8ff9b80613a61f0f1b05f", "msg" : "add prefetching", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "d443e61a41b26f1e92d86b845d1b6b8bb9831395", "timestamp" : 1750968446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "add Changes\u000a", "date" : "2025-06-26 21:07:26 +0100", "id" : "d443e61a41b26f1e92d86b845d1b6b8bb9831395", "msg" : "add Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "85436a95e692b0c58f7bd9d31ebdffcc1caaad65", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "actually prefetch a page ahead\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "85436a95e692b0c58f7bd9d31ebdffcc1caaad65", "msg" : "actually prefetch a page ahead", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/major_gc.c", "runtime/shared_heap.c" ], "commitId" : "066cf23736bd006590c6262bb7ef3467e69691a0", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "restore split asserts\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "066cf23736bd006590c6262bb7ef3467e69691a0", "msg" : "restore split asserts", "paths" : [ { "editType" : "edit", "file" : "runtime/major_gc.c" }, { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "395cc3311c1fe6f7f0775264054baa5a5aba3dc4", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "clarify comment in verify_pool\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "395cc3311c1fe6f7f0775264054baa5a5aba3dc4", "msg" : "clarify comment in verify_pool", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "868adceb0630e6e94a941d4cd85407a1bf378f99", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "fix bug in compaction\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "868adceb0630e6e94a941d4cd85407a1bf378f99", "msg" : "fix bug in compaction", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "32fec020f8f47ce737a7def9f3dd07daa076488c", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "write Debug_free_major in to newly initialised pools\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "32fec020f8f47ce737a7def9f3dd07daa076488c", "msg" : "write Debug_free_major in to newly initialised pools", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "aa2a6e991cc6174cb3512fe45ffc17d78c51d1c4", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "fix bug in pool_finalise\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "aa2a6e991cc6174cb3512fe45ffc17d78c51d1c4", "msg" : "fix bug in pool_finalise", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "6f4c921029c246b07f734e85d3025b115216fac4", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "simplify macro\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "6f4c921029c246b07f734e85d3025b115216fac4", "msg" : "simplify macro", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "40ac8974421510aba2aeff9550b4e319f5ebf211", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "Update runtime/shared_heap.c\u000a\u000aCo-authored-by: Damien Doligez \u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "40ac8974421510aba2aeff9550b4e319f5ebf211", "msg" : "Update runtime/shared_heap.c", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "4f6ad7ab4db475edc62a7456b0db4e84c335fdd3", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "Update runtime/shared_heap.c\u000a\u000aCo-authored-by: Damien Doligez \u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "4f6ad7ab4db475edc62a7456b0db4e84c335fdd3", "msg" : "Update runtime/shared_heap.c", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "0beada7047b1ba547a5cafdd2f8a82f5a2486fef", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "restore atomic header read\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "0beada7047b1ba547a5cafdd2f8a82f5a2486fef", "msg" : "restore atomic header read", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "a968da8280c5a684663069ebca3763f219b00b5b", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "make note about GC pacing logic\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "a968da8280c5a684663069ebca3763f219b00b5b", "msg" : "make note about GC pacing logic", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "7ee99a65f3ae60b5edb430257fd707e4418ce23d", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "Update runtime/shared_heap.c\u000a\u000aCo-authored-by: Damien Doligez \u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "7ee99a65f3ae60b5edb430257fd707e4418ce23d", "msg" : "Update runtime/shared_heap.c", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "0de6b327f43e3eecd0c6d3580c1f7cca0c9bd4e0", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "wh -> Whsize_hd\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "0de6b327f43e3eecd0c6d3580c1f7cca0c9bd4e0", "msg" : "wh -> Whsize_hd", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "8954ebc5bc8931dc7d571eefbbb2c4990a15d2f6", "timestamp" : 1750968448000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "always update the pointer in the last free block\u000a", "date" : "2025-06-26 21:07:28 +0100", "id" : "8954ebc5bc8931dc7d571eefbbb2c4990a15d2f6", "msg" : "always update the pointer in the last free block", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "9ee312af447a65295414381edc08c6c4dba56815", "timestamp" : 1750969456000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "revert all_used annotation\u000a", "date" : "2025-06-26 21:24:16 +0100", "id" : "9ee312af447a65295414381edc08c6c4dba56815", "msg" : "revert all_used annotation", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/ctype.ml" ], "commitId" : "2accc32526d778906d4c372ae270fb0cabea6de4", "timestamp" : 1751015014000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, "authorEmail" : "samuel.aime.vivien@free.fr", "comment" : "Replaced normalize_package_path by Env.normalize_modtype_path\u000a", "date" : "2025-06-27 11:03:34 +0200", "id" : "2accc32526d778906d4c372ae270fb0cabea6de4", "msg" : "Replaced normalize_package_path by Env.normalize_modtype_path", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/Makefile" ], "commitId" : "8fe6f7addd78da00cf979f415f6b13f548e1ff2a", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Typo in stdlib/Makefile\u000a\u000aAffects forced recompilation of runtime-launch-info\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "8fe6f7addd78da00cf979f415f6b13f548e1ff2a", "msg" : "Typo in stdlib/Makefile", "paths" : [ { "editType" : "edit", "file" : "stdlib/Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c", "stdlib/Makefile" ], "commitId" : "fc3294370566b4a0f749addd6b9be7cd2b19a7e0", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Reduce tmpheader.exe to 4-5KiB on Windows\u000a\u000astdlib/headernt.c was adapted in OCaml 3.00 to reduce its size by\u000aavoiding the use of the CRT and using Windows API functions directly\u000a(this is a well-studied trick on Windows, principally as a puzzle for\u000aproducing tiny binaries).\u000a\u000aThis got \"regressed\" slightly in OCaml 4.06, in the complex introduction\u000aof wide character support for Windows, as the mingw-w64 incantation\u000arequired was unclear, so the entry point was changed to wmain, and the\u000asize of the header increased.\u000a\u000aBy switching from wcslen (a CRT function) to lstrlen (a Win32 API\u000afunction), headernt.c again only requires kernel32.dll.\u000a\u000aAdditional flags are added for both ld (mingw-w64) and link (MSVC) to\u000asqueeze every last byte out of tmpheader.exe. The MSVC version of the\u000aheader is once again no longer passed through strip, as this was found\u000ato be corrupting the executable (and had never been reducing its size\u000aanyway).\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "fc3294370566b4a0f749addd6b9be7cd2b19a7e0", "msg" : "Reduce tmpheader.exe to 4-5KiB on Windows", "paths" : [ { "editType" : "edit", "file" : "stdlib/Makefile" }, { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c" ], "commitId" : "776b993861f3b46bfb3d847e4abcd2fed9041321", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Stop using Caml_inline and CAMLnoret in headernt.c\u000a\u000aModern C compilers are sufficiently intelligent not to need the inlining\u000ahints!\u000a\u000aInline the definition from caml/misc.h for CAMLnoret.\u000a\u000aCo-authored-by: Antonin Décimo \u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "776b993861f3b46bfb3d847e4abcd2fed9041321", "msg" : "Stop using Caml_inline and CAMLnoret in headernt.c", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "558c630b234bf6c9da5180cdda6945b91ff6c937", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Remove unnecessary guards around unistd.h\u000a\u000aAlready updated to remove the actual test in s.h, since XPG1 (1985)\u000arequired it and it is therefore part of the Single Unix\u000aSpecification (1992), but the _WIN32 guard and the loading of s.h are\u000aunnecessary.\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "558c630b234bf6c9da5180cdda6945b91ff6c937", "msg" : "Remove unnecessary guards around unistd.h", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "8769fb2ec80c96fa39b0da4abc504d8cfd91f7f5", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Use PATH_MAX instead of MAXPATHLEN\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "8769fb2ec80c96fa39b0da4abc504d8cfd91f7f5", "msg" : "Use PATH_MAX instead of MAXPATHLEN", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "a9be17f2dfd1c38c2dfa1921e363a501090a04e3", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Assume S_ISREG and SEEK_END\u000a\u000aDefined in sys/stat.h and unistd.h respectively by the Single Unix\u000aSpecification.\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "a9be17f2dfd1c38c2dfa1921e363a501090a04e3", "msg" : "Assume S_ISREG and SEEK_END", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "832ccfbc3fb9233262c7f6c1824c0ac508cd802c", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Move O_BINARY definition to \"header\" section\u000a\u000aO_BINARY is added for maximum Cygwin compatibility, but it's not a Posix\u000aflag.\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "832ccfbc3fb9233262c7f6c1824c0ac508cd802c", "msg" : "Move O_BINARY definition to \"header\" section", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/caml/exec.h.in", "stdlib/headernt.c", "stdlib/header.c" ], "commitId" : "619036af5a1280a347441f586ac8de617b83c977", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Make caml/exec.h independent\u000a\u000aHave exec.h include itself. The bytecode executable header\u000anow only depends on exec.h.\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "619036af5a1280a347441f586ac8de617b83c977", "msg" : "Make caml/exec.h independent", "paths" : [ { "editType" : "edit", "file" : "runtime/caml/exec.h.in" }, { "editType" : "edit", "file" : "stdlib/header.c" }, { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c", "stdlib/header.c" ], "commitId" : "a42453ab2d8797c1148633cedd48b9a78f3cf6fd", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Re-order some header functions (no-op)\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "a42453ab2d8797c1148633cedd48b9a78f3cf6fd", "msg" : "Re-order some header functions (no-op)", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" }, { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c" ], "commitId" : "b07835920b4af4d8800c3bcbc18ffbb7f797f2fe", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Share error path in headernt.c\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "b07835920b4af4d8800c3bcbc18ffbb7f797f2fe", "msg" : "Share error path in headernt.c", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c", "stdlib/header.c" ], "commitId" : "1aa27b63c7ed125fd2bda1e6e09d73eef838cb08", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Unify implementation of read_size\u000a\u000aModernisations applied in headernt.c but not applied to header.c - use\u000auint32_t rather than unsigned long\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "1aa27b63c7ed125fd2bda1e6e09d73eef838cb08", "msg" : "Unify implementation of read_size", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" }, { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c" ], "commitId" : "9dbf642346df24f14d8cd6eaa192b9e84c1c78f7", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "headernt.c: inline run_runtime into main\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "9dbf642346df24f14d8cd6eaa192b9e84c1c78f7", "msg" : "headernt.c: inline run_runtime into main", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "2f8e23f2443f90b60b7b2d49fdd90a7dad6e7f07", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Check for errors from lseek in header.c\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "2f8e23f2443f90b60b7b2d49fdd90a7dad6e7f07", "msg" : "Check for errors from lseek in header.c", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c", "stdlib/header.c" ], "commitId" : "dc12795c9945a2599e86ad9da2da846a0890fbc8", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Refactor error display code\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "dc12795c9945a2599e86ad9da2da846a0890fbc8", "msg" : "Refactor error display code", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" }, { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "c25d75cf42a21a8a0a385d6e7b94da4c2c545d2e", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "header.c: close bytecode image before exec\u000a\u000aLeaking fd\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "c25d75cf42a21a8a0a385d6e7b94da4c2c545d2e", "msg" : "header.c: close bytecode image before exec", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/header.c" ], "commitId" : "9996acb4b0551f9758b9ac939aa4f74666a4ea3a", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Use execvp in header.c (as in headernt.c)\u000a\u000aBrings the behaviour of the two headers into line with each other - if\u000aRNTM is ocamlrun on Unix, ocamlrun will now be sought in PATH.\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "9996acb4b0551f9758b9ac939aa4f74666a4ea3a", "msg" : "Use execvp in header.c (as in headernt.c)", "paths" : [ { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c" ], "commitId" : "8fb3bc35de96ddd1f22b7f58c7276046688510d8", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "headernt: make read_runtime_path more CRTish\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "8fb3bc35de96ddd1f22b7f58c7276046688510d8", "msg" : "headernt: make read_runtime_path more CRTish", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c" ], "commitId" : "725c900b81d9e8feb787ab481f4958d5337e179e", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Missing error case in headernt.c\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "725c900b81d9e8feb787ab481f4958d5337e179e", "msg" : "Missing error case in headernt.c", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/headernt.c", "stdlib/header.c" ], "commitId" : "9b35c8d9069a861f81d2817adbc48cb95a741f9c", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Unify the common parts of header.c and headernt.c\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "9b35c8d9069a861f81d2817adbc48cb95a741f9c", "msg" : "Unify the common parts of header.c and headernt.c", "paths" : [ { "editType" : "edit", "file" : "stdlib/headernt.c" }, { "editType" : "edit", "file" : "stdlib/header.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/in_prefix/README.md", "stdlib/headernt.c", "testsuite/tools/testLinkModes.ml", "stdlib/header.c", "stdlib/Makefile" ], "commitId" : "93b7ff9a158300c306c680a47930726b065467c0", "timestamp" : 1751031601000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Merge stdlib/header{,nt}.c\u000a", "date" : "2025-06-27 14:40:01 +0100", "id" : "93b7ff9a158300c306c680a47930726b065467c0", "msg" : "Merge stdlib/header{,nt}.c", "paths" : [ { "editType" : "edit", "file" : "testsuite/in_prefix/README.md" }, { "editType" : "delete", "file" : "stdlib/headernt.c" }, { "editType" : "edit", "file" : "testsuite/tools/testLinkModes.ml" }, { "editType" : "edit", "file" : "stdlib/header.c" }, { "editType" : "edit", "file" : "stdlib/Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "testsuite/tests/typing-misc/apply_non_function.ml" ], "commitId" : "bb465f5e7065330098e6b2c17cb775350840ac37", "timestamp" : 1751038908000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "error messages: typo, missing inline code\u000a", "date" : "2025-06-27 17:41:48 +0200", "id" : "bb465f5e7065330098e6b2c17cb775350840ac37", "msg" : "error messages: typo, missing inline code", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-misc/apply_non_function.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "c2370a9f58a3e48f1c4604cacdde743ae9b218bb", "timestamp" : 1751055137000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "#14093 was backported\u000a", "date" : "2025-06-27 22:12:17 +0200", "id" : "c2370a9f58a3e48f1c4604cacdde743ae9b218bb", "msg" : "#14093 was backported", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "configure.ac", "configure" ], "commitId" : "1f472554ef302780065885e0b7f221c867c8be11", "timestamp" : 1751125343000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Fix use of time_t on i686 mingw-w64 (#14114)\u000a\u000amingw-w64 32-bit requires an extra define to adopt the \"modern\" Visual\u000aStudio 2005 switch to 64-bit time.\u000a", "date" : "2025-06-28 17:42:23 +0200", "id" : "1f472554ef302780065885e0b7f221c867c8be11", "msg" : "Fix use of time_t on i686 mingw-w64 (#14114)", "paths" : [ { "editType" : "edit", "file" : "configure.ac" }, { "editType" : "edit", "file" : "configure" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/lib-channels/close_during_flush.ml" ], "commitId" : "d7af01eec1f8ff8cdd3b0b375f6ba9a0dc55f8e4", "timestamp" : 1751291784000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Increase the amount of data written to a pipe in a test (#14116)\u000a\u000aOn some OSes, you need to write more than 1MB of data to a pipe\u000abefore writes block, and read more than 64k to unblock them.\u000a", "date" : "2025-06-30 15:56:24 +0200", "id" : "d7af01eec1f8ff8cdd3b0b375f6ba9a0dc55f8e4", "msg" : "Increase the amount of data written to a pipe in a test (#14116)", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/lib-channels/close_during_flush.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-modules/merge_constraint.ml" ], "commitId" : "9936c99820f4d4aa53a7eb3ee1e99bfdd4f0d340", "timestamp" : 1751306094000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/rtjoa", "fullName" : "rtjoa" }, "authorEmail" : "rtjoa@janestreet.com", "comment" : "Add regression test\u000a", "date" : "2025-06-30 13:54:54 -0400", "id" : "9936c99820f4d4aa53a7eb3ee1e99bfdd4f0d340", "msg" : "Add regression test", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-modules/merge_constraint.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typemod.ml", "testsuite/tests/typing-modules/merge_constraint.ml" ], "commitId" : "fd56f1f4c7f850a25b3606e588b2579b9ec234a0", "timestamp" : 1751307759000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/rtjoa", "fullName" : "rtjoa" }, "authorEmail" : "rtjoa@janestreet.com", "comment" : "Fix non-destructive `with type` with type constraints\u000a", "date" : "2025-06-30 14:22:39 -0400", "id" : "fd56f1f4c7f850a25b3606e588b2579b9ec234a0", "msg" : "Fix non-destructive `with type` with type constraints", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-modules/merge_constraint.ml" }, { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-modules/merge_constraint.ml" ], "commitId" : "2204b3dd03ebd6612be9fc1e4bc4b2c0623d32e0", "timestamp" : 1751380340000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/rtjoa", "fullName" : "rtjoa" }, "authorEmail" : "rtjoa@janestreet.com", "comment" : "Add with type constraint testing\u000a", "date" : "2025-07-01 10:32:20 -0400", "id" : "2204b3dd03ebd6612be9fc1e4bc4b2c0623d32e0", "msg" : "Add with type constraint testing", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-modules/merge_constraint.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "0f0233ee12656203ae405d4100ea8a09857c3bc3", "timestamp" : 1751380350000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/rtjoa", "fullName" : "rtjoa" }, "authorEmail" : "rtjoa@janestreet.com", "comment" : "Update changelog\u000a", "date" : "2025-07-01 10:32:30 -0400", "id" : "0f0233ee12656203ae405d4100ea8a09857c3bc3", "msg" : "Update changelog", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "stdlib/set.ml", "testsuite/tests/shapes/comp_units.ml", "testsuite/tests/generalized-open/accepted_expect.ml", "stdlib/templates/set.template.mli", "testsuite/tests/typing-short-paths/short-paths.compilers.reference", "stdlib/templates/map.template.mli", "stdlib/set.mli", "testsuite/tests/typing-implicit_unpack/implicit_unpack.ml", "testsuite/tests/typing-modules/pr7818.ml", "testsuite/tests/typing-modules/aliases.ml", "stdlib/map.mli", "stdlib/moreLabels.mli", "stdlib/map.ml" ], "commitId" : "01ebbbd3d1b99cacf368345a8989136f8b38f0b2", "timestamp" : 1751381823000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Add {Set,Map}.S.is_singleton (#14118)\u000a\u000a", "date" : "2025-07-01 16:57:03 +0200", "id" : "01ebbbd3d1b99cacf368345a8989136f8b38f0b2", "msg" : "Add {Set,Map}.S.is_singleton (#14118)", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/aliases.ml" }, { "editType" : "edit", "file" : "stdlib/set.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7818.ml" }, { "editType" : "edit", "file" : "testsuite/tests/shapes/comp_units.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-implicit_unpack/implicit_unpack.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-short-paths/short-paths.compilers.reference" }, { "editType" : "edit", "file" : "stdlib/set.mli" }, { "editType" : "edit", "file" : "stdlib/templates/map.template.mli" }, { "editType" : "edit", "file" : "stdlib/map.ml" }, { "editType" : "edit", "file" : "stdlib/moreLabels.mli" }, { "editType" : "edit", "file" : "stdlib/templates/set.template.mli" }, { "editType" : "edit", "file" : "testsuite/tests/generalized-open/accepted_expect.ml" }, { "editType" : "edit", "file" : "stdlib/map.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "stdlib/list.mli", "stdlib/list.ml", "testsuite/tests/lib-list/test.ml", "stdlib/listLabels.mli" ], "commitId" : "6b59d66182bc54d24bef3ec6b901cb512fdea6b6", "timestamp" : 1751461659000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Make List.{take,drop} total (#14124)\u000a\u000a", "date" : "2025-07-02 15:07:39 +0200", "id" : "6b59d66182bc54d24bef3ec6b901cb512fdea6b6", "msg" : "Make List.{take,drop} total (#14124)", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/lib-list/test.ml" }, { "editType" : "edit", "file" : "stdlib/listLabels.mli" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "stdlib/list.ml" }, { "editType" : "edit", "file" : "stdlib/list.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/char.mli" ], "commitId" : "c061359af8c249a4a5b3242cdc5524004492749c", "timestamp" : 1751464803000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "document that char compare uses ASCII order (#14090)\u000a\u000aCo-authored-by: Nicolás Ojeda Bär \u000a", "date" : "2025-07-02 16:00:03 +0200", "id" : "c061359af8c249a4a5b3242cdc5524004492749c", "msg" : "document that char compare uses ASCII order (#14090)", "paths" : [ { "editType" : "edit", "file" : "stdlib/char.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-recmod/regression_destructive_subst.ml", "typing/typemod.ml" ], "commitId" : "4a034852ad619b353f2fade2822f875e583545b6", "timestamp" : 1751484437000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Add the approx flag to merging of module constraints\u000a\u000a- While module types constraints were using the [approx] flag to disable\u000aequivalence checking when merging, module constraints were only checked for\u000acyclicity. Now, both use the same logic: the constraints is approximated and\u000athen merged in approx mode, where no equivalence check is done. It computes a\u000abetter skeleton for the approximated signature, as the destructive substitutions\u000aare correctly removing the fields.\u000a\u000a- Add tests borrowed (and adapted) from\u000ahttps://github.com/oxcaml/oxcaml/pull/4121\u000a\u000a- This commit changes the [lookup_module_path ~load:false] for [lookup_module],\u000awhere the load flag is not set to false. I should not have much impact for\u000awell-typed programs, as the loading would happen after the approximation phase\u000aanyway.\u000a", "date" : "2025-07-02 21:27:17 +0200", "id" : "4a034852ad619b353f2fade2822f875e583545b6", "msg" : "Add the approx flag to merging of module constraints", "paths" : [ { "editType" : "add", "file" : "testsuite/tests/typing-recmod/regression_destructive_subst.ml" }, { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typemod.ml" ], "commitId" : "971d0b59c732bd6778b79f10b3f62e5e0ebe4d67", "timestamp" : 1751484437000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Add a [merge_type_approx] for approximation of type constraints\u000a\u000aThis commit introduces a new function to specifically deal with merging type\u000aconstraints in approximation mode:\u000a- destructive constraints actually remove the constrained field, to prevent\u000aincorrect approximation (specifically, incorrect shadowing)\u000a- non-destructive constraints are treated as an identity patch, where the\u000aconstrained field is replaced by itself. This allows us to reuse the normal\u000amerging infrastructure and fail early in case of ill-formed constraints where\u000athe field is not present (other forms of ill-formedness are caught later)\u000a\u000aThe [post_process] function is made aware of the approximation flag to disable\u000awellformedness checks\u000a", "date" : "2025-07-02 21:27:17 +0200", "id" : "971d0b59c732bd6778b79f10b3f62e5e0ebe4d67", "msg" : "Add a [merge_type_approx] for approximation of type constraints", "paths" : [ { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-modules/merge_constraint.ml" ], "commitId" : "9f6407a56d0c5c837b7b502107b937b54554981b", "timestamp" : 1751484566000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Add tests for module and type constraints during approximation\u000a", "date" : "2025-07-02 21:29:26 +0200", "id" : "9f6407a56d0c5c837b7b502107b937b54554981b", "msg" : "Add tests for module and type constraints during approximation", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-modules/merge_constraint.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "dac4d3401da1b0020fff64d932a2995343201967", "timestamp" : 1751484569000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Update Changelog\u000a", "date" : "2025-07-02 21:29:29 +0200", "id" : "dac4d3401da1b0020fff64d932a2995343201967", "msg" : "Update Changelog", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-modules/merge_constraint.ml" ], "commitId" : "74d169331120a74c9e2a76eb80d7c9a42a293201", "timestamp" : 1751484569000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Add another test for destructive type constraints approximation\u000a", "date" : "2025-07-02 21:29:29 +0200", "id" : "74d169331120a74c9e2a76eb80d7c9a42a293201", "msg" : "Add another test for destructive type constraints approximation", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-modules/merge_constraint.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "typing/typemod.ml", "testsuite/tests/typing-modules/merge_constraint.ml" ], "commitId" : "3114cddc8b4bdd717aa98f0fd0a6a4fc7fdb09b8", "timestamp" : 1751484569000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Address review comments on #14100\u000a\u000a- Factor out computation of the [destructive] flag for constraints between\u000amerging in normal and approximation modes\u000a\u000a- Fix typos in test descriptions\u000a\u000a- Add test that ghost items are not affected by constraints\u000a\u000a- Update Changelog\u000a", "date" : "2025-07-02 21:29:29 +0200", "id" : "3114cddc8b4bdd717aa98f0fd0a6a4fc7fdb09b8", "msg" : "Address review comments on #14100", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "typing/typemod.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/merge_constraint.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "511b6a45bb95d147603765eb65ae04f7807dffce", "timestamp" : 1751553596000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Update Changelog\u000a", "date" : "2025-07-03 16:39:56 +0200", "id" : "511b6a45bb95d147603765eb65ae04f7807dffce", "msg" : "Update Changelog", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typemod.ml" ], "commitId" : "f9025a6d8644b69ccef173847a3d662210a023c4", "timestamp" : 1751621004000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Refactor post_process of signature merging\u000a\u000aThe [post_process] function for signature merging was taking two linked\u000aarguments: a [~destructive] flag and a [replace] function to apply only if the\u000aflag was set to [true]. This commit combines the two into a single optional\u000afunction [replace] and clarifies some documentation comments.\u000a", "date" : "2025-07-04 11:23:24 +0200", "id" : "f9025a6d8644b69ccef173847a3d662210a023c4", "msg" : "Refactor post_process of signature merging", "paths" : [ { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "typing/typemod.ml" ], "commitId" : "706823f870d9efa6038e1d182553ae20345d7448", "timestamp" : 1751637836000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Update comment and Changelog\u000a", "date" : "2025-07-04 16:03:56 +0200", "id" : "706823f870d9efa6038e1d182553ae20345d7448", "msg" : "Update comment and Changelog", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typemod.ml" ], "commitId" : "b7a020fb50e677e793ddf50c74bf8e98611dbfae", "timestamp" : 1751638610000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Address review comments\u000a\u000a- Invert destructive and non-destructive cases\u000a- Move the error inside the computation of the replace function\u000a", "date" : "2025-07-04 16:16:50 +0200", "id" : "b7a020fb50e677e793ddf50c74bf8e98611dbfae", "msg" : "Address review comments", "paths" : [ { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/float.mli", "stdlib/stdlib.mli", "stdlib/templates/float.template.mli" ], "commitId" : "dc7baf3cd1e821a8a10be7ccb12346f18ee764df", "timestamp" : 1751696335000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Missing case in {Stdlib,Float}.frexp documentation (#14128)\u000a\u000a", "date" : "2025-07-05 08:18:55 +0200", "id" : "dc7baf3cd1e821a8a10be7ccb12346f18ee764df", "msg" : "Missing case in {Stdlib,Float}.frexp documentation (#14128)", "paths" : [ { "editType" : "edit", "file" : "stdlib/stdlib.mli" }, { "editType" : "edit", "file" : "stdlib/float.mli" }, { "editType" : "edit", "file" : "stdlib/templates/float.template.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "configure.ac", "runtime/riscv.S", "configure", "runtime/arm64.S", "asmcomp/thread_sanitizer.ml", "runtime/tsan.c", "runtime/s390x.S", "runtime/amd64.S", "runtime/power.S", "runtime/memory.c", "runtime/caml/s.h.in", "runtime/caml/tsan.h" ], "commitId" : "bea10971d2ae2b4f7276830371528c3fd36ba301", "timestamp" : 1751877569000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082)\u000a\u000a* Added checks to ensure __tsan_* internal builtins are as we expect them to be and introduced wrappers for them and updated configure\u000a\u000a* Changes to .S files reflecting the fact that we use caml_tsan_* in favour of __tsan_*\u000a\u000a---------\u000a\u000aSigned-off-by: HHN \u000aCo-authored-by: Antonin Décimo \u000a", "date" : "2025-07-07 10:39:29 +0200", "id" : "bea10971d2ae2b4f7276830371528c3fd36ba301", "msg" : "Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082)", "paths" : [ { "editType" : "edit", "file" : "configure" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "runtime/s390x.S" }, { "editType" : "edit", "file" : "runtime/arm64.S" }, { "editType" : "edit", "file" : "runtime/power.S" }, { "editType" : "edit", "file" : "runtime/caml/tsan.h" }, { "editType" : "edit", "file" : "asmcomp/thread_sanitizer.ml" }, { "editType" : "edit", "file" : "runtime/memory.c" }, { "editType" : "edit", "file" : "runtime/tsan.c" }, { "editType" : "edit", "file" : "runtime/riscv.S" }, { "editType" : "edit", "file" : "configure.ac" }, { "editType" : "edit", "file" : "runtime/caml/s.h.in" }, { "editType" : "edit", "file" : "runtime/amd64.S" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typemod.ml" ], "commitId" : "a4a7be5ce4387cc91d9d30335c14d2be4d6921e8", "timestamp" : 1751991115000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, "authorEmail" : "clement.blaudeau@gmail.com", "comment" : "Update comment\u000a", "date" : "2025-07-08 18:11:55 +0200", "id" : "a4a7be5ce4387cc91d9d30335c14d2be4d6921e8", "msg" : "Update comment", "paths" : [ { "editType" : "edit", "file" : "typing/typemod.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "lambda/matching.ml" ], "commitId" : "dce8e77e7d90a33ae975b62cce20013b81d7c4f5", "timestamp" : 1752073327000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "matching: fix some non-deterministic code generation (#14091)\u000a\u000afixes #14088\u000a", "date" : "2025-07-09 17:02:07 +0200", "id" : "dce8e77e7d90a33ae975b62cce20013b81d7c4f5", "msg" : "matching: fix some non-deterministic code generation (#14091)", "paths" : [ { "editType" : "edit", "file" : "lambda/matching.ml" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "middle_end/flambda/freshening.ml", "middle_end/flambda/flambda_to_clambda.ml", "middle_end/flambda/flambda_utils.ml", "middle_end/flambda/inline_and_simplify.ml", "middle_end/flambda/augment_specialised_args.ml", "middle_end/flambda/ref_to_variables.ml" ], "commitId" : "c064ea2694b661065a7388174431ee3dcc3c0c0d", "timestamp" : 1752123392000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119)\u000a\u000a", "date" : "2025-07-10 06:56:32 +0200", "id" : "c064ea2694b661065a7388174431ee3dcc3c0c0d", "msg" : "Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119)", "paths" : [ { "editType" : "edit", "file" : "middle_end/flambda/flambda_utils.ml" }, { "editType" : "edit", "file" : "middle_end/flambda/augment_specialised_args.ml" }, { "editType" : "edit", "file" : "middle_end/flambda/flambda_to_clambda.ml" }, { "editType" : "edit", "file" : "middle_end/flambda/ref_to_variables.ml" }, { "editType" : "edit", "file" : "middle_end/flambda/inline_and_simplify.ml" }, { "editType" : "edit", "file" : "middle_end/flambda/freshening.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/ctype.ml", "Changes", "testsuite/tests/typing-gadts/pr10189.ml" ], "commitId" : "fa858d9d631782d95d7d5a9c5abe595e8ea506a6", "timestamp" : 1752151726000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "typechecker: fix an internal error due to wrong exception\u000a\u000a`Ctype.mcomp` was raising an errortrace when two types were incompatible\u000ain two rare cases, whereas the function was specified to raise the\u000a`Incompatible` exception. This was fine for internal uses of `mcomp`\u000awithin `Ctype`, because call to `mcomp` went through `mcomp_for` that\u000atransformed the `Incompatible` exception into an errortrace. However,\u000athis leads to internal errors for others use of `Ctype.mcomp` that were\u000aonly expecting an `Incompatible` exception and not an errortrace.\u000a\u000aThis simple fix replaces the two raises of errortrace by a raise of\u000a`Incompatible`.\u000a", "date" : "2025-07-10 14:48:46 +0200", "id" : "fa858d9d631782d95d7d5a9c5abe595e8ea506a6", "msg" : "typechecker: fix an internal error due to wrong exception", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr10189.ml" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "runtime/caml/camlatomic.h", "runtime/caml/misc.h" ], "commitId" : "2105aac83f498e73e365c8e813a41ac54b232789", "timestamp" : 1752562445000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "cpp support: move basic type definitions to misc\u000a", "date" : "2025-07-15 08:54:05 +0200", "id" : "2105aac83f498e73e365c8e813a41ac54b232789", "msg" : "cpp support: move basic type definitions to misc", "paths" : [ { "editType" : "edit", "file" : "runtime/caml/camlatomic.h" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "runtime/caml/misc.h" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/errortrace_report.ml" ], "commitId" : "b2aa0faf744c1beca4a9b2b9e873a651296cf935", "timestamp" : 1752654404000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] indentation fix in errortrace_report\u000a", "date" : "2025-07-16 10:26:44 +0200", "id" : "b2aa0faf744c1beca4a9b2b9e873a651296cf935", "msg" : "[minor] indentation fix in errortrace_report", "paths" : [ { "editType" : "edit", "file" : "typing/errortrace_report.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "typing/typedecl.ml", "typing/typedecl.mli", "testsuite/tests/typing-external/non_syntactic_arity.ml" ], "commitId" : "36ddb173e8749d726bc3d9581bc61596d3530048", "timestamp" : 1752675334000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "error messages: external with non-syntactic arity\u000a", "date" : "2025-07-16 16:15:34 +0200", "id" : "36ddb173e8749d726bc3d9581bc61596d3530048", "msg" : "error messages: external with non-syntactic arity", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "add", "file" : "testsuite/tests/typing-external/non_syntactic_arity.ml" }, { "editType" : "edit", "file" : "typing/typedecl.mli" }, { "editType" : "edit", "file" : "typing/typedecl.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "release-info/calendar.md" ], "commitId" : "53699e27d39f2ef678eceadb25021193da988569", "timestamp" : 1752760115000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "release calendar update\u000a", "date" : "2025-07-17 15:48:35 +0200", "id" : "53699e27d39f2ef678eceadb25021193da988569", "msg" : "release calendar update", "paths" : [ { "editType" : "edit", "file" : "release-info/calendar.md" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "runtime/caml/shared_heap.h", "runtime/weak.c", "runtime/fiber.c", "runtime/signals.c", "runtime/domain.c", "runtime/intern.c", "runtime/major_gc.c", "testsuite/tests/parallel/churn.reference", "runtime/caml/minor_gc.h", "testsuite/tests/parallel/churn.ml", "runtime/minor_gc.c", "runtime/shared_heap.c", "runtime/caml/major_gc.h", "runtime/array.c", "runtime/caml/domain.h", "runtime/memory.c" ], "commitId" : "fc83a8b6149bcd8a12eb0accc52ae0b386951029", "timestamp" : 1752761800000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "Upstream \"mark-delay\" change from flambda-backend.\u000a\u000aCo-authored-by: Stephen Dolan \u000a", "date" : "2025-07-17 15:16:40 +0100", "id" : "fc83a8b6149bcd8a12eb0accc52ae0b386951029", "msg" : "Upstream \"mark-delay\" change from flambda-backend.", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" }, { "editType" : "edit", "file" : "runtime/fiber.c" }, { "editType" : "edit", "file" : "runtime/array.c" }, { "editType" : "edit", "file" : "runtime/domain.c" }, { "editType" : "edit", "file" : "runtime/caml/minor_gc.h" }, { "editType" : "edit", "file" : "runtime/intern.c" }, { "editType" : "edit", "file" : "runtime/minor_gc.c" }, { "editType" : "edit", "file" : "runtime/signals.c" }, { "editType" : "edit", "file" : "runtime/major_gc.c" }, { "editType" : "edit", "file" : "runtime/weak.c" }, { "editType" : "add", "file" : "testsuite/tests/parallel/churn.reference" }, { "editType" : "edit", "file" : "runtime/caml/shared_heap.h" }, { "editType" : "edit", "file" : "runtime/caml/domain.h" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "add", "file" : "testsuite/tests/parallel/churn.ml" }, { "editType" : "edit", "file" : "runtime/memory.c" }, { "editType" : "edit", "file" : "runtime/caml/major_gc.h" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/major_gc.c" ], "commitId" : "0cfcba5d68041f91b0aec3364a8bfb46d59b8d9c", "timestamp" : 1752761800000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "Hack to work around accounting problem: artificially catch-up work_counter at the start of any slice when it falls very far behind alloc_counter.\u000a", "date" : "2025-07-17 15:16:40 +0100", "id" : "0cfcba5d68041f91b0aec3364a8bfb46d59b8d9c", "msg" : "Hack to work around accounting problem: artificially catch-up work_counter at the start of any slice when it falls very far behind alloc_counter.", "paths" : [ { "editType" : "edit", "file" : "runtime/major_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/major_gc.c" ], "commitId" : "d5545a34e72810b51768c68427951afc233f556f", "timestamp" : 1752761800000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "fix finaliser handling bug\u000a", "date" : "2025-07-17 15:16:40 +0100", "id" : "d5545a34e72810b51768c68427951afc233f556f", "msg" : "fix finaliser handling bug", "paths" : [ { "editType" : "edit", "file" : "runtime/major_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/weak.c" ], "commitId" : "ce14eedd7bf220d58fea01025712a6a909383cdc", "timestamp" : 1752761800000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "Guard call to caml_darken\u000a", "date" : "2025-07-17 15:16:40 +0100", "id" : "ce14eedd7bf220d58fea01025712a6a909383cdc", "msg" : "Guard call to caml_darken", "paths" : [ { "editType" : "edit", "file" : "runtime/weak.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/weak-ephe-final/ephe_custom.ml" ], "commitId" : "17d14fab2b86b6f1ede285c8a4c6b54292f29cdf", "timestamp" : 1752761800000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "Fix ephe_custom.ml test for the mark-delay scheme\u000a", "date" : "2025-07-17 15:16:40 +0100", "id" : "17d14fab2b86b6f1ede285c8a4c6b54292f29cdf", "msg" : "Fix ephe_custom.ml test for the mark-delay scheme", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/weak-ephe-final/ephe_custom.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/major_gc.c" ], "commitId" : "1e4b55cb4aab4a65c1b52a5fd06bb041bffa2463", "timestamp" : 1752763746000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "Don't make finaliser updates dependent on work being available.\u000a", "date" : "2025-07-17 15:49:06 +0100", "id" : "1e4b55cb4aab4a65c1b52a5fd06bb041bffa2463", "msg" : "Don't make finaliser updates dependent on work being available.", "paths" : [ { "editType" : "edit", "file" : "runtime/major_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typemod.ml", "typing/typetexp.mli", "typing/typedtree.ml", "typing/typedtree.mli", "typing/typetexp.ml" ], "commitId" : "1aeb967946849b83fb909912e6ac939a3fa00582", "timestamp" : 1752825082000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, "authorEmail" : "samuel.aime.vivien@free.fr", "comment" : "Removed unused field in package_type\u000a", "date" : "2025-07-18 09:51:22 +0200", "id" : "1aeb967946849b83fb909912e6ac939a3fa00582", "msg" : "Removed unused field in package_type", "paths" : [ { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/typemod.ml" }, { "editType" : "edit", "file" : "typing/typetexp.mli" }, { "editType" : "edit", "file" : "typing/typedtree.mli" }, { "editType" : "edit", "file" : "typing/typedtree.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "ac43baad5a4fcb1c0c90b8a6f413d862439957fc", "timestamp" : 1752842382000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, "authorEmail" : "samuel.aime.vivien@free.fr", "comment" : "Changes\u000a", "date" : "2025-07-18 14:39:42 +0200", "id" : "ac43baad5a4fcb1c0c90b8a6f413d862439957fc", "msg" : "Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/types.ml", "parsing/parser.mly", "typing/typedecl_separability.ml", "parsing/ast_iterator.ml", "typing/types.mli", "parsing/printast.ml", "typing/out_type.ml", "typing/subst.ml", "typing/tast_iterator.ml", "parsing/ast_invariants.ml", "ocamldoc/odoc_env.ml", "typing/tast_mapper.ml", "typing/oprint.ml", "typing/typedtree.mli", "typing/typetexp.ml", "testsuite/tests/parsing/attributes.compilers.reference", "testsuite/tests/parsing/shortcut_ext_attr.compilers.reference", "Changes", "typing/btype.ml", "parsing/depend.ml", "parsing/ast_helper.mli", "typing/ctype.ml", "boot/menhir/parser.ml", "typing/outcometree.mli", "typing/rawprinttyp.ml", "parsing/parsetree.mli", "testsuite/tests/parsing/hash_ambiguity.compilers.reference", "typing/untypeast.ml", "typing/gprinttyp.ml", "typing/typedecl.ml", "typing/typedecl_variance.ml", "testsuite/tests/parsing/extensions.compilers.reference", "typing/printtyped.ml", "parsing/ast_mapper.ml", "parsing/ast_helper.ml", "typing/typemod.ml", "typing/typedtree.ml", "typing/typeclass.ml", "testsuite/tests/parsetree/locations_test.compilers.reference", "parsing/pprintast.ml" ], "commitId" : "5e89966f8fee3e4d4829e29d0abe1ac02c757aad", "timestamp" : 1752898985000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Rename cstrs to constraints to distinguish from cstrs = constructors (#14141)\u000a\u000a", "date" : "2025-07-19 06:23:05 +0200", "id" : "5e89966f8fee3e4d4829e29d0abe1ac02c757aad", "msg" : "Rename cstrs to constraints to distinguish from cstrs = constructors (#14141)", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "typing/gprinttyp.ml" }, { "editType" : "edit", "file" : "typing/typedecl.ml" }, { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : "parsing/ast_iterator.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsetree/locations_test.compilers.reference" }, { "editType" : "edit", "file" : "typing/tast_mapper.ml" }, { "editType" : "edit", "file" : "parsing/depend.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "typing/printtyped.ml" }, { "editType" : "edit", "file" : "typing/types.mli" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/rawprinttyp.ml" }, { "editType" : "edit", "file" : "typing/types.ml" }, { "editType" : "edit", "file" : "parsing/printast.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/hash_ambiguity.compilers.reference" }, { "editType" : "edit", "file" : "typing/tast_iterator.ml" }, { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "typing/outcometree.mli" }, { "editType" : "edit", "file" : "typing/typemod.ml" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/shortcut_ext_attr.compilers.reference" }, { "editType" : "edit", "file" : "typing/typedecl_variance.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/extensions.compilers.reference" }, { "editType" : "edit", "file" : "typing/typedtree.ml" }, { "editType" : "edit", "file" : "parsing/ast_helper.mli" }, { "editType" : "edit", "file" : "parsing/parsetree.mli" }, { "editType" : "edit", "file" : "parsing/pprintast.ml" }, { "editType" : "edit", "file" : "typing/subst.ml" }, { "editType" : "edit", "file" : "typing/typedtree.mli" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/attributes.compilers.reference" }, { "editType" : "edit", "file" : "parsing/ast_mapper.ml" }, { "editType" : "edit", "file" : "typing/typeclass.ml" }, { "editType" : "edit", "file" : "typing/typedecl_separability.ml" }, { "editType" : "edit", "file" : "parsing/ast_invariants.ml" }, { "editType" : "edit", "file" : "parsing/ast_helper.ml" }, { "editType" : "edit", "file" : "ocamldoc/odoc_env.ml" }, { "editType" : "edit", "file" : "typing/untypeast.ml" }, { "editType" : "edit", "file" : "typing/oprint.ml" }, { "editType" : "edit", "file" : "parsing/parser.mly" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c", "runtime/major_gc.c" ], "commitId" : "2c2d2cda5c8be18912e59c4171ece83b86e4bd87", "timestamp" : 1752906367000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/kc", "fullName" : "kc" }, "authorEmail" : "kc@kcsrk.info", "comment" : "Move the orphaned ephemerons GC colour check inside the barrier.\u000a", "date" : "2025-07-19 11:56:07 +0530", "id" : "2c2d2cda5c8be18912e59c4171ece83b86e4bd87", "msg" : "Move the orphaned ephemerons GC colour check inside the barrier.", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" }, { "editType" : "edit", "file" : "runtime/major_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/minor_gc.c" ], "commitId" : "69ed94cf28d9485d47bb572bacfa545b6959a9df", "timestamp" : 1752952749000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "minor gc: more consistent memprof logging\u000a\u000aIn\u000a https://github.com/ocaml/ocaml/pull/13580#issuecomment-3092253963\u000ajmid reports that he needed to tweak the GC verbosity setting to avoid\u000agetting spammed by minor-gc messages when debugging an assertion\u000afailure.\u000a\u000aThe other sub-phases of the GC minor all uses `caml_gc_log` rather\u000athan CAML_GC_MESSAGE, and do not seem to cause similar spamming\u000aissues. Fixing the code to be consistent will avoid inconsistent\u000averbosity levels in end-user scripts.\u000a", "date" : "2025-07-19 21:19:09 +0200", "id" : "69ed94cf28d9485d47bb572bacfa545b6959a9df", "msg" : "minor gc: more consistent memprof logging", "paths" : [ { "editType" : "edit", "file" : "runtime/minor_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly.ml" ], "commitId" : "ca3d055ae4984319da49fefc05b3b813b5edb1c1", "timestamp" : 1752978296000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Fix missing expectations in typing-poly/poly.ml\u000a", "date" : "2025-07-20 04:24:56 +0200", "id" : "ca3d055ae4984319da49fefc05b3b813b5edb1c1", "msg" : "Fix missing expectations in typing-poly/poly.ml", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly.ml" ], "commitId" : "cc99be18afe97fe7c28e6d6a3d3a6cc1256b06bf", "timestamp" : 1752978296000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Additional corrections\u000a", "date" : "2025-07-20 04:24:56 +0200", "id" : "cc99be18afe97fe7c28e6d6a3d3a6cc1256b06bf", "msg" : "Additional corrections", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tools/expect.ml" ], "commitId" : "0df7dea905dae52c0de7df81437cc3b313cf5c88", "timestamp" : 1752978296000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Audit unexecuted phrases\u000a", "date" : "2025-07-20 04:24:56 +0200", "id" : "0df7dea905dae52c0de7df81437cc3b313cf5c88", "msg" : "Audit unexecuted phrases", "paths" : [ { "editType" : "edit", "file" : "testsuite/tools/expect.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/letrec-check/float_unboxing.ml", "testsuite/tests/typing-misc/polyvars.ml", "testsuite/tests/typing-misc/injectivity.ml", "testsuite/tests/typing-gadts/ambiguity.ml", "testsuite/tests/typing-gadts/gadthead.ml", "testsuite/tests/typing-modules/firstclass.ml", "testsuite/tests/letrec-check/records.ml", "testsuite/tests/typing-gadts/pr7374.ml", "testsuite/tests/typing-gadts/yallop_bugs.ml", "testsuite/tests/typing-misc/variance.ml", "testsuite/tests/lib-array/test_array.ml", "testsuite/tests/typing-gadts/pr13579.ml", "testsuite/tests/typing-modules/pr7818.ml", "testsuite/tests/typing-modules/pr7851.ml", "testsuite/tests/typing-unboxed-types/test.ml", "testsuite/tests/typing-recmod/pr6491.ml", "testsuite/tests/typing-gadts/pr5985.ml", "testsuite/tests/typing-gadts/pr6158.ml", "testsuite/tests/typing-modules/aliases.ml", "testsuite/tests/typing-poly/poly.ml", "testsuite/tests/typing-immediate/immediate.ml" ], "commitId" : "bcc66700c247f5307a0ca629ba3265642bb22e10", "timestamp" : 1752978296000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Audit\u000a", "date" : "2025-07-20 04:24:56 +0200", "id" : "bcc66700c247f5307a0ca629ba3265642bb22e10", "msg" : "Audit", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr7374.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/yallop_bugs.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7818.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/gadthead.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-immediate/immediate.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/firstclass.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/polyvars.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/float_unboxing.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr6158.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/injectivity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/records.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/variance.ml" }, { "editType" : "edit", "file" : "testsuite/tests/lib-array/test_array.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/aliases.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/ambiguity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7851.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-unboxed-types/test.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-recmod/pr6491.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr13579.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr5985.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/letrec-check/float_unboxing.ml", "testsuite/tests/typing-misc/polyvars.ml", "testsuite/tests/typing-gadts/ambiguity.ml", "testsuite/tests/typing-misc/injectivity.ml", "testsuite/tests/typing-modules/firstclass.ml", "testsuite/tests/typing-gadts/gadthead.ml", "testsuite/tests/letrec-check/records.ml", "testsuite/tests/typing-gadts/yallop_bugs.ml", "testsuite/tests/typing-gadts/pr7374.ml", "testsuite/tests/typing-misc/variance.ml", "testsuite/tests/lib-array/test_array.ml", "testsuite/tests/typing-gadts/pr13579.ml", "testsuite/tests/typing-gadts/pr5985.ml", "testsuite/tests/typing-modules/pr7818.ml", "testsuite/tests/typing-modules/pr7851.ml", "testsuite/tests/typing-unboxed-types/test.ml", "testsuite/tests/typing-recmod/pr6491.ml", "testsuite/tests/typing-poly/poly.ml", "testsuite/tests/typing-gadts/pr6158.ml", "testsuite/tests/typing-modules/aliases.ml", "testsuite/tests/typing-immediate/immediate.ml" ], "commitId" : "7edc3e9ca9bb27d90dd841513ca22b2f5125b351", "timestamp" : 1752978296000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Fix audit\u000a", "date" : "2025-07-20 04:24:56 +0200", "id" : "7edc3e9ca9bb27d90dd841513ca22b2f5125b351", "msg" : "Fix audit", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr5985.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/yallop_bugs.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/ambiguity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/firstclass.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/polyvars.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/float_unboxing.ml" }, { "editType" : "edit", "file" : "testsuite/tests/lib-array/test_array.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr6158.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/aliases.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7818.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/gadthead.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7851.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr7374.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-unboxed-types/test.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/variance.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/injectivity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-immediate/immediate.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-recmod/pr6491.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/records.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr13579.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "0fc202c2d1356bd4f38fda70b6bb39bf61856a9c", "timestamp" : 1752978297000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Changes\u000a", "date" : "2025-07-20 04:24:57 +0200", "id" : "0fc202c2d1356bd4f38fda70b6bb39bf61856a9c", "msg" : "Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "3ca69c1675457ff6c372751edfa728fde7aee157", "timestamp" : 1752978311000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Update changes\u000a", "date" : "2025-07-20 04:25:11 +0200", "id" : "3ca69c1675457ff6c372751edfa728fde7aee157", "msg" : "Update changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c" ], "commitId" : "8f0d4f4b77215029fcc3f331cfc0cee3cdff051b", "timestamp" : 1753083967000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "runtime: free the minor heap when leaving STW participants\u000a\u000aThe reserved address space for the minor heap area is a global\u000aresource shared by all domains; each domain owns a portion of it,\u000awithin which it commits a part for its minor heap. (Having contiguous\u000aaddress space allows for an efficient Is_young check.). When we need\u000amore reserved space because the user increased the minor heap size, we\u000ause a STW section to change the reservation: each domain in the STW\u000asection first decommits its minor heap, a single domain changes the\u000areserved area, and then each domain re-commits its minor heap.\u000a\u000aIf a domain does not participate to STW sections, the boundaries of\u000aits minor heap will change without the domain decommitting the\u000aprevious minor heap first. If the same domain structure is used for a\u000anewly spawned domain later on, it will start by decommitting its minor\u000aheap following the new boundaries, which is incorrect as it never\u000acommitted this adress range in the first place.\u000a\u000a(In practice calling `caml_mem_decommit` incorrectly in this way does\u000anot appear to crash the program. I think this is because `decommit`\u000ahas a fairly liberal behavior, it will happily do nothing if the\u000amemory range is not committed. The code remains logically wrong, and\u000acould become a hard failure if other parts of the runtime change in\u000areasonable ways later on.)\u000a\u000aThe present commit ensures that we systematically decommit the minor\u000aheap of each domain when it leaves the set of STW participants. This\u000away, only STW-active domains have their minor heap allocated, and\u000achanging the minor heap address space within STW section works as\u000aintended.\u000a\u000a(I tried to remove the new call to `free_minor_heap` in\u000a`domain_terminate`, and checked that the testsuite fails in debug mode\u000awhen the `allocate_minor_heap` call in `domain_create` later on\u000anotices an already-committed minor heap.)\u000a\u000aReviewed-by: KC Sivaramakrishnan \u000a", "date" : "2025-07-21 09:46:07 +0200", "id" : "8f0d4f4b77215029fcc3f331cfc0cee3cdff051b", "msg" : "runtime: free the minor heap when leaving STW participants", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "typing/typeclass.mli", "typing/btype.ml", "parsing/parser.mly", "typing/typecore.mli", "typing/ctype.ml", "typing/errortrace_report.ml", "boot/menhir/parser.ml", "toplevel/topprinters.ml", "typing/typeopt.ml", "typing/types.mli", "typing/typetexp.mli", "typing/out_type.ml", "typing/typedecl.ml", "testsuite/tests/typing-objects/Exemples.ml", "typing/btype.mli", "typing/typeclass.ml", ".depend", "typing/typetexp.ml", "typing/ctype.mli" ], "commitId" : "94908d2051d08eedc7543cd0a0b0f811e5f7d6c4", "timestamp" : 1753099350000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Update parser and adapt to the new Tpoly invariant. Requires bootstrap.\u000a\u000aThe argument of a Tarrow must now be a [Tpoly] node.\u000a", "date" : "2025-07-21 14:02:30 +0200", "id" : "94908d2051d08eedc7543cd0a0b0f811e5f7d6c4", "msg" : "Update parser and adapt to the new Tpoly invariant. Requires bootstrap.", "paths" : [ { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "toplevel/topprinters.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-objects/Exemples.ml" }, { "editType" : "edit", "file" : "typing/typeclass.mli" }, { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : ".depend" }, { "editType" : "edit", "file" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/typetexp.mli" }, { "editType" : "edit", "file" : "typing/typeopt.ml" }, { "editType" : "edit", "file" : "typing/typeclass.ml" }, { "editType" : "edit", "file" : "typing/errortrace_report.ml" }, { "editType" : "edit", "file" : "typing/typecore.mli" }, { "editType" : "edit", "file" : "typing/typedecl.ml" }, { "editType" : "edit", "file" : "typing/btype.mli" }, { "editType" : "edit", "file" : "typing/types.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "boot/ocamllex", "boot/ocamlc" ], "commitId" : "fbca0ab4f2da8fd7fa9be0456fbe362300aee671", "timestamp" : 1753099443000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "bootstrap\u000a", "date" : "2025-07-21 14:04:03 +0200", "id" : "fbca0ab4f2da8fd7fa9be0456fbe362300aee671", "msg" : "bootstrap", "paths" : [ { "editType" : "edit", "file" : "boot/ocamllex" }, { "editType" : "edit", "file" : "boot/ocamlc" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "a6645993f8ee41156c4f619c49aa940d814975fa", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add tests for polymorphic parameters\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "a6645993f8ee41156c4f619c49aa940d814975fa", "msg" : "Add tests for polymorphic parameters", "paths" : [ { "editType" : "add", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "c39e29dd0f745998e48f4721b27daba04d1759d0", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Promote polymorphic parameters tests failures\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "c39e29dd0f745998e48f4721b27daba04d1759d0", "msg" : "Promote polymorphic parameters tests failures", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "489e219fb95fa95a48ffa8a70e12995c98ede018", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Refactor: more descriptive return type for [split_function], renaming and comment work\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "489e219fb95fa95a48ffa8a70e12995c98ede018", "msg" : "Refactor: more descriptive return type for [split_function], renaming and comment work", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "typing/typecore.mli" ], "commitId" : "da0cabe07b8e5ab2bc7c443350da798598888d52", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Introduce new error \"opt params cannot be polymorphic\"\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "da0cabe07b8e5ab2bc7c443350da798598888d52", "msg" : "Introduce new error \"opt params cannot be polymorphic\"", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.mli" }, { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "ba14d13c046ebc74b9638a2ce79aef22a92d09bd", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Wrap and generalize filter_arrow_mono if principal\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "ba14d13c046ebc74b9638a2ce79aef22a92d09bd", "msg" : "Wrap and generalize filter_arrow_mono if principal", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "24b6f4c4a5b05a19ec2aa3fd49d5d4ff69304493", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Handle polymorphic parameters in type_apply_arg\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "24b6f4c4a5b05a19ec2aa3fd49d5d4ff69304493", "msg" : "Handle polymorphic parameters in type_apply_arg", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "16d8e49c786f0ebf885cebc54dfc288ee9d74ddc", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Refactor Pexp_function case and handle poly\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "16d8e49c786f0ebf885cebc54dfc288ee9d74ddc", "msg" : "Refactor Pexp_function case and handle poly", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "e882d5ae4248f26fba18b6ad9414ef997fd4903b", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add one generalization level in type_class_arg_pattern\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "e882d5ae4248f26fba18b6ad9414ef997fd4903b", "msg" : "Add one generalization level in type_class_arg_pattern", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "testsuite/tests/typing-poly/poly_params.ml", "lambda/translcore.ml" ], "commitId" : "ac9691aca9a94f5a8c2aae37cf5fa9f2810a117f", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Handle polymorphic parameters in [type_approx and] [type_pat_aux]\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "ac9691aca9a94f5a8c2aae37cf5fa9f2810a117f", "msg" : "Handle polymorphic parameters in [type_approx and] [type_pat_aux]", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "lambda/translcore.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "6e02745744317f7dd869c1d929035870036842c5", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add changes entry for #15733\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "6e02745744317f7dd869c1d929035870036842c5", "msg" : "Add changes entry for #15733", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "d31142a21f9ae99434f9bf1aa4a4ab5beb431f99", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add test with class argument\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "d31142a21f9ae99434f9bf1aa4a4ab5beb431f99", "msg" : "Add test with class argument", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "2ad84dcb3c29293af1bb3d0378daf316022f6506", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Additional tests with labels\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "2ad84dcb3c29293af1bb3d0378daf316022f6506", "msg" : "Additional tests with labels", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/btype.mli", "typing/btype.ml" ], "commitId" : "f401ccf8d0d0ad9a10b1cbd939d1bf64cea37f35", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: reorder functions in btype\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "f401ccf8d0d0ad9a10b1cbd939d1bf64cea37f35", "msg" : "review: reorder functions in btype", "paths" : [ { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : "typing/btype.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/types.mli" ], "commitId" : "ced4529378fea71285c6c613bef8cbd0e0560157", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: comment format\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "ced4529378fea71285c6c613bef8cbd0e0560157", "msg" : "review: comment format", "paths" : [ { "editType" : "edit", "file" : "typing/types.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/btype.mli", "typing/btype.ml", "typing/typeclass.ml" ], "commitId" : "b6629c6e715c565ca3b8d38fa4d36480342b23ec", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: add a Btype.newgenmono utility symetrical to Ctype.newmono\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "b6629c6e715c565ca3b8d38fa4d36480342b23ec", "msg" : "review: add a Btype.newgenmono utility symetrical to Ctype.newmono", "paths" : [ { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : "typing/btype.mli" }, { "editType" : "edit", "file" : "typing/typeclass.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "testsuite/tests/typing-poly/poly_params.ml", "typing/typetexp.mli", "typing/typecore.mli", "typing/typetexp.ml" ], "commitId" : "6fc24f4eefbda7396884a4b76ba288a180ae7972", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: use label names in error messages\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "6fc24f4eefbda7396884a4b76ba288a180ae7972", "msg" : "review: use label names in error messages", "paths" : [ { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "typing/typetexp.mli" }, { "editType" : "edit", "file" : "typing/typecore.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "2dd9b7dce997d2611f339ec44bb3698c53e11b5a", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: additional tests\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "2dd9b7dce997d2611f339ec44bb3698c53e11b5a", "msg" : "review: additional tests", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "669bd470115fbd04c3dd3b76c588c68a973adc56", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add test for polymorphic variants in polymorphic parameters\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "669bd470115fbd04c3dd3b76c588c68a973adc56", "msg" : "Add test for polymorphic variants in polymorphic parameters", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typedecl.ml", "typing/typecore.ml", "testsuite/tests/typing-poly/poly_params.ml", "typing/typeclass.ml", "typing/ctype.ml", "typing/ctype.mli" ], "commitId" : "e93ba211dbd022139cfc36e05e3d4e0185925fcd", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Take fixed instances of polys where appropriate\u000a\u000aThis fixes a bug in the interaction between polymorphic variants and polymorphic\u000aparameters. The actual bug fix is just changing two falses to trues but I also\u000achanged the instance_poly interface to make similar mistakes less likely to\u000ahappen.\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "e93ba211dbd022139cfc36e05e3d4e0185925fcd", "msg" : "Take fixed instances of polys where appropriate", "paths" : [ { "editType" : "edit", "file" : "typing/typeclass.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "typing/typedecl.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-misc/typecore_errors.ml" ], "commitId" : "74b9f1fe58a3d59f22b39b2ea280b3b884218c90", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Show issue with subtyping trace\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "74b9f1fe58a3d59f22b39b2ea280b3b884218c90", "msg" : "Show issue with subtyping trace", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-misc/typecore_errors.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/ctype.ml", "testsuite/tests/typing-objects/Exemples.ml", "testsuite/tests/typing-misc/typecore_errors.ml" ], "commitId" : "4e597e9f37bb2a4e84a6557d4035bf1849493fb8", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Fix subtyping error trace\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "4e597e9f37bb2a4e84a6557d4035bf1849493fb8", "msg" : "Fix subtyping error trace", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/typecore_errors.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-objects/Exemples.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "e6d2834a5dcef5ffa9337177182e09ec7f77e6a7", "timestamp" : 1753099446000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "tests: Promote error messages improvements after rebasing.\u000a", "date" : "2025-07-21 14:04:06 +0200", "id" : "e6d2834a5dcef5ffa9337177182e09ec7f77e6a7", "msg" : "tests: Promote error messages improvements after rebasing.", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "boot/menhir/parser.ml", "parsing/parser.mly" ], "commitId" : "be3016c7e6c5ca9db647b3044f79e3e2fe2b441d", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: more reuse in parser and reloc in [param_type]\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "be3016c7e6c5ca9db647b3044f79e3e2fe2b441d", "msg" : "review: more reuse in parser and reloc in [param_type]", "paths" : [ { "editType" : "edit", "file" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "typing/ctype.ml", "typing/ctype.mli" ], "commitId" : "a5dc2ad2083e7d08de84ed5144a7703f95588127", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: move [is_really_poly] utility to Ctype.\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "a5dc2ad2083e7d08de84ed5144a7703f95588127", "msg" : "review: move [is_really_poly] utility to Ctype.", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "47350a7499406c640701c06cca4635879a0bbffe", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add more test cases\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "47350a7499406c640701c06cca4635879a0bbffe", "msg" : "Add more test cases", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "19c9abe2aa5c097d409c442372bad96cc1f79b3b", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Move definition closer to usage\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "19c9abe2aa5c097d409c442372bad96cc1f79b3b", "msg" : "Move definition closer to usage", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "c5587a4266836e6b9a7b477a1a36866607f1c368", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Additional test cases\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "c5587a4266836e6b9a7b477a1a36866607f1c368", "msg" : "Additional test cases", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/btype.mli" ], "commitId" : "c9a85332e881a251666853fd74fc72bc22836ac6", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Document function in comment\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "c9a85332e881a251666853fd74fc72bc22836ac6", "msg" : "Document function in comment", "paths" : [ { "editType" : "edit", "file" : "typing/btype.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "21b3641311e40a2d54445dc5973632f47ab68cae", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Add test cases\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "21b3641311e40a2d54445dc5973632f47ab68cae", "msg" : "Add test cases", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml", "typing/typeclass.ml" ], "commitId" : "7cde513a5fd78e16627afcb4f729eb86ff96f109", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Fix typo in error message\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "7cde513a5fd78e16627afcb4f729eb86ff96f109", "msg" : "Fix typo in error message", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "typing/typeclass.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/btype.mli", "typing/btype.ml", "typing/ctype.ml", "toplevel/topprinters.ml", "typing/ctype.mli" ], "commitId" : "e8eb592e3fa593ce78f73ce9282d96a56a06246f", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Rename function and move it to Btype\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "e8eb592e3fa593ce78f73ce9282d96a56a06246f", "msg" : "Rename function and move it to Btype", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "toplevel/topprinters.ml" }, { "editType" : "edit", "file" : "typing/btype.mli" }, { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/ctype.ml", "typing/typecore.ml", "typing/ctype.mli" ], "commitId" : "d01ee5f4d04585414bbe9adf40654a367b970b23", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Inline function and exception used only once\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "d01ee5f4d04585414bbe9adf40654a367b970b23", "msg" : "Inline function and exception used only once", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/ctype.mli" ], "commitId" : "1dcf98623f07dc18fd9e1e513b078c48340aa904", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Document function\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "1dcf98623f07dc18fd9e1e513b078c48340aa904", "msg" : "Document function", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "7d2f41278e4086d0e4b5ea099a35bb0247344f0d", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Enforce Tpoly invariant\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "7d2f41278e4086d0e4b5ea099a35bb0247344f0d", "msg" : "Enforce Tpoly invariant", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "ad0db6146c053e8101bd105061fb62852a85cfc7", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Clarify conditions\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "ad0db6146c053e8101bd105061fb62852a85cfc7", "msg" : "Clarify conditions", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "typing/ctype.ml", "typing/ctype.mli" ], "commitId" : "730e7044b3d77db58cde54614f2557a6e9932cf2", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Clearer argument label and field names\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "730e7044b3d77db58cde54614f2557a6e9932cf2", "msg" : "Clearer argument label and field names", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "ba7bf4906ff62d18be80de1382847c59b8226e31", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Turn ordinary comment into a documentation comment\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "ba7bf4906ff62d18be80de1382847c59b8226e31", "msg" : "Turn ordinary comment into a documentation comment", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "1e1c51ed930a0a2b83f17eb3682c558506d3d945", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Clearer variable name\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "1e1c51ed930a0a2b83f17eb3682c558506d3d945", "msg" : "Clearer variable name", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml" ], "commitId" : "73934de2340c3b0cf43f9f682e4bad7b2942639d", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "Fix wrong set of univars\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "73934de2340c3b0cf43f9f682e4bad7b2942639d", "msg" : "Fix wrong set of univars", "paths" : [ { "editType" : "edit", "file" : "typing/typecore.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "boot/menhir/parser.ml", "parsing/parser.mly" ], "commitId" : "7202cdef2c09882a930eeeffccb8902009d60323", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: De-duplicate parser rule for let\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "7202cdef2c09882a930eeeffccb8902009d60323", "msg" : "review: De-duplicate parser rule for let", "paths" : [ { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "parsing/parser.mly" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "6e7a74424008a091e8c17ff187d129f95d5ee980", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: Add test with syntactic arity mismatch\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "6e7a74424008a091e8c17ff187d129f95d5ee980", "msg" : "review: Add test with syntactic arity mismatch", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-poly/poly_params.ml" ], "commitId" : "f3d08a26da96bad6c9c929c3cc786908b455733d", "timestamp" : 1753099447000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "review: Fix test\u000a", "date" : "2025-07-21 14:04:07 +0200", "id" : "f3d08a26da96bad6c9c929c3cc786908b455733d", "msg" : "review: Fix test", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "configure.ac", "Makefile", "configure" ], "commitId" : "02746081cc1310daafc67122365e514032de2a54", "timestamp" : 1753105622000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Fix dependency generation when tools are disabled\u000a\u000aThe OPTIONAL_BYTECODE_TOOLS, OPTIONAL_NATIVE_TOOLS and\u000aOPTIONAL_LIBRARIES should be being used to affect build and\u000ainstallation, not definitions. If ocamltest et al were disabled, then\u000athe definitions of these programs were omitted, which prevents the\u000areproducible generation of dependency information.\u000a", "date" : "2025-07-21 14:47:02 +0100", "id" : "02746081cc1310daafc67122365e514032de2a54", "msg" : "Fix dependency generation when tools are disabled", "paths" : [ { "editType" : "edit", "file" : "configure.ac" }, { "editType" : "edit", "file" : "configure" }, { "editType" : "edit", "file" : "Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "configure.ac", "configure" ], "commitId" : "f627d6356224bd93505964200cd39a0f57451416", "timestamp" : 1753105623000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Fix generation of config.status for dynlink\u000a\u000aRunning config.status works correctly, but individually requesting links\u000ain otherlibs/dynlink did not because the names were specified using a\u000ashell variable (i.e. at configure-time) instead of a m4sh variable (i.e.\u000aat autoconf-time).\u000a", "date" : "2025-07-21 14:47:03 +0100", "id" : "f627d6356224bd93505964200cd39a0f57451416", "msg" : "Fix generation of config.status for dynlink", "paths" : [ { "editType" : "edit", "file" : "configure" }, { "editType" : "edit", "file" : "configure.ac" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile", "configure.ac", "configure" ], "commitId" : "70431af45b0c7f449863eb07d2e7caa38b0c1693", "timestamp" : 1753105634000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Don't generate ocamltest_config.ml when not needed\u000a", "date" : "2025-07-21 14:47:14 +0100", "id" : "70431af45b0c7f449863eb07d2e7caa38b0c1693", "msg" : "Don't generate ocamltest_config.ml when not needed", "paths" : [ { "editType" : "edit", "file" : "Makefile" }, { "editType" : "edit", "file" : "configure" }, { "editType" : "edit", "file" : "configure.ac" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile" ], "commitId" : "921c6a3a6e0dbc4199e87912c96a362a0ab0f74d", "timestamp" : 1753105637000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, "authorEmail" : "david.allsopp@metastack.com", "comment" : "Correct ocamltest-manual\u000a", "date" : "2025-07-21 14:47:17 +0100", "id" : "921c6a3a6e0dbc4199e87912c96a362a0ab0f74d", "msg" : "Correct ocamltest-manual", "paths" : [ { "editType" : "edit", "file" : "Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "runtime/riscv.S", "testsuite/tests/native-debugger/lldb-script", "testsuite/tests/native-debugger/linux-lldb-amd64.reference", "testsuite/tests/native-debugger/macos-lldb-amd64.reference", "middle_end/compilenv.ml", "testsuite/tests/native-debugger/linux-lldb-arm64.reference", "testsuite/tests/native-debugger/macos-lldb-arm64.reference", "testsuite/tests/atomic-locs/cmm.compilers.reference", "asmcomp/emitaux.ml", "asmcomp/x86_proc.ml", "runtime/arm64.S", "testsuite/tests/native-debugger/linux-gdb-arm64.reference", "testsuite/tests/native-debugger/linux-gdb-riscv.reference", "runtime/dynlink_nat.c", "testsuite/tests/asmcomp/func_sections.run", "runtime/s390x.S", "testsuite/tests/native-debugger/linux-gdb-amd64.reference", "runtime/amd64.S", "middle_end/compilenv.mli", "runtime/power.S" ], "commitId" : "ffa6197f6a76af4e9378fa323406cbdb8491a86c", "timestamp" : 1753112803000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "symbol names: revert to using `$` only on macOS and Windows (#14143)\u000a\u000a", "date" : "2025-07-21 17:46:43 +0200", "id" : "ffa6197f6a76af4e9378fa323406cbdb8491a86c", "msg" : "symbol names: revert to using `$` only on macOS and Windows (#14143)", "paths" : [ { "editType" : "edit", "file" : "middle_end/compilenv.ml" }, { "editType" : "edit", "file" : "runtime/amd64.S" }, { "editType" : "edit", "file" : "runtime/riscv.S" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-gdb-riscv.reference" }, { "editType" : "edit", "file" : "testsuite/tests/atomic-locs/cmm.compilers.reference" }, { "editType" : "edit", "file" : "asmcomp/emitaux.ml" }, { "editType" : "edit", "file" : "runtime/arm64.S" }, { "editType" : "edit", "file" : "testsuite/tests/asmcomp/func_sections.run" }, { "editType" : "edit", "file" : "runtime/s390x.S" }, { "editType" : "edit", "file" : "middle_end/compilenv.mli" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-lldb-arm64.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/lldb-script" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/macos-lldb-arm64.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-gdb-arm64.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-lldb-amd64.reference" }, { "editType" : "edit", "file" : "runtime/power.S" }, { "editType" : "edit", "file" : "asmcomp/x86_proc.ml" }, { "editType" : "edit", "file" : "runtime/dynlink_nat.c" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/macos-lldb-amd64.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-gdb-amd64.reference" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "release-info/calendar.md" ], "commitId" : "72a9d5adf2693649e460524f52cfa9b22685493a", "timestamp" : 1753186145000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "bookkeeping: update release info\u000a", "date" : "2025-07-22 14:09:05 +0200", "id" : "72a9d5adf2693649e460524f52cfa9b22685493a", "msg" : "bookkeeping: update release info", "paths" : [ { "editType" : "edit", "file" : "release-info/calendar.md" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c" ], "commitId" : "08d94e782ed2215aad075e011afd3efa02585524", "timestamp" : 1753258595000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Minor heap reservation: change the terminology\u000a\u000aThe current codebase use 'caml_minor_heaps_{start,end}' for the\u000aboundaries of a global address space that is reserved,\u000a'dom->caml_minor_heap_area_{start,end}' for a 'minor heap area', a\u000asegment of this address space that is owned by each domain, and then\u000afinally 'dom->young_{start,end}' for the prefix of this segment that\u000ais actually committed and used as the minor heap of each domain. Some\u000acomments refer to the latter as the 'minor heap arena', following\u000aterminology from the Retrofitting Parallelism into OCaml paper.\u000a\u000aOn a suggestion by KC, I am trying to make the naming scheme more\u000aregular by consistently using 'reservation' for a reserved block of\u000aaddress space:\u000a\u000a- Use 'minor heaps reservation' for the global reservation. Its\u000a boundaries remain stored in 'caml_minor_heaps_{start,end}' to avoid\u000a compatibility issues in third-party code.\u000a\u000a- Use 'minor heap reservation' for the per-domain segment of the\u000a global reservation. Its boundaries are stored in\u000a 'dom->minor_heap_reservation_{start,end}'.\u000a\u000a- Use 'minor heap' for the prefix of the minor heap reservation\u000a that is actually committed, whose boundaries remain\u000a 'dom->young_{start,end}'.\u000a\u000aThis change is purely local to domain.c.\u000a\u000aSuggested-by: KC Sivaramakrishnan \u000a", "date" : "2025-07-23 10:16:35 +0200", "id" : "08d94e782ed2215aad075e011afd3efa02585524", "msg" : "Minor heap reservation: change the terminology", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/minor_gc.c", "runtime/domain.c", "runtime/caml/domain.h" ], "commitId" : "0fd3dac310986df22b5f885eba685588752742cb", "timestamp" : 1753258595000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "review: use 'arena' for the (committed) minor heap space\u000a\u000aSuggested-by: KC Sivaramakrishnan \u000a", "date" : "2025-07-23 10:16:35 +0200", "id" : "0fd3dac310986df22b5f885eba685588752742cb", "msg" : "review: use 'arena' for the (committed) minor heap space", "paths" : [ { "editType" : "edit", "file" : "runtime/caml/domain.h" }, { "editType" : "edit", "file" : "runtime/minor_gc.c" }, { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c" ], "commitId" : "2e0836f328b6431b9055bee58bad924f06c95e35", "timestamp" : 1753258595000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "self-review: solidify two separate comments on minor heap layout\u000a", "date" : "2025-07-23 10:16:35 +0200", "id" : "2e0836f328b6431b9055bee58bad924f06c95e35", "msg" : "self-review: solidify two separate comments on minor heap layout", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c", "Changes" ], "commitId" : "ba7ba19789db4e50aed016b9ad8795b0c5a9420f", "timestamp" : 1753260454000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "runtime/domain.c: add a category of 'parked' stw_domains\u000a", "date" : "2025-07-23 10:47:34 +0200", "id" : "ba7ba19789db4e50aed016b9ad8795b0c5a9420f", "msg" : "runtime/domain.c: add a category of 'parked' stw_domains", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c" ], "commitId" : "46bf83b0be41cd081d544de3b3cb056065d5247d", "timestamp" : 1753268927000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] domain.c: reorder domain_self and heap-reservation variables\u000a", "date" : "2025-07-23 13:08:47 +0200", "id" : "46bf83b0be41cd081d544de3b3cb056065d5247d", "msg" : "[minor] domain.c: reorder domain_self and heap-reservation variables", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c" ], "commitId" : "ca8b9aa6ed3406f013867f1faf67e601cd901a37", "timestamp" : 1753269130000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] domain.c: reorder domain_create\u000a", "date" : "2025-07-23 13:12:10 +0200", "id" : "ca8b9aa6ed3406f013867f1faf67e601cd901a37", "msg" : "[minor] domain.c: reorder domain_create", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/shared_heap.c" ], "commitId" : "29be98829b078a50103cfb30ce1b71830bc7cb92", "timestamp" : 1753271249000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" }, "authorEmail" : "sadiq@toao.com", "comment" : "use POOL_FIRST_BLOCK\u000a", "date" : "2025-07-23 12:47:29 +0100", "id" : "29be98829b078a50103cfb30ce1b71830bc7cb92", "msg" : "use POOL_FIRST_BLOCK", "paths" : [ { "editType" : "edit", "file" : "runtime/shared_heap.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/domain.c" ], "commitId" : "68a4b5649c7516ca311c7d4a8798d2ae90f397eb", "timestamp" : 1753284673000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "domain.c: fix `stw_resize_minor_heaps_reservation`.\u000a\u000aMy PR #14158 merged today introduced a bug in the logic to resize the\u000aminor heaps reservation. It added the following to the\u000a`free_minor_heap_arena` function:\u000a\u000a domain_state->minor_heap_wsz = 0;\u000a\u000aDoing this is correct when we are freeing the minor heap arena of a\u000adomain that is leaving the STW participant set (the focus of #14158);\u000ait is also correct in\u000a\u000a int caml_reallocate_minor_heap_arena(asize_t wsize)\u000a {\u000a free_minor_heap_arena();\u000a return allocate_minor_heap_arena(wsize);\u000a }\u000a\u000awhich is called to change the size of the memory area, so zeroing it\u000ain `free` before setting it in `allocate` is fine. However, it\u000ais *not* correct in\u000a\u000a static void\u000a stw_resize_minor_heaps_reservation(caml_domain_state* domain,\u000a void* minor_wsz_data,\u000a int participating_count,\u000a caml_domain_state** participating) {\u000a caml_empty_minor_heap_no_major_slice_from_stw(\u000a domain, NULL, participating_count, participating);\u000a\u000a free_minor_heap_arena();\u000a\u000a Caml_global_barrier_if_final(participating_count) {\u000a uintnat new_minor_wsz = (uintnat) minor_wsz_data;\u000a domain_resize_heaps_reservation_from_stw_single(new_minor_wsz);\u000a }\u000a\u000a if (allocate_minor_heap_arena(Caml_state->minor_heap_wsz) < 0) {\u000a caml_fatal_error(\"Fatal error: No memory for minor heap arena\");\u000a }\u000a }\u000a\u000aThis function changes the global minor heaps reservation during a STW\u000aevent where each domain first deallocates its arena and then\u000areallocates it in the new reservation. The problem is that\u000a`free_minor_heap_arena` now changes the value of\u000a`Caml_state->minor_heap_wsz` to 0, so the re-allocation that follows\u000awill try to allocate a 0-word (in fact a 512-word due to the\u000apage-alignment normalization logic) arena.\u000a\u000aThis bug can only be encountered by calling\u000a`caml_update_minor_heap_max`, so it affects few programs.\u000a\u000aI see two approaches to fix it:\u000a\u000a1. we could remove the zeroing of `minor_heap_wsz`,\u000a and instead use the previous check\u000a `young_start == NULL && young_end == NULL`\u000a to detect uninitialized arenas\u000a\u000a2. ... or we do assume that `free_minor_heap_arena` will unset\u000a the arena size (which is reasonable), and we preserve the desired\u000a size value within the `stw_resize_minor_heaps_reservation` function.\u000a\u000aThe present commit implements approach (2). I prefer to avoid a\u000asituation (as with (1)) where the `free` would leave the state only\u000apartially initialized, and it would be important for correctness.\u000a", "date" : "2025-07-23 17:31:13 +0200", "id" : "68a4b5649c7516ca311c7d4a8798d2ae90f397eb", "msg" : "domain.c: fix `stw_resize_minor_heaps_reservation`.", "paths" : [ { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "parsing/ast_helper.mli", "parsing/parser.mly", "parsing/depend.ml", "boot/menhir/parser.ml", "parsing/ast_iterator.ml", "parsing/parsetree.mli", "typing/untypeast.ml", "parsing/printast.ml", "file_formats/cmt_format.ml", "typing/tast_iterator.ml", "typing/printtyped.ml", "parsing/ast_mapper.ml", "typing/printpat.ml", "parsing/ast_helper.ml", "typing/tast_mapper.ml", "testsuite/tests/compiler-libs/test_untypeast.ml", "testsuite/tests/typing-implicit_unpack/implicit_unpack.ml", "typing/typedtree.ml", "typing/typedtree.mli", "typing/typetexp.ml", "testsuite/tests/parsetree/locations_test.compilers.reference", "parsing/pprintast.ml" ], "commitId" : "e374459de4de9f65c71cb6fe9f56959e15737428", "timestamp" : 1753348395000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, "authorEmail" : "samuel.aime.vivien@free.fr", "comment" : "Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` \u000a", "date" : "2025-07-24 10:13:15 +0100", "id" : "e374459de4de9f65c71cb6fe9f56959e15737428", "msg" : "Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)`", "paths" : [ { "editType" : "edit", "file" : "parsing/ast_helper.mli" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "file_formats/cmt_format.ml" }, { "editType" : "edit", "file" : "parsing/pprintast.ml" }, { "editType" : "edit", "file" : "typing/tast_mapper.ml" }, { "editType" : "edit", "file" : "typing/typedtree.mli" }, { "editType" : "edit", "file" : "typing/untypeast.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsetree/locations_test.compilers.reference" }, { "editType" : "edit", "file" : "typing/printpat.ml" }, { "editType" : "edit", "file" : "parsing/ast_helper.ml" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-implicit_unpack/implicit_unpack.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "testsuite/tests/compiler-libs/test_untypeast.ml" }, { "editType" : "edit", "file" : "parsing/parsetree.mli" }, { "editType" : "edit", "file" : "typing/tast_iterator.ml" }, { "editType" : "edit", "file" : "typing/typedtree.ml" }, { "editType" : "edit", "file" : "parsing/depend.ml" }, { "editType" : "edit", "file" : "parsing/ast_mapper.ml" }, { "editType" : "edit", "file" : "parsing/printast.ml" }, { "editType" : "edit", "file" : "parsing/ast_iterator.ml" }, { "editType" : "edit", "file" : "typing/printtyped.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "8c6300142b7753121395b08c5e558767c6578e7c", "timestamp" : 1753348479000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, "authorEmail" : "samuel.aime.vivien@free.fr", "comment" : "Changes\u000a", "date" : "2025-07-24 10:14:39 +0100", "id" : "8c6300142b7753121395b08c5e558767c6578e7c", "msg" : "Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "testsuite/tests/lib-hashtbl/htbl.ml", "stdlib/templates/hashtbl.template.mli", "stdlib/hashtbl.mli", "testsuite/tests/backtrace/backtrace2.reference", "stdlib/moreLabels.mli", "stdlib/hashtbl.ml" ], "commitId" : "9d44d724ad63ea76e22f5ac4740d7d0a66ec92bd", "timestamp" : 1753639810000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "add hashtbl remove and replace which return the previous value (#14060)\u000a\u000a", "date" : "2025-07-27 20:10:10 +0200", "id" : "9d44d724ad63ea76e22f5ac4740d7d0a66ec92bd", "msg" : "add hashtbl remove and replace which return the previous value (#14060)", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "stdlib/hashtbl.ml" }, { "editType" : "edit", "file" : "stdlib/templates/hashtbl.template.mli" }, { "editType" : "edit", "file" : "stdlib/hashtbl.mli" }, { "editType" : "edit", "file" : "testsuite/tests/lib-hashtbl/htbl.ml" }, { "editType" : "edit", "file" : "testsuite/tests/backtrace/backtrace2.reference" }, { "editType" : "edit", "file" : "stdlib/moreLabels.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/gc.ml", "runtime/memprof.c", "stdlib/gc.mli" ], "commitId" : "bab7aa8a5838830b5bb41a3c4b12dcd058665344", "timestamp" : 1753782052000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Memprof.start replaces any existing profile in the domain, Memprof.is_sampling\u000a\u000aThe change to Memprof.start increases its compositionality while\u000aconforming to the previous behaviour (it simply fails in fewer\u000asituations). This is necessary for us to implement the Memprof\u000ainterface on top of the package memprof-limits.\u000a\u000aThe new function is_sampling is for clients that do want to fail\u000aearly, e.g. when detecting that two Memprof clients are interfering.\u000a", "date" : "2025-07-29 11:40:52 +0200", "id" : "bab7aa8a5838830b5bb41a3c4b12dcd058665344", "msg" : "Memprof.start replaces any existing profile in the domain, Memprof.is_sampling", "paths" : [ { "editType" : "edit", "file" : "stdlib/gc.ml" }, { "editType" : "edit", "file" : "stdlib/gc.mli" }, { "editType" : "edit", "file" : "runtime/memprof.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/statmemprof/restart.reference", "testsuite/tests/statmemprof/start_stop.ml", "testsuite/tests/statmemprof/start_stop.reference", "testsuite/tests/statmemprof/restart.ml" ], "commitId" : "532fb2a80ea4667b7a339a9e50465d66a0e1abc4", "timestamp" : 1753782052000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Adjust test and add test\u000a", "date" : "2025-07-29 11:40:52 +0200", "id" : "532fb2a80ea4667b7a339a9e50465d66a0e1abc4", "msg" : "Adjust test and add test", "paths" : [ { "editType" : "add", "file" : "testsuite/tests/statmemprof/restart.reference" }, { "editType" : "add", "file" : "testsuite/tests/statmemprof/restart.ml" }, { "editType" : "edit", "file" : "testsuite/tests/statmemprof/start_stop.ml" }, { "editType" : "edit", "file" : "testsuite/tests/statmemprof/start_stop.reference" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/memprof.c" ], "commitId" : "18e01627beb8e9188f1586abfba4c1809650ced4", "timestamp" : 1753782052000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] Code clean-up\u000a", "date" : "2025-07-29 11:40:52 +0200", "id" : "18e01627beb8e9188f1586abfba4c1809650ced4", "msg" : "[minor] Code clean-up", "paths" : [ { "editType" : "edit", "file" : "runtime/memprof.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/gc.mli" ], "commitId" : "c0e29d9293147a35f9ad6ab827ec67008a8a6317", "timestamp" : 1753782053000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[documentation] Clarify a difference between threads and domains\u000a", "date" : "2025-07-29 11:40:53 +0200", "id" : "c0e29d9293147a35f9ad6ab827ec67008a8a6317", "msg" : "[documentation] Clarify a difference between threads and domains", "paths" : [ { "editType" : "edit", "file" : "stdlib/gc.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "c12e33c280b79464ea42d570b995f6deb21346aa", "timestamp" : 1753782114000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Changes\u000a", "date" : "2025-07-29 11:41:54 +0200", "id" : "c12e33c280b79464ea42d570b995f6deb21346aa", "msg" : "Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/statmemprof/start_stop.ml", "testsuite/tests/statmemprof/start_stop.reference" ], "commitId" : "632b901f995fa8eaf4d291bb1a0b7058e2c42689", "timestamp" : 1753782117000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Clarify test\u000a", "date" : "2025-07-29 11:41:57 +0200", "id" : "632b901f995fa8eaf4d291bb1a0b7058e2c42689", "msg" : "Clarify test", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/statmemprof/start_stop.ml" }, { "editType" : "edit", "file" : "testsuite/tests/statmemprof/start_stop.reference" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/memprof.c" ], "commitId" : "201ea83e90ade2b6fa31aa3453fd73033a060a6e", "timestamp" : 1753782117000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Run callbacks before starting a different profile\u000a\u000aSimplify code by using caml_memprof_run_callbacks_res\u000a", "date" : "2025-07-29 11:41:57 +0200", "id" : "201ea83e90ade2b6fa31aa3453fd73033a060a6e", "msg" : "Run callbacks before starting a different profile", "paths" : [ { "editType" : "edit", "file" : "runtime/memprof.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ ".github/workflows/multicoretests.yml" ], "commitId" : "43f3935e8791fe3455f4fb01c71b9a7cae756b31", "timestamp" : 1753796300000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mail", "fullName" : "mail" }, "authorEmail" : "mail@janmidtgaard.dk", "comment" : "Bump multicoretests to the trunk-compatible 0.9\u000a", "date" : "2025-07-29 15:38:20 +0200", "id" : "43f3935e8791fe3455f4fb01c71b9a7cae756b31", "msg" : "Bump multicoretests to the trunk-compatible 0.9", "paths" : [ { "editType" : "edit", "file" : ".github/workflows/multicoretests.yml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ ".github/workflows/multicoretests.yml" ], "commitId" : "1431910c765dd1744f13cd158eda5bf4c272c2ec", "timestamp" : 1753796412000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mail", "fullName" : "mail" }, "authorEmail" : "mail@janmidtgaard.dk", "comment" : "Also bump qcheck to 0.26 while we are at it\u000a", "date" : "2025-07-29 15:40:12 +0200", "id" : "1431910c765dd1744f13cd158eda5bf4c272c2ec", "msg" : "Also bump qcheck to 0.26 while we are at it", "paths" : [ { "editType" : "edit", "file" : ".github/workflows/multicoretests.yml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "runtime/fiber.c" ], "commitId" : "34a810a42b7aa75423568a14c00a72b0a78fddb8", "timestamp" : 1753866578000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "runtime: host aligned fibers inside the fiber cache whenever possible (#14169)\u000a\u000a* When growing a fiber, zero the alignment word before computing the next size in order\u000ato make this new size fits inside the fiber cache. \u000a* Add an assertion to check that small fibers are using the cache.\u000a", "date" : "2025-07-30 11:09:38 +0200", "id" : "34a810a42b7aa75423568a14c00a72b0a78fddb8", "msg" : "runtime: host aligned fibers inside the fiber cache whenever possible (#14169)", "paths" : [ { "editType" : "edit", "file" : "runtime/fiber.c" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-misc/wellfounded11150.ml" ], "commitId" : "a2eb4b7bbd0575943cf6f020c5eda4f5c91e5579", "timestamp" : 1753866731000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Add expectation to wellfounded11150.ml (#14170)\u000a\u000a* Add expectation to wellfounded11150.ml and document that this is a complexity class test\u000a", "date" : "2025-07-30 11:12:11 +0200", "id" : "a2eb4b7bbd0575943cf6f020c5eda4f5c91e5579", "msg" : "Add expectation to wellfounded11150.ml (#14170)", "paths" : [ { "editType" : "edit", "file" : "testsuite/tests/typing-misc/wellfounded11150.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "typing/oprint.ml", "typing/out_type.ml", "typing/outcometree.mli", "testsuite/tests/typing-gadts/test.ml" ], "commitId" : "ae66354144c49572dc7c38e4a7db416fe53a2246", "timestamp" : 1753952145000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Print row types when they are GADT constructors\u000a", "date" : "2025-07-31 10:55:45 +0200", "id" : "ae66354144c49572dc7c38e4a7db416fe53a2246", "msg" : "Print row types when they are GADT constructors", "paths" : [ { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/test.ml" }, { "editType" : "edit", "file" : "typing/outcometree.mli" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "typing/oprint.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/btype.ml" ], "commitId" : "8c57adb3dc00b0ba6dcd3a8dc82f4d0b506fc4b6", "timestamp" : 1753952149000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Better Btype.is_row_name\u000a", "date" : "2025-07-31 10:55:49 +0200", "id" : "8c57adb3dc00b0ba6dcd3a8dc82f4d0b506fc4b6", "msg" : "Better Btype.is_row_name", "paths" : [ { "editType" : "edit", "file" : "typing/btype.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "runtime/caml/fiber.h", "stdlib/gc.ml", "runtime/fiber.c", "runtime/gc_ctrl.c", "stdlib/gc.mli" ], "commitId" : "78a9495b72a320c42bdaf648c52f1d32a0660e16", "timestamp" : 1753972364000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, "authorEmail" : "noreply@github.com", "comment" : "Gc.stat: restore stack_size and add live_stacks_words (#14168)\u000a\u000a", "date" : "2025-07-31 16:32:44 +0200", "id" : "78a9495b72a320c42bdaf648c52f1d32a0660e16", "msg" : "Gc.stat: restore stack_size and add live_stacks_words (#14168)", "paths" : [ { "editType" : "edit", "file" : "runtime/caml/fiber.h" }, { "editType" : "edit", "file" : "runtime/fiber.c" }, { "editType" : "edit", "file" : "stdlib/gc.mli" }, { "editType" : "edit", "file" : "runtime/gc_ctrl.c" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "stdlib/gc.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "typing/typecore.ml", "testsuite/tests/typing-gadts/pr10907.ml", "typing/errortrace.mli", "testsuite/tests/typing-poly/poly_params.ml", "typing/ctype.ml", "typing/errortrace_report.ml", "testsuite/tests/typing-poly/poly.ml", "typing/errortrace.ml", "typing/ctype.mli", "testsuite/tests/typing-gadts/test.ml" ], "commitId" : "524fd249c09812d8d3371e00a8e108a4dd9d512b", "timestamp" : 1753974745000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "error message: explain quantification mismatches\u000a", "date" : "2025-07-31 17:12:25 +0200", "id" : "524fd249c09812d8d3371e00a8e108a4dd9d512b", "msg" : "error message: explain quantification mismatches", "paths" : [ { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "typing/errortrace.ml" }, { "editType" : "edit", "file" : "typing/errortrace_report.ml" }, { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr10907.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/test.ml" }, { "editType" : "edit", "file" : "typing/errortrace.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "parsing/location.ml" ], "commitId" : "80872a5c74db318834d3a4397d000cc2f7adf9db", "timestamp" : 1754049238000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "deprecation alert: file location\u000a", "date" : "2025-08-01 13:53:58 +0200", "id" : "80872a5c74db318834d3a4397d000cc2f7adf9db", "msg" : "deprecation alert: file location", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "parsing/location.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "00666f616a881ea664f0b0eb7bed74da60296ccd", "timestamp" : 1754299631000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, "authorEmail" : "florian.angeletti@inria.fr", "comment" : "update Changes\u000a", "date" : "2025-08-04 11:27:11 +0200", "id" : "00666f616a881ea664f0b0eb7bed74da60296ccd", "msg" : "update Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes", "typing/typecore.ml", "typing/out_type.ml", "testsuite/tests/typing-labels/pr13658.ml" ], "commitId" : "8e07de861d4ea0a77dcb1fe61a95e1289e462b35", "timestamp" : 1754414615000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, "authorEmail" : "source@s.muenzel.net", "comment" : "Fix #13658\u000a", "date" : "2025-08-05 19:23:35 +0200", "id" : "8e07de861d4ea0a77dcb1fe61a95e1289e462b35", "msg" : "Fix #13658", "paths" : [ { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "add", "file" : "testsuite/tests/typing-labels/pr13658.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/minor_gc.c" ], "commitId" : "38a962c50b4cee9cafb7d04cdd9de3fa40250c87", "timestamp" : 1754989737000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, "authorEmail" : "Nick.Barnes@pobox.com", "comment" : "Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC).\u000a", "date" : "2025-08-12 10:08:57 +0100", "id" : "38a962c50b4cee9cafb7d04cdd9de3fa40250c87", "msg" : "Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC).", "paths" : [ { "editType" : "edit", "file" : "runtime/minor_gc.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "otherlibs/runtime_events/runtime_events.mli", "otherlibs/runtime_events/runtime_events.ml", "runtime/minor_gc.c", "testsuite/tests/lib-runtime-events/test_caml_counters.ml", "runtime/caml/runtime_events.h" ], "commitId" : "4f2163db2e1f74134ea67421538bc211b30cb713", "timestamp" : 1755487399000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/timmcgil", "fullName" : "timmcgil" }, "authorEmail" : "timmcgil@gmail.com", "comment" : "Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS.\u000a\u000aEV_C_MINOR_PROMOTED_WORDS reports words promoted by minor GC and\u000aEV_C_MINOR_ALLOCATED_WORDS reports words allocated by minor GC. Both\u000ahave equivalent bytes counters.\u000a\u000aUpdate the documentation for EV_C_MINOR_PROMOTED and\u000aEV_C_MINOR_ALLOCATED to qualify scope of the values reported.\u000a", "date" : "2025-08-18 13:23:19 +1000", "id" : "4f2163db2e1f74134ea67421538bc211b30cb713", "msg" : "Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS.", "paths" : [ { "editType" : "edit", "file" : "otherlibs/runtime_events/runtime_events.mli" }, { "editType" : "edit", "file" : "runtime/caml/runtime_events.h" }, { "editType" : "edit", "file" : "runtime/minor_gc.c" }, { "editType" : "edit", "file" : "testsuite/tests/lib-runtime-events/test_caml_counters.ml" }, { "editType" : "edit", "file" : "otherlibs/runtime_events/runtime_events.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "tools/ocamlprof.ml" ], "commitId" : "2b6d2b03490a4bd01d736c47c7b9edbabe9d89bd", "timestamp" : 1755495519000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "ocamlprof: do not instrument unreachable clauses\u000a\u000afixes #14196\u000a", "date" : "2025-08-18 07:38:39 +0200", "id" : "2b6d2b03490a4bd01d736c47c7b9edbabe9d89bd", "msg" : "ocamlprof: do not instrument unreachable clauses", "paths" : [ { "editType" : "edit", "file" : "tools/ocamlprof.ml" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "b65a90c0463b60be67d234ec0ae5c72c615cdcec", "timestamp" : 1755502309000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Changes\u000a", "date" : "2025-08-18 09:31:49 +0200", "id" : "b65a90c0463b60be67d234ec0ae5c72c615cdcec", "msg" : "Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "e6231db020fe239ff3a5bed6ea9caadafad32c8f", "timestamp" : 1755508289000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Changes: 14169 was included in 5.4\u000a", "date" : "2025-08-18 11:11:29 +0200", "id" : "e6231db020fe239ff3a5bed6ea9caadafad32c8f", "msg" : "Changes: 14169 was included in 5.4", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "150be346abde5afc76d6a07d01d37651e42fc15f", "timestamp" : 1755563563000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/timmcgil", "fullName" : "timmcgil" }, "authorEmail" : "timmcgil@gmail.com", "comment" : "Add Changes\u000a", "date" : "2025-08-19 10:32:43 +1000", "id" : "150be346abde5afc76d6a07d01d37651e42fc15f", "msg" : "Add Changes", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "otherlibs/runtime_events/runtime_events.mli" ], "commitId" : "2cbb0075e02bc2046b6724366fbd5b54949cd312", "timestamp" : 1755563564000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/timmcgil", "fullName" : "timmcgil" }, "authorEmail" : "timmcgil@gmail.com", "comment" : "Highlight known units for runtime_counter.\u000a", "date" : "2025-08-19 10:32:44 +1000", "id" : "2cbb0075e02bc2046b6724366fbd5b54949cd312", "msg" : "Highlight known units for runtime_counter.", "paths" : [ { "editType" : "edit", "file" : "otherlibs/runtime_events/runtime_events.mli" } ] } ], "kind" : "git" }, "culprits" : [ { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sdolan", "fullName" : "sdolan" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/david.allsopp", "fullName" : "david.allsopp" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/clement.blaudeau", "fullName" : "clement.blaudeau" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mail", "fullName" : "mail" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mshinwell", "fullName" : "mshinwell" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/kc", "fullName" : "kc" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/timmcgil", "fullName" : "timmcgil" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/rtjoa", "fullName" : "rtjoa" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/source", "fullName" : "source" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/nick.barnes", "fullName" : "Nick.Barnes" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" } ] }