Commits

Branch selector

 main

User selector

goldfirere

Datepicker

All time

Commit History

Commits on Dec 13, 2024

• Use constant sorts in transl (#3266)

  Show description for e217d1b
  goldfirere

  authored
  e217d1b

  Copy full SHA for e217d1b

Commits on Dec 10, 2024

• Decompose sorts correctly in subjkinding (#3339)

  Show description for 4350ce9
  goldfirere

  authored
  4350ce9

  Copy full SHA for 4350ce9

Commits on Dec 2, 2024

• Make uniqueness for DRF stable (#3319)

  Show description for 1ed7111
  

  goldfirere

  and

  anfelor

  authored
  1ed7111

  Copy full SHA for 1ed7111

Commits on Nov 22, 2024

• Refactoring in jkind (#3224)

  Show description for c159648
  goldfirere

  authored
  c159648

  Copy full SHA for c159648

Commits on Nov 8, 2024

• Detect when a kind makes being a function type impossible (#3245)

  Show description for e8d4890
  goldfirere

  authored
  e8d4890

  Copy full SHA for e8d4890

Commits on Oct 30, 2024

• Fix overwriting test output (#3207)

  Show description for be19075
  goldfirere

  authored
  be19075

  Copy full SHA for be19075

Commits on Oct 16, 2024

• flambda-backend: Squelch quotes with -error-style short (#3146)

  Show description for ca694e3
  goldfirere

  authored
  ca694e3

  Copy full SHA for ca694e3

• Squelch quotes with -error-style short (#3146)

  Show description for 7e298e0
  goldfirere

  authored
  7e298e0

  Copy full SHA for 7e298e0

Commits on Oct 15, 2024

• flambda-backend: Document contravariance in layouts (#3144)

  goldfirere

  authored
  28a9fcc

  Copy full SHA for 28a9fcc

• Document contravariance in layouts (#3144)

  goldfirere

  authored
  ec4ded4

  Copy full SHA for ec4ded4

Commits on Oct 9, 2024

• flambda-backend: Apply improvements to the kind polymorphism design (#2904)

  Show description for 7d3e83d
  goldfirere

  authored
  7d3e83d

  Copy full SHA for 7d3e83d

• Apply improvements to the kind polymorphism design (#2904)

  Show description for 1ebf286
  goldfirere

  authored
  1ebf286

  Copy full SHA for 1ebf286

Commits on Oct 7, 2024

• flambda-backend: Contravariance in kinds (#2894)

  goldfirere

  authored
  c22334a

  Copy full SHA for c22334a

• Contravariance in kinds (#2894)

  goldfirere

  authored
  c925a8e

  Copy full SHA for c925a8e

• flambda-backend: Fix bug around coerce and modes (#3122)

  Show description for b2d6315
  goldfirere

  authored
  b2d6315

  Copy full SHA for b2d6315

• Fix bug around coerce and modes (#3122)

  Show description for dd9fcb7
  goldfirere

  authored
  dd9fcb7

  Copy full SHA for dd9fcb7

Commits on Oct 4, 2024

• Use pull_request_target for compatibility with forks (#3115)

  goldfirere

  authored
  038194c

  Copy full SHA for 038194c

Commits on Oct 1, 2024

• flambda-backend: Distinguish between l- and r-kinds (#3064)

  Show description for 7eb5997
  goldfirere

  authored
  7eb5997

  Copy full SHA for 7eb5997

• Distinguish between l- and r-kinds (#3064)

  Show description for 386c7b1
  goldfirere

  authored
  386c7b1

  Copy full SHA for 386c7b1

Commits on Sep 27, 2024

• flambda-backend: Syntax examples (#3085)

  Show description for 42800cb
  goldfirere

  authored
  42800cb

  Copy full SHA for 42800cb

• Syntax examples (#3085)

  Show description for a413898
  goldfirere

  authored
  a413898

  Copy full SHA for a413898

• flambda-backend: Document [@error_message] (#3086)

  Show description for 3e9127f
  goldfirere

  authored
  3e9127f

  Copy full SHA for 3e9127f

• Document [@error_message] (#3086)

  Show description for e3ebd78
  goldfirere

  authored
  e3ebd78

  Copy full SHA for e3ebd78

• flambda-backend: Check for the labeled_tuples extension (#3084)

  Show description for 00d5bfb
  

  goldfirere

  and

  rtjoa

  authored
  00d5bfb

  Copy full SHA for 00d5bfb

• Check for the labeled_tuples extension (#3084)

  Show description for 1696d3e
  

  goldfirere

  and

  rtjoa

  authored
  1696d3e

  Copy full SHA for 1696d3e

Commits on Sep 20, 2024

• flambda-backend: Refactor constrain_type_jkind (#3037)

  Show description for 7ca28b7
  goldfirere

  authored
  7ca28b7

  Copy full SHA for 7ca28b7

• Refactor constrain_type_jkind (#3037)

  Show description for 5d19796
  goldfirere

  authored
  5d19796

  Copy full SHA for 5d19796

Commits on Sep 16, 2024

• flambda-backend: Remove an unnecessary expansion (#3041)

  goldfirere

  authored
  840c809

  Copy full SHA for 840c809

• Remove an unnecessary expansion (#3041)

  goldfirere

  authored
  26a018f

  Copy full SHA for 26a018f

Commits on Sep 10, 2024

• flambda-backend: Fix bug in iarray accumulators, and add lots of tests (#3020)

  Show description for 6505848
  goldfirere

  authored
  6505848

  Copy full SHA for 6505848

• Fix bug in iarray accumulators, and add lots of tests (#3020)

  Show description for bbdd463
  goldfirere

  authored
  bbdd463

  Copy full SHA for bbdd463

Commits on Jul 22, 2024

• flambda-backend: Typing rules support kind polymorphism (#2606)

  Show description for 49458ff
  goldfirere

  authored
  49458ff

  Copy full SHA for 49458ff

• Typing rules support kind polymorphism (#2606)

  Show description for 75ab096
  goldfirere

  authored
  75ab096

  Copy full SHA for 75ab096

Commits on Jul 1, 2024

• flambda-backend: Update doc around float# array (#2748)

  goldfirere

  authored
  79d87be

  Copy full SHA for 79d87be

• Update doc around float# array (#2748)

  goldfirere

  authored
  9dd5e0a

  Copy full SHA for 9dd5e0a

Pagination

Previous

Next