Skip to content

Pull requests: ocaml-flambda/flambda-backend

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Clear ephemerons which expire in a minor GC
#3495 opened Jan 21, 2025 by NickBarnes Loading…
(ignore) for testing only
#3494 opened Jan 21, 2025 by gretay-js Draft
Remove wrong text, as pointed out by colleagues
#3492 opened Jan 20, 2025 by goldfirere Loading…
Rename atomic_cas/Compare_and_swap backend lambda Lambda language changes runtime
#3491 opened Jan 20, 2025 by TheNumbat Loading…
Additional operations for int atomics backend lambda Lambda language changes runtime
#3490 opened Jan 20, 2025 by TheNumbat Loading…
Support -open Foo where Foo is parameterised driver Compiler driver parameterized-libs PRs needed for parameterized libraries typing
#3489 opened Jan 20, 2025 by lukemaurer Loading…
Basic Key API drf Data race freedom
#3485 opened Jan 17, 2025 by dkalinichenko-js Loading…
Update "Local allocation" documentation
#3479 opened Jan 15, 2025 by riaqn Loading…
Reaper datalog flambda2 Prerequisite for, or part of, flambda2
#3476 opened Jan 15, 2025 by bclement-ocp Loading…
Support more stack_ syntax locals Local allocation
#3475 opened Jan 15, 2025 by riaqn Loading…
Alternative effects API effects Relating to algebraic effects
#3461 opened Jan 10, 2025 by dkalinichenko-js Loading…
Restructure modal and with-bounds (fka baggage) in jkind modes Work on modes. There's some overlap with the `multicore` label, but not strictly so.
#3457 opened Jan 9, 2025 by glittershark Loading…
Add a new attribute for allowing any mode crossing modes Work on modes. There's some overlap with the `multicore` label, but not strictly so.
#3424 opened Jan 3, 2025 by glittershark Loading…
Added Cmm_helpers.Scalar_type cmm Cmm language / helpers changes
#3423 opened Jan 3, 2025 by jvanburen Loading…
Refactor CMM unboxed field getters/setters cmm Cmm language / helpers changes
#3417 opened Dec 31, 2024 by jvanburen Loading…
updated cmm_helpers interface to be more amenable to adding other int sizes cmm Cmm language / helpers changes
#3415 opened Dec 30, 2024 by jvanburen Loading…
horrible quadratic baggage modes Work on modes. There's some overlap with the `multicore` label, but not strictly so.
#3411 opened Dec 29, 2024 by glittershark Draft
Faithfully print with-kinds by reconstructing modalities for types modes Work on modes. There's some overlap with the `multicore` label, but not strictly so.
#3410 opened Dec 27, 2024 by glittershark Loading…
Refactor cmm functions to be more generic over operand width cmm Cmm language / helpers changes
#3404 opened Dec 23, 2024 by jvanburen Draft
ProTip! Follow long discussions with comments:>50.