Skip to content

Changes

#2847 (Jun 11, 2025, 3:23:14 PM)

  1. Changes bookkeeping: missing reviewer (commit: 12ea618) — Florian Angeletti / githubweb

#2846 (Jun 10, 2025, 6:40:41 PM)

  1. For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. (commit: 48b9b73) — kc / githubweb
  2. Introduce Sixtyfour memory chunk to handle unaligned accesses (commit: 5f2b948) — kc / githubweb
  3. Address reviewer comments. (commit: a2e25d6) — kc / githubweb

#2845 (Jun 10, 2025, 6:30:36 PM)

  1. Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow (commit: aeb980b) — samuel.aime.vivien / githubweb
  2. Catch invalid aliases at merging rather than subtyping (#14066) (commit: 5607fc4) — noreply / githubweb

#2795 (May 7, 2025, 2:39:03 PM)

  1. Fix memory corruption when an exception is raised during demarshaling. (#14015) (commit: 5745a8f) — david.allsopp / githubweb