Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 6, 2022

• Build the whole compiler with dune

  

  cknitt

  authored and

  cristianoc

  committed
  81a3dc6

  Copy full SHA for 81a3dc6

Commits on Oct 11, 2021

• use conditional compilation

  bobzhang

  committed
  7d6e727

  Copy full SHA for 7d6e727

Commits on Oct 10, 2021

• conditional compilation compatible with cppo

  bobzhang

  committed
  9cb0538

  Copy full SHA for 9cb0538

• change macros to RELEASE/BROWSER

  bobzhang

  committed
  df88819

  Copy full SHA for df88819

Commits on Apr 24, 2021

• deformat && upstream version agnostics

  bobzhang

  committed
  3a4c26c

  Copy full SHA for 3a4c26c

Commits on Mar 16, 2021

• tweak $ printing & clean up caml_array runtime

  bobzhang

  committed
  d4e9387

  Copy full SHA for d4e9387

Commits on Mar 15, 2021

• indentation friendly

  bobzhang

  committed
  cd1d0a9

  Copy full SHA for cd1d0a9

Commits on Mar 13, 2021

• Give credits to where its due

  bobzhang

  committed
  77c0a21

  Copy full SHA for 77c0a21

Commits on Feb 8, 2021

• tweak wording

  bobzhang

  committed
  46f0954

  Copy full SHA for 46f0954

Commits on Feb 25, 2020

• compact marshal encoding scheme

  bobzhang

  committed
  e69b18d

  Copy full SHA for e69b18d

Commits on Feb 22, 2020

• use array format for fast loading

  bobzhang

  committed
  ba64b15

  Copy full SHA for ba64b15

Commits on Feb 18, 2020

• improve the robustness of devbuild

  Show description for d37de27
  bobzhang

  committed
  d37de27

  Copy full SHA for d37de27

Commits on Feb 14, 2020

• more logs

  bobzhang

  committed
  11645d6

  Copy full SHA for 11645d6

• more diagnostics for troubleshooting

  bobzhang

  committed
  9fae33e

  Copy full SHA for 9fae33e

• in memory loading turned on

  bobzhang

  committed
  7d83a34

  Copy full SHA for 7d83a34

Commits on Feb 12, 2020

• add a digest to the generated file

  bobzhang

  committed
  a6ee05d

  Copy full SHA for a6ee05d

Commits on Feb 10, 2020

• in memory loading cmi/j for browser -- much easier playground

  bobzhang

  committed
  6ac5d58

  Copy full SHA for 6ac5d58

Loading