Changes

#2884 (Jul 16, 2025, 10:27:12 AM)

1. [minor] indentation fix in errortrace_report (commit: b2aa0fa) — gabriel.scherer / githubweb

#2883 (Jul 15, 2025, 1:43:05 PM)

1. cpp support: move basic type definitions to misc (commit: 2105aac) — Florian Angeletti / githubweb

#2882 (Jul 11, 2025, 9:45:26 AM)

1. typechecker: fix an internal error due to wrong exception (commit: fa858d9) — Florian Angeletti / githubweb

#2881 (Jul 10, 2025, 2:53:56 PM)

1. Refactor post_process of signature merging (commit: f9025a6) — clement.blaudeau / githubweb
2. Update comment and Changelog (commit: 706823f) — clement.blaudeau / githubweb
3. Address review comments (commit: b7a020f) — clement.blaudeau / githubweb
4. Update comment (commit: a4a7be5) — clement.blaudeau / githubweb

#2880 (Jul 10, 2025, 6:56:45 AM)

1. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) (commit: c064ea2) — noreply / githubweb

#2879 (Jul 9, 2025, 5:02:23 PM)

1. matching: fix some non-deterministic code generation (#14091) (commit: dce8e77) — noreply / githubweb