Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Nov 1, 2024

• Update README.md

  keigoi

  authored
  8de07ec

  Copy full SHA for 8de07ec

Commits on Nov 3, 2022

• comments

  keigoi

  committed
  dac438b

  Copy full SHA for dac438b

Commits on Jun 20, 2022

• upgrade ocamlformat version

  keigoi

  committed
  b9d2339

  Copy full SHA for b9d2339

• additional tests

  keigoi

  committed
  a8682b1

  Copy full SHA for a8682b1

• failing linearity tests

  keigoi

  committed
  054e032

  Copy full SHA for 054e032

• generic unification module

  keigoi

  committed
  c782aca

  Copy full SHA for c782aca

• generic map operation for State.t

  keigoi

  committed
  8b714ad

  Copy full SHA for 8b714ad

Commits on Jun 17, 2022

• gitignore .vscode

  keigoi

  committed
  15e6f3b

  Copy full SHA for 15e6f3b

• dynChan: remove name type

  keigoi

  committed
  cfd1bda

  Copy full SHA for cfd1bda

• proper path compression on channels

  keigoi

  committed
  0c8c4ad

  Copy full SHA for 0c8c4ad

• fix on path compression

  keigoi

  committed
  73c2b32

  Copy full SHA for 73c2b32

• minor

  keigoi

  committed
  3d8702e

  Copy full SHA for 3d8702e

Commits on Jun 16, 2022

• minor

  keigoi

  committed
  96f7896

  Copy full SHA for 96f7896

• Merge pull request #6 from keigoi/fix

  Show description for 804e8b3
  keigoi

  authored
  804e8b3

  Copy full SHA for 804e8b3

• fix bogus unification of channels

  keigoi

  committed
  ef7adac

  Copy full SHA for ef7adac

• failing test for channel unification bug

  keigoi

  committed
  6050e9b

  Copy full SHA for 6050e9b

• fix build (rows-ocaml depends on ppxlib.0.26.0 or earlier)

  keigoi

  committed
  3fb47a1

  Copy full SHA for 3fb47a1

• fix types

  keigoi

  committed
  4f0007f

  Copy full SHA for 4f0007f

• typo, fixes #4

  keigoi

  committed
  b4cdb4a

  Copy full SHA for b4cdb4a

Commits on Jun 15, 2022

• comments

  keigoi

  committed
  daae64b

  Copy full SHA for daae64b

• scatter_val/gather_val

  keigoi

  committed
  41c0418

  Copy full SHA for 41c0418

• Merge pull request #5 from keigoi/refactoring3

  Show description for f8948d3
  keigoi

  authored
  f8948d3

  Copy full SHA for f8948d3

• rename

  keigoi

  committed
  66fe6ff

  Copy full SHA for 66fe6ff

• refactoring

  keigoi

  committed
  e026cbb

  Copy full SHA for e026cbb

Commits on Jun 13, 2022

• rename

  keigoi

  committed
  2615ba2

  Copy full SHA for 2615ba2

Commits on Jun 8, 2022

• compiles

  keigoi

  committed
  066c1f2

  Copy full SHA for 066c1f2

Commits on May 29, 2022

• wip

  keigoi

  committed
  2bf97bc

  Copy full SHA for 2bf97bc

• wip

  keigoi

  committed
  8d83f30

  Copy full SHA for 8d83f30

Commits on May 28, 2022

• rename

  keigoi

  committed
  08a0c21

  Copy full SHA for 08a0c21

• ppxlib version boundary

  keigoi

  committed
  322e340

  Copy full SHA for 322e340

Commits on May 6, 2022

• nil type for extraction

  keigoi

  committed
  e5aed58

  Copy full SHA for e5aed58

Commits on May 4, 2022

• supporting OCaml 4.14

  keigoi

  committed
  356c0d5

  Copy full SHA for 356c0d5

• badge

  keigoi

  committed
  6174d50

  Copy full SHA for 6174d50

• exclude ocaml < 4.12

  keigoi

  committed
  00720e3

  Copy full SHA for 00720e3

• deps: ounit

  keigoi

  committed
  c6aad55

  Copy full SHA for c6aad55