Skip to content

Changes

origin/trunk-#5422 (Sep 2, 2025, 4:56:51 PM)

  1. Better error message when a functor is its own unsafe functor (commit: 1ac6152) — source / githubweb
  2. Actually make example unsafe (see #14217) (commit: a69f472) — source / githubweb

origin/trunk-#5421 (Sep 2, 2025, 10:16:25 AM)

  1. Changes bookkeeping (commit: 5f7ee1e) — Florian Angeletti / githubweb

origin/trunk-#5420 (Sep 1, 2025, 5:10:47 PM)

  1. toplevel: fix printing of qualified labels (commit: d5be817) — Florian Angeletti / githubweb
  2. update Changes (commit: 1a233f5) — Florian Angeletti / githubweb

origin/trunk-#5419 (Aug 29, 2025, 6:29:24 PM)

  1. fix tsan tests to account for #14143 (#14203) (commit: 2c69da8) — noreply / githubweb

origin/trunk-#5418 (Aug 29, 2025, 3:19:09 PM)

  1. fix memory model for Weak.set (commit: 0f6fbae) — damien.doligez / githubweb
  2. refactor weak.c/do_set to look more like memory.c/modify (commit: 0b00bf9) — damien.doligez / githubweb
  3. Changes (commit: 72e8a48) — gabriel.scherer / githubweb

origin/trunk-#5417 (Aug 29, 2025, 2:58:23 PM)

  1. Recognize %identity as nonexpansive (#14029) (commit: 57fcefe) — noreply / githubweb

origin/trunk-#5416 (Aug 29, 2025, 2:46:08 PM)

  1. Elide duplicate ephemeron status check (#14175) (commit: 333a539) — noreply / githubweb

origin/trunk-#5415 (Aug 29, 2025, 2:32:23 PM)

  1. Fix typos in comment (#14194) (commit: 144463d) — noreply / githubweb

origin/trunk-#5414 (Aug 29, 2025, 12:41:23 PM)

  1. Add List.split_map (#14185) (commit: 3c36ad0) — noreply / githubweb