Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 4, 2022

• chore: update links in dune-project

  rgrinberg

  committedJun 4, 2022
  ba49628

• chore: fix warnings

  rgrinberg

  committedJun 4, 2022
  4d11a70

• chore: prepare point release

  rgrinberg

  committedJun 4, 2022
  35b70d0

• fix(opam): update constraints

  rgrinberg

  committedJun 4, 2022
  000d37b

• fix: opam file

  rgrinberg

  committedJun 4, 2022
  ef19662

Commits on Apr 27, 2022

• chore: prepare 1.3.3

  rgrinberg

  committedApr 27, 2022
  56c57e6

• chore: update to dune 2.9

  rgrinberg

  committedApr 27, 2022
  c354084

Commits on Apr 25, 2022

• Fix compile with 5.00

  

  nojb

  authored and

  rgrinberg

  committedApr 25, 2022
  70d0b75

Commits on Nov 12, 2019

• fix compile with e.g. ocaml 4.09 (#26)

  rgrinberg

  committedNov 12, 2019
  c6d5ab5

• Remove [open Format]

  rgrinberg

  committedNov 12, 2019
  8832bad

• fix compile with e.g. ocaml 4.09

  christoph-cullmann

  committedNov 12, 2019
  fd030d0

Commits on Aug 3, 2019

• Add codeowners files, with @rgrinberg as the default owner.

  mjambon

  committedAug 3, 2019
  a6a4dd8

Commits on Aug 2, 2019

• Add a documentation field to appease to dune-release

  rgrinberg

  committedAug 2, 2019
  17daf10

• Add description and synopsis

  rgrinberg

  committedAug 2, 2019
  3c60960

• Update dune project to point at github repo

  rgrinberg

  committedAug 2, 2019
  11997e9

• Use @ALL as default target for makefile

  rgrinberg

  committedAug 2, 2019
  d256c22

• Update CHANGES for 1.3.2

  rgrinberg

  committedAug 2, 2019
  8b97c92

• Port changes to markdown

  rgrinberg

  committedAug 2, 2019
  20bc0f0

Commits on Aug 1, 2019

• Merge pull request #25 from rgrinberg/dune-generate-opam

  mjambon

  committedAug 1, 2019
  cefa821

• Update dune settings

  rgrinberg

  committedAug 1, 2019
  0bab7fc

Commits on Jun 28, 2019

• Add "unmaintenance notice"

  mjambon

  committedJun 28, 2019
  76420c5

Commits on Jun 26, 2019

• Merge pull request #24 from TypesLogicsCats/dune-migration

  mjambon

  committedJun 26, 2019
  4c34787

Commits on Jun 25, 2019

• Remove unused List module

  alan-j-hu

  committedJun 25, 2019
  dcc6501

• Fix warnings about unbound record labels in patterns and unused variables

  alan-j-hu

  committedJun 25, 2019
  65b4053

• Migrate from Jbuilder to Dune

  alan-j-hu

  committedJun 25, 2019
  c5aefcc

Commits on Feb 21, 2018

• Merge pull request #21 from ArchangeGabriel/patch-2

  mjambon

  committedFeb 21, 2018
  81410c7

Commits on Feb 19, 2018

• README: Tell that dune/jbuilder is required.

  ArchangeGabriel

  committedFeb 19, 2018
  47a1418

Commits on Feb 13, 2018

• Merge pull request #20 from ArchangeGabriel/patch-1

  mjambon

  committedFeb 13, 2018
  c86dcdc

• Add back install/uninstall targets to Makefile

  ArchangeGabriel

  committedFeb 13, 2018
  e3379b8

Commits on Jan 11, 2018

• Fix tests for compatibility with ocaml < 4.06

  mjambon

  committedJan 11, 2018
  d9c2d0d

• Merge pull request #18 from openvstorage/limit_stack_usage

  mjambon

  committedJan 11, 2018
  9858a17

• Use reverse functions instead to avoid any time penalty

  andersfugmann

  committedJan 11, 2018
  b3ff989

• Add test case for stack overflow

  andersfugmann

  committedJan 11, 2018
  de77360

• Limit the stack usage by using tail recursive variants of List.map and List.split

  andersfugmann

  committedJan 11, 2018
  a6acf6f

Commits on Aug 7, 2017

• Add back emacs backup files to gitignore (*~)

  

  Martin Jambon

  committedAug 7, 2017
  c746277

Pagination

PreviousNext