133 Pull requests merged by 27 people

• Restrict ppx_template doc line width to 60 characters

  #4134 merged Jun 13, 2025

• Parallelism tutorial

  #3886 merged Jun 12, 2025

• Capsules.md fix

  #4133 merged Jun 12, 2025

• Fix Rec_info for imported classic mode approximations

  #4113 merged Jun 12, 2025

• Don't install VERSION

  #4127 merged Jun 12, 2025

• flambda-backend is now called OxCaml

  #4123 merged Jun 12, 2025

• Update toplevel LICENSE file

  #4125 merged Jun 12, 2025

• Add some more variables to config printouts

  #4122 merged Jun 12, 2025

• Fix kind checks for partial/over applications

  #3883 merged Jun 12, 2025

• Cleanup and reorganization of the docs

  #4120 merged Jun 11, 2025

• flambda2: Document (rare) loss of precision in row-like meet

  #4119 merged Jun 11, 2025

• Add comments clarifying domain/finaliser guarantees

  #3938 merged Jun 11, 2025

• Support nullary unboxed products in flambda2

  #4083 merged Jun 11, 2025

• Add never_called_indirectly case in set of closures

  #4003 merged Jun 11, 2025

• Add Zero Alloc Template Docs

  #4116 merged Jun 10, 2025

• Parallelism tutorial 2

  #4007 merged Jun 10, 2025

• Remove leftover from debug session

  #4114 merged Jun 10, 2025

• Remove unused "expected" test file

  #4115 merged Jun 10, 2025

• Add documentation of zero alloc and probe

  #4111 merged Jun 10, 2025

• Revert "Revert "exn crosses portable and contended (#4062)""

  #4110 merged Jun 10, 2025

• Fix name abstraction when simplifying switch

  #4058 merged Jun 10, 2025

• Allow --enable-multidomain without --enable-stack-checks

  #4108 merged Jun 9, 2025

• More informative error for mixed product arrays

  #4105 merged Jun 6, 2025

• Add OxCaml Template Docs

  #4106 merged Jun 6, 2025

• Fix fixed in poly params

  #4102 merged Jun 6, 2025

• fix: genprintval should not call is_null on a value layout

  #4091 merged Jun 6, 2025

• Annotate 'a Domain.t as mod portable contended with 'a

  #3829 merged Jun 6, 2025

• Bump magic numbers for 5.2.0minus-11

  #4103 merged Jun 6, 2025

• Move systhreads4 stubs into runtime4 itself

  #4099 merged Jun 6, 2025

• Shortcut in overlap computation (linscan & greedy allocators)

  #4079 merged Jun 6, 2025

• Clean up "CR ocaml 5 domains" comments

  #4063 merged Jun 6, 2025

• Restore gc_regs_buckets after stack overflow

  #4078 merged Jun 6, 2025

• Annotate that Thread.Portable.create calls fn once

  #3808 merged Jun 6, 2025

• Add the ability to emit module entry functions into a separate section

  #4076 merged Jun 6, 2025

• Avoid clearing 2K prefetch buffer every time we do_some_marking

  #4051 merged Jun 6, 2025

• Add parameterised_modules: true to -config

  #4021 merged Jun 6, 2025

• Add -o option to ocamldep

  #4045 merged Jun 6, 2025

• Mode cross modalities even for non-principal type

  #4077 merged Jun 5, 2025

• Don't save a .cmx if stopping after Lambda

  #4052 merged Jun 5, 2025

• Fix CI

  #4097 merged Jun 5, 2025

• Add stack checks/multidomain features to build_ocaml_compiler

  #4085 merged Jun 5, 2025

• Fix binary emitter VEX encoding bug

  #4069 merged Jun 5, 2025

• Param libs errors as cmi warnings

  #3868 merged Jun 5, 2025

• Optimize a couple of equal/compare functions

  #4093 merged Jun 5, 2025

• Default to non-hugepage fiber stacks.

  #4082 merged Jun 5, 2025

• Delete Flambda_kind.to_lambda

  #4090 merged Jun 5, 2025

• Fix ASAN build on R5

  #4087 merged Jun 4, 2025

• Make the AST version mismatch error message more descriptive

  #4084 merged Jun 4, 2025

• Have errors suggest "shared or uncontended" rather than "shared"

  #3791 merged Jun 4, 2025

• Comments on the current limitation of inferred modalities

  #3824 merged Jun 3, 2025

• fix bad subtraction cmm generation

  #4060 merged Jun 3, 2025

• Add inlined hint to f in Domain.Safe.DLS.access

  #3997 merged Jun 3, 2025

• Make visible and hidden libloc files separate

  #3974 merged Jun 3, 2025

• flambda2: Continuation shortcuts

  #3545 merged Jun 3, 2025

• Emit LLVM-MCA markers

  #4023 merged Jun 3, 2025

• Fix use_domains test

  #4075 merged Jun 2, 2025

• Remove Join_const and Subtract

  #4037 merged Jun 2, 2025

• Add multidomain config option & CI jobs

  #3947 merged Jun 2, 2025

• Fix typo in install stanza of utils/dune

  #4028 merged Jun 2, 2025

• chore: Move leapfrog algorithm into algorithms/ directory

  #4072 merged Jun 2, 2025

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

  #4013 merged Jun 2, 2025

• Initial stab at mode documentation

  #3955 merged May 30, 2025

• Skip 80ch if the PR is labeled with "skip 80ch"

  #4071 merged May 30, 2025

• Revert "exn crosses portable and contended (#4062)"

  #4068 merged May 30, 2025

• Add a fixed_explanation for Tof_kind

  #4067 merged May 30, 2025

• exn crosses portable and contended

  #4062 merged May 30, 2025

• Move product returns in C stubs to stable

  #4055 merged May 30, 2025

• Use Unit_info.t more like upstream

  #3926 merged May 30, 2025

• Quote $A in if [ $A = .. ] to prevent a confusing error

  #4064 merged May 30, 2025

• Record that we have switched locking schemes

  #4065 merged May 30, 2025

• Revert "Infer with-kinds for GADTs, using Tof_kind for existentials"

  #4066 merged May 30, 2025

• New directives additional cleanup

  #4057 merged May 30, 2025

• Infer with-kinds for easy polymorphic variants

  #3845 merged May 29, 2025

• Better memory mapping names

  #4004 merged May 29, 2025

• Optionally disable hugepages for stacks

  #4001 merged May 29, 2025

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

  #3814 merged May 28, 2025

• Fix product layouts and shallow axes

  #4056 merged May 28, 2025

• Update documentation of mixed blocks

  #4053 merged May 28, 2025

• Improved x86 code generation for Boolean not

  #3993 merged May 28, 2025

• Fix yet another Infix_tag bug, this one in oldify_one.

  #4046 merged May 28, 2025

• Don't update memprof too early at the end of minor GC

  #4042 merged May 28, 2025

• Document implications

  #3944 merged May 27, 2025

• Fix: Jkind normalization looks at irrelevant axes

  #4022 merged May 27, 2025

• Use OxCaml instead of OCaml

  #4012 merged May 27, 2025

• non_float arrays are addrarrays

  #3973 merged May 27, 2025

• Continuation specialization, aka match-in-match

  #3501 merged May 27, 2025

• Add an OCaml equivalent of Assert_mixed_block_layout_v#

  #4044 merged May 27, 2025

• Make fexpr handle invariant parameters for recursive continuations

  #4040 merged May 27, 2025

• Add skip_files to 80ch script + better printed message

  #4047 merged May 27, 2025

• Tweak peephole for bitwise operations

  #4043 merged May 27, 2025

• Add option to output CSV stats in standalone regalloc tool

  #4027 merged May 27, 2025

• Cleanup after using the new directives

  #3952 merged May 27, 2025

• Delete capsule & effect api

  #4041 merged May 23, 2025

• Clarify and expand modes syntax docs

  #3943 merged May 23, 2025

• non_separable -> maybe_separable

  #4036 merged May 23, 2025

• Remove old x86 Directives

  #3948 merged May 23, 2025

• New directives in x86 v2

  #3998 merged May 23, 2025

• Hint for projecting an unboxed record field with record projection syntax

  #4039 merged May 23, 2025

• Unboxed records inside boxed records

  #3687 merged May 23, 2025

• Hints for using the non-existent unboxed version of a float/[@@unboxed] record

  #4038 merged May 23, 2025

• Remove @no_mutable_implied_modalities

  #3962 merged May 23, 2025

• Various fixes on unboxed and kinds

  #4024 merged May 22, 2025

• Function sections for cached generic functions

  #4034 merged May 22, 2025

• value_or_null atomics with correct result kind inference

  #3807 merged May 22, 2025

• (arm64+tsan) Save/Restore 128-bit registers

  #3995 merged May 22, 2025

• Tidying

  #4010 merged May 22, 2025

• stack checks in github ci

  #3928 merged May 22, 2025

• Modality.Value.Const should behave like a product

  #3961 merged May 22, 2025

• 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

• 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

• Introduce a new flavor of type, Tof_kind, for representing existentials that end up in with-bounds

  #3864 merged May 14, 2025

• datalog: Clear binders after rule evaluation

  #3693 merged May 13, 2025

34 Pull requests opened by 16 people

• Block indices

  #4017 opened May 16, 2025

• Automatic reordering of module fields to allow for mixed modules

  #4020 opened May 20, 2025

• Use affine instead of linear

  #4032 opened May 21, 2025

• `switching` mode

  #4035 opened May 22, 2025

• Linscan: use skip lists (in addition to doubly-linked lists)

  #4048 opened May 28, 2025

• Linscan: use skip lists (remove doubly-linked lists)

  #4049 opened May 28, 2025

• Linscan: use skip lists (unsafe array accesses & cursors)

  #4050 opened May 28, 2025

• regenerated the flambda tests

  #4054 opened May 28, 2025

• Better SEGV handling

  #4061 opened May 29, 2025

• Exploit sharing in patricia tree combine operations

  #4073 opened Jun 2, 2025

• Document modalities

  #4074 opened Jun 2, 2025

• Linscan: remove leftovers from the skip list transition

  #4081 opened Jun 4, 2025

• Delete lbl_pos; rename lbl_num to lbl_pos

  #4086 opened Jun 4, 2025

• Void function arguments and returns

  #4088 opened Jun 4, 2025

• Split use tracking for mutable variables into uses and mutations

  #4089 opened Jun 4, 2025

• fix: Restore arity check for continuation aliases

  #4092 opened Jun 5, 2025

• Linscan: avoid options in skip list implementation

  #4094 opened Jun 5, 2025

• Linscan: simplify the interval orders

  #4095 opened Jun 5, 2025

• Linscan: avoid `caml_make_vect` in skip lists

  #4096 opened Jun 5, 2025

• `Typeopt.array_type_kind`: when element is non-value or unknown, error instead of defaulting to `Pgenvalue`

  #4098 opened Jun 6, 2025

• Ban <[, ]>:, $ and a few others from being interpreted as infix operators

  #4100 opened Jun 6, 2025

• Don't specialize `%obj_field`, `%obj_setfield`, and `%obj_size`

  #4101 opened Jun 6, 2025

• arm64 - switch to C stack before raising stack overflow

  #4104 opened Jun 6, 2025

• runtime: add macros to handle `or_null` values alike those available for `option`

  #4107 opened Jun 7, 2025

• Add externals information to .cms files

  #4109 opened Jun 10, 2025

• Better treatment of relations in flambda2 types

  #4112 opened Jun 10, 2025

• Fix soundness bug in `Stdlib.Atomic`

  #4117 opened Jun 10, 2025

• Dedicated engine for Cmm Peephole optimisations

  #4118 opened Jun 11, 2025

• Fix recursive modules' treatment of destructive substitution

  #4121 opened Jun 11, 2025

• Fix a few lines missed in big rebranding

  #4128 opened Jun 12, 2025

• datalog: Document read/write intent using types

  #4129 opened Jun 12, 2025

• Accept `caml_simd` names for f64 min/max on amd64

  #4130 opened Jun 12, 2025

• Emit correct `FMOV` for arm64 popcnt sequence

  #4131 opened Jun 12, 2025

• Add support for the `[@atomic]` attribute on mutable fields

  #4132 opened Jun 12, 2025

2 Issues closed by 2 people

• Better Continuation aliases

  #3210 closed Jun 3, 2025

• Documentation of _unique allocation missing?

  #4026 closed May 21, 2025

3 Issues opened by 2 people

• Compilation of `runtime4` on `main` fails with a recent gcc

  #4033 opened May 22, 2025

• Documentation does mention domains

  #4031 opened May 21, 2025

• 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 vec256/512

  #3966 commented on Jun 12, 2025 • 58 new comments

• Implement `let mutable`

  #3964 commented on Jun 12, 2025 • 31 new comments

• Add primitive types for unboxed small integers

  #3370 commented on Jun 5, 2025 • 20 new comments

• Support modules of non-legacy modes

  #3759 commented on Jun 10, 2025 • 9 new comments

• Add unboxed and small scalar primitives

  #3513 commented on Jun 8, 2025 • 4 new comments

• Allow Simple dominators in Flow Analysis (instead of just variables)

  #2782 commented on May 28, 2025 • 3 new comments

• Adding support for runtime quotations

  #3991 commented on Jun 9, 2025 • 0 new comments

• Propagate Debugging Identifiers through the Middle End

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

• Use nativeints in flambda2 indexing operations

  #3954 commented on May 28, 2025 • 0 new comments

• Support for phantom bindings

  #3937 commented on Jun 3, 2025 • 0 new comments

• Downstreams for renaming

  #3828 commented on Jun 3, 2025 • 0 new comments

• Unboxing in the reaper

  #3820 commented on Jun 12, 2025 • 0 new comments

• `%is_immediate`

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

• Improve runtime clarity with Scannable_* macros

  #3722 commented on May 28, 2025 • 0 new comments

• [Ignore] block indices CI

  #3637 commented on May 27, 2025 • 0 new comments

• Runtime events should never be conditional on debug log level

  #3585 commented on May 29, 2025 • 0 new comments

• Always use a macro when checking for a promoted header

  #3493 commented on May 28, 2025 • 0 new comments

• Improved compilation of match-in-match

  #926 commented on May 28, 2025 • 0 new comments