18 Pull requests merged by 12 people

• Refactor lattice flipping for modes

  #3949 merged May 22, 2025

• arm64: fix mov register encoding

  #4030 merged May 21, 2025

• Avoid outdated unique_ keyword in doc

  #4029 merged May 21, 2025

• Document the separability axis

  #4015 merged May 21, 2025

• Propagate Debugging Identifiers through Lambda

  #3942 merged May 21, 2025

• Add option to enable validation in standalone regalloc tool

  #4025 merged May 21, 2025

• Add more docs on kind syntax

  #3988 merged May 20, 2025

• Datalog: add [not_equal] and [filter] predicates

  #4018 merged May 20, 2025

• Use [@opaque] in flambda-backend tests instead of [@inline never][@local never]

  #4019 merged May 20, 2025

• Separability axis basics

  #3854 merged May 16, 2025

• Text tweaks

  #4014 merged May 16, 2025

• Fix links

  #4011 merged May 16, 2025

• Document [row_more]

  #3934 merged May 16, 2025

• Note that immutable arrays and labeled tuples will be in OCaml 5.4

  #4009 merged May 16, 2025

• Fix runtime5 on macOS x86

  #4008 merged May 16, 2025

• Skip the 80ch check on autoformatted files

  #4006 merged May 16, 2025

• Provide mechanism to save CFG before register allocation

  #4000 merged May 15, 2025

• Bump magic numbers for 5.2.0minus-10

  #4002 merged May 15, 2025

15 Pull requests opened by 9 people

• Add never_called_indirectly case in set of closures

  #4003 opened May 15, 2025

• Better memory mapping names

  #4004 opened May 15, 2025

• Parallelism tutorial 2

  #4007 opened May 15, 2025

• Tidying

  #4010 opened May 16, 2025

• Use OxCaml instead of OCaml

  #4012 opened May 16, 2025

• Add [Thread.use_domains] to force us into the domains locking mode

  #4013 opened May 16, 2025

• Block indices

  #4017 opened May 16, 2025

• Automatic reordering of module fields to allow for mixed modules

  #4020 opened May 20, 2025

• Add `parameterised_modules: true` to `-config`

  #4021 opened May 20, 2025

• Fix: Jkind normalization looks at irrelevant axes

  #4022 opened May 20, 2025

• Emit `LLVM-MCA` markers

  #4023 opened May 21, 2025

• Various fixes on unboxed and kinds

  #4024 opened May 21, 2025

• Add option to enable validation in standalone `regalloc` tool

  #4027 opened May 21, 2025

• Fix typo in `install` stanza of `utils/dune`

  #4028 opened May 21, 2025

• Use affine instead of linear

  #4032 opened May 21, 2025

1 Issue closed by 1 person

• Documentation of _unique allocation missing?

  #4026 closed May 21, 2025

2 Issues opened by 1 person

• Documentation does mention domains

  #4031 opened May 21, 2025

• Code examples should be copy-paste ready

  #4016 opened May 16, 2025

17 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Implement `let mutable`

  #3964 commented on May 21, 2025 • 30 new comments

• Parallelism tutorial

  #3886 commented on May 19, 2025 • 18 new comments

• `non_float` arrays are `addrarray`s

  #3973 commented on May 19, 2025 • 7 new comments

• Initial stab at mode documentation

  #3955 commented on May 21, 2025 • 6 new comments

• `Modality.Value.Const` should behave like a product

  #3961 commented on May 22, 2025 • 5 new comments

• Minor fixes to the mode system

  #3824 commented on May 20, 2025 • 3 new comments

• Implement vec256/512

  #3966 commented on May 21, 2025 • 1 new comment

• Optionally disable hugepages for stacks

  #4001 commented on May 15, 2025 • 0 new comments

• Improved x86 code generation for Boolean not

  #3993 commented on May 16, 2025 • 0 new comments

• Make visible and hidden libloc files separate

  #3974 commented on May 16, 2025 • 0 new comments

• Propagate Debugging Identifiers through the Middle End

  #3967 commented on May 21, 2025 • 0 new comments

• Remove `@no_mutable_implied_modalities`

  #3962 commented on May 22, 2025 • 0 new comments

• [For testing] Unbox free vars of closures

  #3820 commented on May 20, 2025 • 0 new comments

• `value_or_null` atomics with correct result kind inference

  #3807 commented on May 21, 2025 • 0 new comments

• Support modules of non-legacy modes

  #3759 commented on May 20, 2025 • 0 new comments

• `%is_immediate`

  #3735 commented on May 21, 2025 • 0 new comments

• Unboxed records inside boxed records

  #3687 commented on May 21, 2025 • 0 new comments