Code

Expand the OCaml stdlib#201

Code

Open

clarus wants to merge 11 commits intomasterformal-land/coq-of-ocaml:masterfrom expand-ocaml-stdlibformal-land/coq-of-ocaml:expand-ocaml-stdlibCopy head branch name to clipboard

+1,133-953

Commits

Commits on Jun 22, 2022

• Upgrade to OCaml 4.13

  clarus

  committed
  148308c

  Copy full SHA for 148308c

• Remove compilation warnings

  clarus

  committed
  8523844

  Copy full SHA for 8523844

• Upsteam opam file change from @kit-ty-kate

  clarus

  committed
  8567568

  Copy full SHA for 8567568

• Update GitHub CI

  clarus

  committed
  0452c9c

  Copy full SHA for 0452c9c

• Upgrade Merlin

  clarus

  committed
  92e473e

  Copy full SHA for 92e473e

• Upgrade ocamlformat

  clarus

  committed
  9c664eb

  Copy full SHA for 9c664eb

Commits on Aug 9, 2022

• Stdlib: beginning of Stdlib.v file

  clarus

  committed
  008cb5b

  Copy full SHA for 008cb5b

• Add more definitions for Stdlib

  clarus

  committed
  b7c6f75

  Copy full SHA for b7c6f75

Commits on Aug 11, 2022

• Start splitting the Basics.v file

  clarus

  committed
  a2cb0f5

  Copy full SHA for a2cb0f5

• Export the Char, List and String modules in Stdlib

  clarus

  committed
  c175118

  Copy full SHA for c175118

Commits on Aug 12, 2022

• Split the standard library even more

  clarus

  committed
  4732fc0

  Copy full SHA for 4732fc0