Commits

Branch selector

 main

User selector

rtjoa

Datepicker

All time

Commit History

Commits on Jan 10, 2025

• Check for type recursion without boxing (ocaml-flambda#3407)

  rtjoa

  authored
  c30ec74

  Copy full SHA for c30ec74

Commits on Jan 6, 2025

• Fix CI by using setup-ocaml v3 for ocamlformat workflow (ocaml-flambda#3426)

  Show description for 2de23a5
  rtjoa

  authored
  2de23a5

  Copy full SHA for 2de23a5

Commits on Jan 4, 2025

• Move unboxed records to stable (ocaml-flambda#3419)

  rtjoa

  authored
  eada0f1

  Copy full SHA for eada0f1

Commits on Dec 20, 2024

• Test modalities in unboxed records (ocaml-flambda#3394)

  rtjoa

  authored
  4da0719

  Copy full SHA for 4da0719

• Fix constrain_type_jkind for unboxed records with any and erroneous jkind annotations (ocaml-flambda#3399)

  rtjoa

  authored
  7cafa7c

  Copy full SHA for 7cafa7c

Commits on Dec 19, 2024

• Improve exhaustiveness counterexamples for unboxed records (ocaml-flambda#3392)

  rtjoa

  authored
  968522d

  Copy full SHA for 968522d

Commits on Dec 5, 2024

• Unboxed records (ocaml-flambda#3229)

  rtjoa

  authored
  d330dfe

  Copy full SHA for d330dfe

Commits on Sep 24, 2024

• flambda-backend: Migrate labeled tuples from Jane Syntax to the parsetree (ocaml-flambda#3040)

  Show description for a1cd7c0
  

  rtjoa

  and

  freemagma

  authored
  a1cd7c0

  Copy full SHA for a1cd7c0

• Migrate labeled tuples from Jane Syntax to the parsetree (ocaml-flambda#3040)

  Show description for a0f5b7d
  

  rtjoa

  and

  freemagma

  authored
  a0f5b7d

  Copy full SHA for a0f5b7d

Commits on Jun 20, 2023

• flambda-backend: Generalize deep_occur to deep_occur_list (ocaml-flambda#1503)

  Show description for c1eecf6
  rtjoa

  authored
  c1eecf6

  Copy full SHA for c1eecf6

• Generalize deep_occur to deep_occur_list (ocaml-flambda#1503)

  Show description for 725d460
  rtjoa

  authored
  725d460

  Copy full SHA for 725d460