Commits

Branch selector

 main

User selector

liam923

Datepicker

All time

Commit History

Commits on Mar 3, 2025

• Add fast-path to get_nullability (#3641)

  Show description for e1ef6f0
  liam923

  authored
  e1ef6f0

  Copy full SHA for e1ef6f0

Commits on Feb 12, 2025

• Per-axis jkind errors (#3563)

  Show description for 8e125b8
  

  liam923

  and

  glittershark

  authored
  8e125b8

  Copy full SHA for 8e125b8

Commits on Feb 11, 2025

• jkind subsumption (#3525)

  Show description for 4eb95cd
  

  3 peopleauthored
  4eb95cd

  Copy full SHA for 4eb95cd

Commits on Dec 19, 2024

• Make jkind unimplemented syntax a proper error (#3397)

  liam923

  authored
  66da110

  Copy full SHA for 66da110

Commits on Dec 9, 2024

• Add `fst` and `snd` to the capsule api (#3349)

  Show description for 5e55a65
  liam923

  authored
  5e55a65

  Copy full SHA for 5e55a65

Commits on Nov 15, 2024

• Fix formatting (#3279)

  liam923

  authored
  7e22bb5

  Copy full SHA for 7e22bb5

• Move `Language_extension` into parsing (#3269)

  Show description for ab4ddf8
  liam923

  authored
  ab4ddf8

  Copy full SHA for ab4ddf8

Commits on Oct 24, 2024

• Stop filtering ghost locations from cmt/cms files (#3137)

  Show description for 401dac2
  liam923

  authored
  401dac2

  Copy full SHA for 401dac2

Commits on Oct 8, 2024

• flambda-backend: Add fields to newtype (#3091)

  Show description for d0fbd68
  liam923

  authored
  d0fbd68

  Copy full SHA for d0fbd68

• Add fields to newtype (#3091)

  Show description for 8b64313
  liam923

  authored
  8b64313

  Copy full SHA for 8b64313

Commits on Aug 30, 2024

• flambda-backend: Share `transl_modalities` code with `transl_modifiers` and `transl_modes` (#2925)

  Show description for 7d5f21c
  

  liam923

  and

  riaqn

  authored
  7d5f21c

  Copy full SHA for 7d5f21c

• Share `transl_modalities` code with `transl_modifiers` and `transl_modes` (#2925)

  Show description for f8915e0
  

  liam923

  and

  riaqn

  authored
  f8915e0

  Copy full SHA for f8915e0

Commits on Aug 21, 2024

• flambda-backend: Make `lexing_position` `immutable_data` (#2957)

  liam923

  authored
  45fa314

  Copy full SHA for 45fa314

• Make `lexing_position` `immutable_data` (#2957)

  liam923

  authored
  960a4f5

  Copy full SHA for 960a4f5

Commits on Aug 14, 2024

• flambda-backend: Support for `mod` syntax (#2676)

  Show description for 6806a00
  liam923

  authored
  6806a00

  Copy full SHA for 6806a00

• Support for `mod` syntax (#2676)

  Show description for 3f94a8d
  liam923

  authored
  3f94a8d

  Copy full SHA for 3f94a8d

Commits on Aug 13, 2024

• flambda-backend: Modify cms format for ocaml-index (#2886)

  Show description for e3ea46b
  liam923

  authored
  e3ea46b

  Copy full SHA for e3ea46b

• Modify cms format for ocaml-index (#2886)

  Show description for 3f0c26a
  liam923

  authored
  3f0c26a

  Copy full SHA for 3f0c26a

Commits on Jul 31, 2024

• flambda-backend: Backport upstream PR 13001 (#2872)

  Show description for f5c0edb
  liam923

  authored
  f5c0edb

  Copy full SHA for f5c0edb

• Backport upstream PR 13001 (#2872)

  Show description for a27ae37
  liam923

  authored
  a27ae37

  Copy full SHA for a27ae37

Commits on Jul 24, 2024

• flambda-backend: Update arrow types to cross contention and uniqueness (#2835)

  Show description for 343dd31
  

  liam923

  and

  riaqn

  authored
  343dd31

  Copy full SHA for 343dd31

• Update arrow types to cross contention and uniqueness (#2835)

  Show description for 60739c1
  

  liam923

  and

  riaqn

  authored
  60739c1

  Copy full SHA for 60739c1

Commits on Jul 22, 2024

• flambda-backend: Allow `string` to mode cross (#2826)

  Show description for 56b2c72
  liam923

  authored
  56b2c72

  Copy full SHA for 56b2c72

• Allow `string` to mode cross (#2826)

  Show description for e293565
  liam923

  authored
  e293565

  Copy full SHA for e293565

Commits on Jul 17, 2024

• flambda-backend: Make pprintast handle new modes (#2796)

  Show description for 3fc5f4c
  liam923

  authored
  3fc5f4c

  Copy full SHA for 3fc5f4c

• Make pprintast handle new modes (#2796)

  Show description for 08c8d2e
  liam923

  authored
  08c8d2e

  Copy full SHA for 08c8d2e

Commits on Jul 16, 2024

• flambda-backend: Make `untransl_modalities` filter identity modalities (#2788)

  liam923

  authored
  7bc84cf

  Copy full SHA for 7bc84cf

• Make `untransl_modalities` filter identity modalities (#2788)

  liam923

  authored
  a6249e4

  Copy full SHA for a6249e4

Commits on Jul 15, 2024

• flambda-backend: Jkind Error Messages (#2730)

  Show description for 64167a4
  liam923

  authored
  64167a4

  Copy full SHA for 64167a4

• Jkind Error Messages (#2730)

  Show description for 0997322
  liam923

  authored
  0997322

  Copy full SHA for 0997322

Commits on Jul 10, 2024

• flambda-backend: Allow forceful crossing of portability and contention (#2725)

  Show description for 6169046
  liam923

  authored
  6169046

  Copy full SHA for 6169046

• Allow forceful crossing of portability and contention (#2725)

  Show description for ada8a62
  liam923

  authored
  ada8a62

  Copy full SHA for ada8a62

Commits on Jun 25, 2024

• flambda-backend: Support for `mod` syntax - unclean (#2717)

  Show description for 74e6758
  

  liam923

  and

  goldfirere

  authored
  74e6758

  Copy full SHA for 74e6758

• Support for `mod` syntax - unclean (#2717)

  Show description for 63f5165
  

  liam923

  and

  goldfirere

  authored
  63f5165

  Copy full SHA for 63f5165

Commits on May 10, 2024

• flambda-backend: Make jkind and types mutually recursive (#2538)

  Show description for d59441e
  

  liam923

  and

  goldfirere

  authored
  d59441e

  Copy full SHA for d59441e

Pagination

Previous

Next