Commits

Branch selector

 main

User selector

lpw25

Datepicker

All time

Commit History

Commits on Feb 13, 2025

• Make monadic mode crossings be lower bounds (#3105)

  Show description for 46b288b
  

  lpw25

  and

  goldfirere

  authored
  46b288b

  Copy full SHA for 46b288b

Commits on Feb 12, 2025

• Track types of variables bound by `as` (#3507)

  Show description for 12b9b6e
  

  3 peopleauthored
  12b9b6e

  Copy full SHA for 12b9b6e

Commits on Jan 17, 2025

• Generate specific instructions for atomics on immediates (#3477)

  Show description for b8a9789
  lpw25

  authored
  b8a9789

  Copy full SHA for b8a9789

Commits on Nov 29, 2024

• Add converters to the capsule API (#3161)

  Show description for 5143648
  lpw25

  authored
  5143648

  Copy full SHA for 5143648

Commits on Sep 20, 2024

• flambda-backend: Support loosening monadic return modes in [type_argument] (#3052)

  lpw25

  authored
  78ac963

  Copy full SHA for 78ac963

• Support loosening monadic return modes in [type_argument] (#3052)

  lpw25

  authored
  aaefd8f

  Copy full SHA for aaefd8f

Commits on May 16, 2024

• flambda-backend: Try to share code to pop regions in local functions optimisation (#2361)

  lpw25

  authored
  33389ed

  Copy full SHA for 33389ed

• Try to share code to pop regions in local functions optimisation (#2361)

  lpw25

  authored
  a91f132

  Copy full SHA for a91f132

Commits on May 15, 2024

• flambda-backend: Fix case where local functions optimisation breaks tail calls (#2360)

  Show description for 22911e5
  

  lpw25

  and

  Ekdohibs

  authored
  22911e5

  Copy full SHA for 22911e5

• Fix case where local functions optimisation breaks tail calls (#2360)

  Show description for 01e9120
  

  lpw25

  and

  Ekdohibs

  authored
  01e9120

  Copy full SHA for 01e9120

Commits on Apr 2, 2024

• flambda-backend: Update GC phase assertion (#2358)

  lpw25

  authored
  fa8acc9

  Copy full SHA for fa8acc9

• Update GC phase assertion (#2358)

  lpw25

  authored
  735ea33

  Copy full SHA for 735ea33

Commits on Nov 28, 2023

• Add Changes entry

  lpw25

  committed
  3437f2e

  Copy full SHA for 3437f2e

• Bootstrap

  lpw25

  committed
  9e44fbd

  Copy full SHA for 9e44fbd

• Store both ends of the stack chain in continuations

  lpw25

  committed
  f80990e

  Copy full SHA for f80990e

Commits on Oct 17, 2023

• flambda-backend: Allow parameter modes to be relaxed in type_argument (#1756)

  Show description for 82364c9
  

  lpw25

  and

  riaqn

  authored
  82364c9

  Copy full SHA for 82364c9

• Allow parameter modes to be relaxed in type_argument (#1756)

  Show description for 68ca4f6
  

  lpw25

  and

  riaqn

  authored
  68ca4f6

  Copy full SHA for 68ca4f6

Commits on Oct 4, 2023

• Give hints about existential types appearing in error messages (#12622)

  lpw25

  authored
  5d41743

  Copy full SHA for 5d41743

Commits on Apr 17, 2023

• Add data race freedom proposal (#161)

  lpw25

  authored
  ebe9576

  Copy full SHA for ebe9576

Commits on Jan 12, 2023

• Add Changes entry

  lpw25

  committed
  a4ca9d7

  Copy full SHA for a4ca9d7

• Add a unification mode for `subst`

  Show description for 6944a2e
  lpw25

  committed
  6944a2e

  Copy full SHA for 6944a2e

• Refactor unification mode state

  lpw25

  committed
  24e8c60

  Copy full SHA for 24e8c60

Commits on Dec 16, 2022

• Add documentation

  lpw25

  committed
  fae9aef

  Copy full SHA for fae9aef

• Add tests

  lpw25

  committed
  708e5a9

  Copy full SHA for 708e5a9

• Bootstrap

  lpw25

  committed
  c609eee

  Copy full SHA for c609eee

• Polymorphic parameters

  lpw25

  committed
  7f922d0

  Copy full SHA for 7f922d0

• Keep generalized structure from patterns when typing let

  lpw25

  committed
  51aeb04

  Copy full SHA for 51aeb04

• Add test of princiaplity from polymorphic type constraints

  lpw25

  committed
  4b68bb3

  Copy full SHA for 4b68bb3

Commits on Dec 6, 2022

• Prohibit using classes through recursive modules

  

  lpw25

  authored and

  gasche

  committed
  c18e55a

  Copy full SHA for c18e55a

• Add tests for using classes through recursive modules

  

  lpw25

  authored and

  gasche

  committed
  1b2b7c3

  Copy full SHA for 1b2b7c3

Commits on Dec 5, 2022

• Use a more relaxed mode for unification in Ctype.subst (#11771) (#73)

  Show description for 2a7e501
  lpw25

  authored
  2a7e501

  Copy full SHA for 2a7e501

Commits on Nov 18, 2022

• Remove catch-all pattern from CODEOWNERS

  Show description for 994391b
  lpw25

  authored
  994391b

  Copy full SHA for 994391b

Commits on Nov 15, 2022

• Add debug_printers.ml (#63)

  Show description for e7dd740
  lpw25

  authored
  e7dd740

  Copy full SHA for e7dd740

Commits on Nov 11, 2022

• Add explicit constructors to Path.t for inline record types

  

  lpw25

  authored and

  HyunggyuJang

  committed
  ecc1b48

  Copy full SHA for ecc1b48

Commits on Sep 14, 2022

• flambda-backend: Add test for #829 (#831)

  lpw25

  authored
  65c2f22

  Copy full SHA for 65c2f22

Pagination

Previous

Next