Commits

Breadcrumbs

History for

ona77bc16

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 25, 2021

• Add dummy ocamlcp (#193)

  Gbury

  authored
  f689b19

  Copy full SHA for f689b19

Commits on Aug 23, 2021

• Install dummy ocamlprof (#184)

  mshinwell

  authored
  57bcc7d

  Copy full SHA for 57bcc7d

Commits on Aug 10, 2021

• Fix cherry-pick.sh script (#146)

  gretay-js

  authored
  111e84e

  Copy full SHA for 111e84e

Commits on Jun 29, 2021

• Update the script for cherry-picking from upstream ocaml repo (#54)

  Show description for 44c1c28
  

  gretay-js

  authored and

  poechsel

  committed
  44c1c28

  Copy full SHA for 44c1c28

• Add a little script that helps update dune file when a new file is added to compiler libs (#36)

  

  gretay-js

  authored and

  poechsel

  committed
  78b4433

  Copy full SHA for 78b4433

• Add scripts/cherry-pick-to-ocaml.sh

  

  mshinwell

  authored and

  poechsel

  committed
  8364115

  Copy full SHA for 8364115

• Comparison script for Flambda backend installation

  

  mshinwell

  authored and

  poechsel

  committed
  a5593c1

  Copy full SHA for a5593c1

• Add copy-ocaml-subset.sh script

  poechsel

  committed
  7059376

  Copy full SHA for 7059376

Loading