Skip to content

Changes

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

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

#2882 (Jun 10, 2025, 6:36:31 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

#2881 (Jun 10, 2025, 6:28: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

#2880 (Jun 10, 2025, 6:20:11 PM)

  1. error messages: point mismatched univars (commit: 511e95b) — Florian Angeletti / githubweb
  2. update Changes (commit: b5a884a) — Florian Angeletti / githubweb

#2879 (Jun 9, 2025, 10:21:43 PM)

  1. Switch back to ubuntu-latest (commit: 342a643) — david.allsopp / githubweb

#2830 (May 7, 2025, 5:40:33 PM)

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