Commits

Branch selector

 jane

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 7, 2025

• Format comments (#123)

  Show description for a2b2800
  dvulakh

  authored
  a2b2800

  Copy full SHA for a2b2800

Commits on Nov 6, 2025

• instructions & test fixes so local builds match ci (#124)

  Show description for 7628747
  dvulakh

  authored
  7628747

  Copy full SHA for 7628747

Commits on Nov 3, 2025

• Fix jkind normalization (#122)

  Show description for ebd1611
  dvulakh

  authored
  ebd1611

  Copy full SHA for ebd1611

Commits on Oct 11, 2025

• Block indices (#120)

  dvulakh

  authored
  93aff61

  Copy full SHA for 93aff61

Commits on Sep 29, 2025

• Fix formatting of type param with both attribute and jkind annotation (#119)

  Show description for ce24178
  

  rtjoa

  and

  dvulakh

  authored
  ce24178

  Copy full SHA for ce24178

Commits on Sep 23, 2025

• Fix quadratic command-line parsing (#118)

  Show description for 91b6df5
  let-def

  authored
  91b6df5

  Copy full SHA for 91b6df5

Commits on Sep 10, 2025

• add missing parsing for modal modules (#117)

  riaqn

  authored
  e66f671

  Copy full SHA for e66f671

Commits on Aug 7, 2025

• Add support for `let mutable` (#116)

  Show description for 961df36
  

  jra4

  and

  jamesrayman

  authored
  961df36

  Copy full SHA for 961df36

Commits on Jul 31, 2025

• Fix modes on modules in expressions & structures (#115)

  Show description for 31e4782
  dvulakh

  authored
  31e4782

  Copy full SHA for 31e4782

Commits on Jul 30, 2025

• Prevent `]>` from being output by ocamlformat when encountering overrides in method definitions (#114)

  Show description for 38ce170
  Dreian

  authored
  38ce170

  Copy full SHA for 38ce170

Commits on Jun 17, 2025

• Add support for Tof_kind (#112)

  Show description for ff3587b
  glittershark

  authored
  ff3587b

  Copy full SHA for ff3587b

Commits on Jun 5, 2025

• Remove redundant erased test under js profile. (#113)

  Show description for d3a8756
  

  mdelvecchio-jsc

  and

  dvulakh

  authored
  d3a8756

  Copy full SHA for d3a8756

Commits on Jun 4, 2025

• Fix test. (#111)

  Show description for 7a73f59
  mdelvecchio-jsc

  authored
  7a73f59

  Copy full SHA for 7a73f59

Commits on Jun 2, 2025

• Refactor and clean up mode syntax (#108)

  riaqn

  authored
  4ddc324

  Copy full SHA for 4ddc324

Commits on May 2, 2025

• Fixes for compact `fun` and `function` arguments (#107)

  dvulakh

  authored
  ac303c9

  Copy full SHA for ac303c9

Commits on Apr 22, 2025

• Change PR number workflow to ubuntu-latest (#109)

  Show description for 6eecca1
  dvulakh

  authored
  6eecca1

  Copy full SHA for 6eecca1

Commits on Mar 13, 2025

• fix stack_ with attributes (#106)

  Show description for 3dc38a7
  riaqn

  authored
  3dc38a7

  Copy full SHA for 3dc38a7

Commits on Mar 4, 2025

• Erase unboxed products (#105)

  Show description for f69f637
  ccasin

  authored
  f69f637

  Copy full SHA for f69f637

Commits on Feb 28, 2025

• Support `stack_ fun` (#103)

  riaqn

  authored
  e918d32

  Copy full SHA for e918d32

Commits on Feb 18, 2025

• add [--check-odoc-parsing] flag to manpage (#104)

  Show description for a759575
  dvulakh

  authored
  a759575

  Copy full SHA for a759575

Commits on Feb 17, 2025

• Format doc comments (#101)

  Show description for bd91762
  dvulakh

  authored
  bd91762

  Copy full SHA for bd91762

Commits on Feb 14, 2025

• Add tests that modalities are erased in more positions (#102)

  Show description for 2208eca
  dvulakh

  authored
  2208eca

  Copy full SHA for 2208eca

• Add support for modalities on with-bounds in jkind annotations (#100)

  Show description for ea4a5fb
  glittershark

  authored
  ea4a5fb

  Copy full SHA for ea4a5fb

Commits on Feb 4, 2025

• Default modalities and simple modal modules (#97)

  Show description for 71a16e2
  mdelvecchio-jsc

  authored
  71a16e2

  Copy full SHA for 71a16e2

• Fix call pos erasure in single-argument function types (#99)

  Show description for c3879ad
  mdelvecchio-jsc

  authored
  c3879ad

  Copy full SHA for c3879ad

Commits on Jan 30, 2025

• Unboxed records (#98)

  ccasin

  authored
  2e02917

  Copy full SHA for 2e02917

Commits on Jan 15, 2025

• Fix precedence of `stack_` keyword (#92)

  Show description for 304977b
  dvulakh

  authored
  304977b

  Copy full SHA for 304977b

Commits on Jan 14, 2025

• Erase `global_` by moving the modality to a `[@globalized]` attribute (#93)

  dvulakh

  authored
  35aaa33

  Copy full SHA for 35aaa33

Commits on Jan 13, 2025

• Fix bug in variance & injectivity normalization (#96)

  Show description for 9b29b6b
  dvulakh

  authored
  9b29b6b

  Copy full SHA for 9b29b6b

Commits on Dec 30, 2024

• Update parsetree (#95)

  Show description for b33dfd2
  

  mdelvecchio-jsc

  and

  dvulakh

  authored
  b33dfd2

  Copy full SHA for b33dfd2

Commits on Dec 3, 2024

• Sort modes and modalities (#90)

  Show description for c39d773
  

  glittershark

  and

  dvulakh

  authored
  c39d773

  Copy full SHA for c39d773

Commits on Dec 2, 2024

• Fix extension shorthand for type nonrec (#94)

  dvulakh

  authored
  efd15ae

  Copy full SHA for efd15ae

Commits on Nov 26, 2024

• Fix CI by deleting test_branch (#91)

  dvulakh

  authored
  525979e

  Copy full SHA for 525979e

Commits on Nov 15, 2024

• Fix attributes being dropped from packed module expressions and patterns (#89)

  Show description for 9ff450e
  mdelvecchio-jsc

  authored
  9ff450e

  Copy full SHA for 9ff450e

Commits on Nov 5, 2024

• Fix formatting of attributes on long lines (#86)

  Show description for e40d7f4
  dvulakh

  authored
  e40d7f4

  Copy full SHA for e40d7f4

Pagination

Previous

Next