{ "_class" : "hudson.matrix.MatrixRun", "actions" : [ { }, { "_class" : "hudson.model.CauseAction", "causes" : [ { "_class" : "hudson.model.Cause$UpstreamCause", "shortDescription" : "Started by upstream project \"main\" build number 4,805", "upstreamBuild" : 4805, "upstreamProject" : "main", "upstreamUrl" : "job/main/" } ] }, { }, { "_class" : "hudson.plugins.git.util.BuildData", "buildsByBranchName" : { "origin/trunk" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4805, "buildResult" : None, "marked" : { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "branch" : [ { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "name" : "origin/trunk" } ] }, "revision" : { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "branch" : [ { "SHA1" : "94d408c9c94b2756bf57838ec04a327f861eaeef", "name" : "origin/trunk" } ] } }, "origin/4.07" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 711, "buildResult" : None, "marked" : { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "branch" : [ { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "name" : "origin/4.07" } ] }, "revision" : { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "branch" : [ { "SHA1" : "2fdf8f43333671f4644c08ec4db1ada902bf816c", "name" : "origin/4.07" } ] } }, "origin/4.08" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1466, "buildResult" : None, "marked" : { "SHA1" : "849bf6239dd0f9dae45b945c92e24f41d27fd3ad", "branch" : [ { "SHA1" : "849bf6239dd0f9dae45b945c92e24f41d27fd3ad", "name" : "origin/4.08" } ] }, "revision" : { "SHA1" : "849bf6239dd0f9dae45b945c92e24f41d27fd3ad", "branch" : [ { "SHA1" : "849bf6239dd0f9dae45b945c92e24f41d27fd3ad", "name" : "origin/4.08" } ] } }, "origin/4.06" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 264, "buildResult" : None, "marked" : { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "branch" : [ { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "name" : "origin/4.06" } ] }, "revision" : { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "branch" : [ { "SHA1" : "6a7a46f00cf7b265c1d3bf19ea8a0736dbff17c1", "name" : "origin/4.06" } ] } }, "refs/remotes/origin/4.08" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1189, "buildResult" : None, "marked" : { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "branch" : [ { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "name" : "refs/remotes/origin/4.08" } ] }, "revision" : { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "branch" : [ { "SHA1" : "16ce302ee1d31a4afc932d3dc85173b4988f5218", "name" : "refs/remotes/origin/4.08" } ] } }, "origin/4.09" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 1436, "buildResult" : None, "marked" : { "SHA1" : "308ea9a8d526160e2b45f16d63a0aee70984b814", "branch" : [ { "SHA1" : "308ea9a8d526160e2b45f16d63a0aee70984b814", "name" : "origin/4.09" } ] }, "revision" : { "SHA1" : "308ea9a8d526160e2b45f16d63a0aee70984b814", "branch" : [ { "SHA1" : "308ea9a8d526160e2b45f16d63a0aee70984b814", "name" : "origin/4.09" } ] } }, "origin/4.14" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4783, "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" : 4785, "buildResult" : None, "marked" : { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "branch" : [ { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "name" : "origin/5.3" } ] }, "revision" : { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "branch" : [ { "SHA1" : "489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc", "name" : "origin/5.3" } ] } }, "origin/5.2" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 4743, "buildResult" : None, "marked" : { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "branch" : [ { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "name" : "origin/5.2" } ] }, "revision" : { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "branch" : [ { "SHA1" : "da1cc7acd855ae1aaf309f2a11f0f91a953a4377", "name" : "origin/5.2" } ] } } }, "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" : "origin/trunk-#4805", "duration" : 1729534, "estimatedDuration" : 1726788, "executor" : None, "fullDisplayName" : "main ยป false,ocaml-ubuntu-latest origin/trunk-#4805", "id" : "4805", "inProgress" : False, "keepLog" : False, "number" : 4805, "queueId" : 23499, "result" : "SUCCESS", "timestamp" : 1756111266818, "url" : "https://ci.inria.fr/ocaml/job/main/flambda=false,label=ocaml-ubuntu-latest/4805/", "builtOn" : "ocaml-ubuntu-latest", "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" : [ "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/shared_heap.c" }, { "editType" : "edit", "file" : "runtime/major_gc.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" : [ "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" : "typing/typedecl.mli" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "add", "file" : "testsuite/tests/typing-external/non_syntactic_arity.ml" }, { "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/signals.c", "runtime/fiber.c", "runtime/major_gc.c", "runtime/domain.c", "runtime/intern.c", "testsuite/tests/parallel/churn.reference", "runtime/caml/minor_gc.h", "testsuite/tests/parallel/churn.ml", "runtime/minor_gc.c", "runtime/caml/major_gc.h", "runtime/shared_heap.c", "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/major_gc.c" }, { "editType" : "edit", "file" : "runtime/memory.c" }, { "editType" : "edit", "file" : "runtime/domain.c" }, { "editType" : "edit", "file" : "runtime/array.c" }, { "editType" : "add", "file" : "testsuite/tests/parallel/churn.ml" }, { "editType" : "edit", "file" : "runtime/caml/major_gc.h" }, { "editType" : "edit", "file" : "runtime/shared_heap.c" }, { "editType" : "edit", "file" : "runtime/signals.c" }, { "editType" : "add", "file" : "testsuite/tests/parallel/churn.reference" }, { "editType" : "edit", "file" : "runtime/caml/minor_gc.h" }, { "editType" : "edit", "file" : "runtime/intern.c" }, { "editType" : "edit", "file" : "runtime/minor_gc.c" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "runtime/caml/shared_heap.h" }, { "editType" : "edit", "file" : "runtime/fiber.c" }, { "editType" : "edit", "file" : "runtime/weak.c" }, { "editType" : "edit", "file" : "runtime/caml/domain.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.mli" }, { "editType" : "edit", "file" : "typing/typedtree.ml" }, { "editType" : "edit", "file" : "typing/typemod.ml" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/typedtree.mli" } ] }, { "_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/oprint.ml", "typing/tast_mapper.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/ast_helper.mli", "parsing/depend.ml", "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/typeclass.ml", "typing/typedtree.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" : "parsing/ast_helper.mli" }, { "editType" : "edit", "file" : "typing/typedecl_variance.ml" }, { "editType" : "edit", "file" : "ocamldoc/odoc_env.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/extensions.compilers.reference" }, { "editType" : "edit", "file" : "typing/tast_iterator.ml" }, { "editType" : "edit", "file" : "typing/typemod.ml" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "parsing/depend.ml" }, { "editType" : "edit", "file" : "parsing/parsetree.mli" }, { "editType" : "edit", "file" : "typing/outcometree.mli" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/attributes.compilers.reference" }, { "editType" : "edit", "file" : "typing/typeclass.ml" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "typing/typedtree.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/shortcut_ext_attr.compilers.reference" }, { "editType" : "edit", "file" : "testsuite/tests/parsing/hash_ambiguity.compilers.reference" }, { "editType" : "edit", "file" : "typing/typedecl.ml" }, { "editType" : "edit", "file" : "parsing/pprintast.ml" }, { "editType" : "edit", "file" : "typing/typedtree.mli" }, { "editType" : "edit", "file" : "typing/types.ml" }, { "editType" : "edit", "file" : "typing/gprinttyp.ml" }, { "editType" : "edit", "file" : "parsing/ast_iterator.ml" }, { "editType" : "edit", "file" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "typing/subst.ml" }, { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "typing/types.mli" }, { "editType" : "edit", "file" : "parsing/ast_mapper.ml" }, { "editType" : "edit", "file" : "typing/untypeast.ml" }, { "editType" : "edit", "file" : "typing/oprint.ml" }, { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "typing/rawprinttyp.ml" }, { "editType" : "edit", "file" : "typing/printtyped.ml" }, { "editType" : "edit", "file" : "parsing/ast_helper.ml" }, { "editType" : "edit", "file" : "parsing/ast_invariants.ml" }, { "editType" : "edit", "file" : "typing/typedecl_separability.ml" }, { "editType" : "edit", "file" : "typing/tast_mapper.ml" }, { "editType" : "edit", "file" : "parsing/printast.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsetree/locations_test.compilers.reference" } ] }, { "_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-gadts/ambiguity.ml", "testsuite/tests/typing-misc/injectivity.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-unboxed-types/test.ml", "testsuite/tests/typing-gadts/pr5985.ml", "testsuite/tests/typing-modules/pr7818.ml", "testsuite/tests/typing-modules/pr7851.ml", "testsuite/tests/typing-recmod/pr6491.ml", "testsuite/tests/typing-gadts/pr6158.ml", "testsuite/tests/typing-poly/poly.ml", "testsuite/tests/typing-modules/aliases.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/letrec-check/records.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr7374.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/float_unboxing.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-unboxed-types/test.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/polyvars.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr5985.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/ambiguity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/lib-array/test_array.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-misc/variance.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr13579.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr6158.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7818.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7851.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-recmod/pr6491.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/yallop_bugs.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/injectivity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/aliases.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/firstclass.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-modules/pr7851.ml", "testsuite/tests/typing-unboxed-types/test.ml", "testsuite/tests/typing-recmod/pr6491.ml", "testsuite/tests/typing-modules/pr7818.ml", "testsuite/tests/typing-gadts/pr5985.ml", "testsuite/tests/typing-modules/aliases.ml", "testsuite/tests/typing-gadts/pr6158.ml", "testsuite/tests/typing-poly/poly.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-modules/firstclass.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/yallop_bugs.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/variance.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7851.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/records.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-unboxed-types/test.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/aliases.ml" }, { "editType" : "edit", "file" : "testsuite/tests/lib-array/test_array.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/gadthead.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/ambiguity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/polyvars.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/injectivity.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-recmod/pr6491.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-modules/pr7818.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr6158.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr13579.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr7374.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-immediate/immediate.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr5985.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly.ml" }, { "editType" : "edit", "file" : "testsuite/tests/letrec-check/float_unboxing.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/types.mli", "typing/typeopt.ml", "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/btype.mli" }, { "editType" : "edit", "file" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "typing/typeclass.ml" }, { "editType" : "edit", "file" : ".depend" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "typing/typetexp.mli" }, { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "typing/types.mli" }, { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "toplevel/topprinters.ml" }, { "editType" : "edit", "file" : "typing/typedecl.ml" }, { "editType" : "edit", "file" : "typing/typeopt.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-objects/Exemples.ml" }, { "editType" : "edit", "file" : "typing/errortrace_report.ml" }, { "editType" : "edit", "file" : "typing/typeclass.mli" }, { "editType" : "edit", "file" : "typing/btype.ml" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "typing/typecore.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.ml" }, { "editType" : "edit", "file" : "typing/typecore.mli" } ] }, { "_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" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "typing/typecore.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" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "lambda/translcore.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/typecore.mli", "typing/typetexp.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/typecore.ml" }, { "editType" : "edit", "file" : "typing/typecore.mli" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/typetexp.mli" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" } ] }, { "_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" : "typing/typedecl.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "typing/ctype.mli" } ] }, { "_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-objects/Exemples.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-misc/typecore_errors.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" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "parsing/parser.mly" } ] }, { "_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/typecore.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "typing/ctype.mli" } ] }, { "_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" : "typing/typeclass.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.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/btype.ml" }, { "editType" : "edit", "file" : "typing/ctype.mli" }, { "editType" : "edit", "file" : "typing/btype.mli" }, { "editType" : "edit", "file" : "toplevel/topprinters.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/ctype.ml", "typing/typecore.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/ctype.ml" }, { "editType" : "edit", "file" : "typing/typecore.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" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" } ] }, { "_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" : "Makefile" }, { "editType" : "edit", "file" : "configure" } ] }, { "_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.ac" }, { "editType" : "edit", "file" : "configure" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "configure.ac", "Makefile", "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" : "configure" }, { "editType" : "edit", "file" : "configure.ac" }, { "editType" : "edit", "file" : "Makefile" } ] }, { "_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/macos-lldb-amd64.reference", "testsuite/tests/native-debugger/linux-lldb-amd64.reference", "middle_end/compilenv.ml", "testsuite/tests/native-debugger/macos-lldb-arm64.reference", "testsuite/tests/native-debugger/linux-lldb-arm64.reference", "asmcomp/x86_proc.ml", "asmcomp/emitaux.ml", "testsuite/tests/atomic-locs/cmm.compilers.reference", "testsuite/tests/native-debugger/linux-gdb-arm64.reference", "runtime/arm64.S", "testsuite/tests/native-debugger/linux-gdb-riscv.reference", "runtime/dynlink_nat.c", "testsuite/tests/asmcomp/func_sections.run", "testsuite/tests/native-debugger/linux-gdb-amd64.reference", "runtime/s390x.S", "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" : "testsuite/tests/asmcomp/func_sections.run" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-gdb-arm64.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/macos-lldb-amd64.reference" }, { "editType" : "edit", "file" : "runtime/power.S" }, { "editType" : "edit", "file" : "middle_end/compilenv.ml" }, { "editType" : "edit", "file" : "runtime/riscv.S" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "runtime/arm64.S" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-lldb-amd64.reference" }, { "editType" : "edit", "file" : "asmcomp/x86_proc.ml" }, { "editType" : "edit", "file" : "runtime/amd64.S" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-gdb-riscv.reference" }, { "editType" : "edit", "file" : "asmcomp/emitaux.ml" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/macos-lldb-arm64.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/lldb-script" }, { "editType" : "edit", "file" : "testsuite/tests/atomic-locs/cmm.compilers.reference" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-gdb-amd64.reference" }, { "editType" : "edit", "file" : "middle_end/compilenv.mli" }, { "editType" : "edit", "file" : "runtime/dynlink_nat.c" }, { "editType" : "edit", "file" : "runtime/s390x.S" }, { "editType" : "edit", "file" : "testsuite/tests/native-debugger/linux-lldb-arm64.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/domain.c", "runtime/minor_gc.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/domain.c" }, { "editType" : "edit", "file" : "runtime/minor_gc.c" }, { "editType" : "edit", "file" : "runtime/caml/domain.h" } ] }, { "_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" : [ "Changes", "runtime/domain.c" ], "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" : "Changes" }, { "editType" : "edit", "file" : "runtime/domain.c" } ] }, { "_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/parser.mly", "parsing/ast_helper.mli", "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", "testsuite/tests/compiler-libs/test_untypeast.ml", "typing/tast_mapper.ml", "testsuite/tests/typing-implicit_unpack/implicit_unpack.ml", "typing/typedtree.ml", "typing/typedtree.mli", "testsuite/tests/parsetree/locations_test.compilers.reference", "typing/typetexp.ml", "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/parsetree.mli" }, { "editType" : "edit", "file" : "typing/tast_iterator.ml" }, { "editType" : "edit", "file" : "typing/printtyped.ml" }, { "editType" : "edit", "file" : "file_formats/cmt_format.ml" }, { "editType" : "edit", "file" : "typing/typedtree.ml" }, { "editType" : "edit", "file" : "boot/menhir/parser.ml" }, { "editType" : "edit", "file" : "testsuite/tests/parsetree/locations_test.compilers.reference" }, { "editType" : "edit", "file" : "testsuite/tests/compiler-libs/test_untypeast.ml" }, { "editType" : "edit", "file" : "typing/typedtree.mli" }, { "editType" : "edit", "file" : "parsing/parser.mly" }, { "editType" : "edit", "file" : "testsuite/tests/typing-implicit_unpack/implicit_unpack.ml" }, { "editType" : "edit", "file" : "parsing/ast_helper.ml" }, { "editType" : "edit", "file" : "typing/typecore.ml" }, { "editType" : "edit", "file" : "parsing/pprintast.ml" }, { "editType" : "edit", "file" : "parsing/ast_helper.mli" }, { "editType" : "edit", "file" : "parsing/ast_iterator.ml" }, { "editType" : "edit", "file" : "parsing/ast_mapper.ml" }, { "editType" : "edit", "file" : "parsing/printast.ml" }, { "editType" : "edit", "file" : "parsing/depend.ml" }, { "editType" : "edit", "file" : "typing/typetexp.ml" }, { "editType" : "edit", "file" : "typing/printpat.ml" }, { "editType" : "edit", "file" : "typing/tast_mapper.ml" }, { "editType" : "edit", "file" : "typing/untypeast.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" : "testsuite/tests/backtrace/backtrace2.reference" }, { "editType" : "edit", "file" : "stdlib/hashtbl.mli" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "stdlib/moreLabels.mli" }, { "editType" : "edit", "file" : "testsuite/tests/lib-hashtbl/htbl.ml" }, { "editType" : "edit", "file" : "stdlib/hashtbl.ml" }, { "editType" : "edit", "file" : "stdlib/templates/hashtbl.template.mli" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "runtime/memprof.c", "stdlib/gc.ml", "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" : "runtime/memprof.c" }, { "editType" : "edit", "file" : "stdlib/gc.mli" }, { "editType" : "edit", "file" : "stdlib/gc.ml" } ] }, { "_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" : "edit", "file" : "testsuite/tests/statmemprof/start_stop.ml" }, { "editType" : "add", "file" : "testsuite/tests/statmemprof/restart.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.reference", "testsuite/tests/statmemprof/start_stop.ml" ], "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.reference" }, { "editType" : "edit", "file" : "testsuite/tests/statmemprof/start_stop.ml" } ] }, { "_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" : "Changes" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/test.ml" }, { "editType" : "edit", "file" : "typing/oprint.ml" }, { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "typing/outcometree.mli" } ] }, { "_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.ml" }, { "editType" : "edit", "file" : "Changes" }, { "editType" : "edit", "file" : "stdlib/gc.mli" }, { "editType" : "edit", "file" : "runtime/gc_ctrl.c" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "testsuite/tests/typing-gadts/pr10907.ml", "typing/typecore.ml", "typing/errortrace.mli", "testsuite/tests/typing-poly/poly_params.ml", "typing/errortrace_report.ml", "typing/ctype.ml", "testsuite/tests/typing-poly/poly.ml", "typing/errortrace.ml", "testsuite/tests/typing-gadts/test.ml", "typing/ctype.mli" ], "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/errortrace_report.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/pr10907.ml" }, { "editType" : "edit", "file" : "typing/errortrace.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-poly/poly_params.ml" }, { "editType" : "edit", "file" : "typing/ctype.ml" }, { "editType" : "edit", "file" : "testsuite/tests/typing-gadts/test.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" : "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" : "parsing/location.ml" }, { "editType" : "edit", "file" : "Changes" } ] }, { "_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" : "add", "file" : "testsuite/tests/typing-labels/pr13658.ml" }, { "editType" : "edit", "file" : "typing/out_type.ml" }, { "editType" : "edit", "file" : "typing/typecore.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" : "testsuite/tests/lib-runtime-events/test_caml_counters.ml" }, { "editType" : "edit", "file" : "runtime/minor_gc.c" }, { "editType" : "edit", "file" : "runtime/caml/runtime_events.h" }, { "editType" : "edit", "file" : "otherlibs/runtime_events/runtime_events.mli" }, { "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/david.allsopp", "fullName" : "david.allsopp" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mail", "fullName" : "mail" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/noreply", "fullName" : "noreply" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/timmcgil", "fullName" : "timmcgil" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/samuel.aime.vivien", "fullName" : "samuel.aime.vivien" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/kc", "fullName" : "kc" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/florian.angeletti@inria.fr", "fullName" : "Florian Angeletti" }, { "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/nick.barnes", "fullName" : "Nick.Barnes" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/mshinwell", "fullName" : "mshinwell" }, { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/sadiq", "fullName" : "sadiq" } ] }