Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2024

• flambda-backend: Add shared mode (#3050)

  Show description for 9426274
  

  ageorg29

  and

  goldfirere

  authored
  9426274

  Copy full SHA for 9426274

Commits on Sep 17, 2024

• flambda-backend: Renamed shared to aliased (#3047)

  ageorg29

  authored
  be0f2c1

  Copy full SHA for be0f2c1

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

Commits on Aug 14, 2024

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

  Show description for 6806a00
  liam923

  authored
  6806a00

  Copy full SHA for 6806a00

Commits on Aug 8, 2024

• flambda-backend: Monadic modalities always implied by mutable (#2900)

  Show description for ca6531b
  riaqn

  authored
  ca6531b

  Copy full SHA for ca6531b

Commits on Aug 1, 2024

• flambda-backend: Migrate modes into the parsetree (#2741)

  Show description for f453f50
  

  4 peopleauthored
  f453f50

  Copy full SHA for f453f50

Commits on Jul 29, 2024

• flambda-backend: Remove Jane Syntax for n-ary functions (#2780)

  Show description for 8505954
  ncik-roberts

  authored
  8505954

  Copy full SHA for 8505954

Commits on Jul 16, 2024

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

  liam923

  authored
  7bc84cf

  Copy full SHA for 7bc84cf

Commits on Jun 29, 2024

• flambda-backend: Add `val_modalities` (#2685)

  riaqn

  authored
  2572783

  Copy full SHA for 2572783

Commits on Jun 27, 2024

• flambda-backend: Add `[@no_mutable_implied_modalities]` (#2716)

  riaqn

  authored
  42e7c9e

  Copy full SHA for 42e7c9e

Commits on Jun 17, 2024

• flambda-backend: Migrate modality annotations into the parsetree (#2468)

  Show description for 8105d4f
  

  3 peopleauthored
  8105d4f

  Copy full SHA for 8105d4f

Commits on Jun 11, 2024

• flambda-backend: Refactor modality logic (#2344)

  riaqn

  authored
  ba2d0d7

  Copy full SHA for ba2d0d7

Commits on Jun 7, 2024

• flambda-backend: Add portability and contention (#2398)

  riaqn

  authored
  bf2a8bf

  Copy full SHA for bf2a8bf

Commits on May 30, 2024

• flambda-backend: Combine Value and Alloc modules (#2624)

  Show description for f049c43
  goldfirere

  authored
  f049c43

  Copy full SHA for f049c43

Commits on Apr 4, 2024

• flambda-backend: make mode system scale better with more axes (#2395)

  Show description for 4571032
  riaqn

  authored
  4571032

  Copy full SHA for 4571032

Commits on Mar 8, 2024

• flambda-backend: Parsing new mode syntax (#2235)

  riaqn

  authored
  db11d61

  Copy full SHA for db11d61

Commits on Mar 1, 2024

• flambda-backend: Tolerate `global` in `transl_mode_annots` (#2326)

  Show description for 54e3fe6
  riaqn

  authored
  54e3fe6

  Copy full SHA for 54e3fe6

Commits on Feb 20, 2024

• flambda-backend: New encoding for mode syntax (#2231)

  riaqn

  authored
  b9b512f

  Copy full SHA for b9b512f

Loading