17 Pull requests merged by 11 people

• 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

• Add a check for >80 char lines to the CI

  #3989 merged May 14, 2025

• Add bounds checks to the frame table emission code

  #3987 merged May 14, 2025

• Set a default for major_heap_increment

  #3999 merged May 14, 2025

• Remove subkinds from value slots

  #3981 merged May 14, 2025

• Fix to_cmm with complex arities

  #3982 merged May 14, 2025

12 Pull requests opened by 10 people

• Optionally disable hugepages for stacks

  #4001 opened May 14, 2025

• 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

• Document the separability axis

  #4015 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

1 Issue opened by 1 person

• Code examples should be copy-paste ready

  #4016 opened May 16, 2025

18 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 19, 2025 • 29 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

• Infer with-kinds for GADTs, using `Tof_kind` for existentials

  #3814 commented on May 14, 2025 • 5 new comments

• Initial stab at mode documentation

  #3955 commented on May 16, 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 20, 2025 • 1 new comment

• Infer with-kinds for easy polymorphic variants

  #3845 commented on May 14, 2025 • 1 new comment

• 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

• Remove `@no_mutable_implied_modalities`

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

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

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

• Refactor lattice flipping for modes

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

• Propagate Debugging Identifiers through Lambda

  #3942 commented on May 20, 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 15, 2025 • 0 new comments

• Support modules of non-legacy modes

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

• Unboxed records inside boxed records

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