Changes

#2922 (Aug 18, 2025, 11:12:18 AM)

1. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2921 (Aug 18, 2025, 11:06:32 AM)

1. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
2. Changes (commit: b65a90c) — gabriel.scherer / githubweb

#2921 (Aug 18, 2025, 11:06:32 AM)

1. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
2. Changes (commit: b65a90c) — gabriel.scherer / githubweb
3. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2920 (Aug 13, 2025, 11:25:26 AM)

1. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb

#2920 (Aug 13, 2025, 11:25:26 AM)

1. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
2. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
3. Changes (commit: b65a90c) — gabriel.scherer / githubweb
4. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2919 (Aug 8, 2025, 5:46:41 PM)

1. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
2. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
3. Changes (commit: b65a90c) — gabriel.scherer / githubweb
4. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2918 (Aug 7, 2025, 3:55:20 PM)

1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb

#2918 (Aug 7, 2025, 3:55:20 PM)

1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
2. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
3. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
4. Changes (commit: b65a90c) — gabriel.scherer / githubweb
5. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

#2917 (Aug 6, 2025, 11:37:52 AM)

1. error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
2. update Changes (commit: 00666f6) — Florian Angeletti / githubweb

#2917 (Aug 6, 2025, 11:37:52 AM)

1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
2. error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
3. update Changes (commit: 00666f6) — Florian Angeletti / githubweb
4. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
5. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
6. Changes (commit: b65a90c) — gabriel.scherer / githubweb
7. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb