Code

New dunification of Zarith#2

Code

Draft

TheLortex wants to merge 11 commits intodune-universe:duniverse-new-masterdune-universe/Zarith:duniverse-new-masterfrom TheLortex:mirage-4TheLortex/Zarith:mirage-4Copy head branch name to clipboard

+293-40

Commits

Commits on Oct 11, 2021

• new dunification of zarith

  TheLortex

  committed
  3f5feb4

  Copy full SHA for 3f5feb4

• macos

  TheLortex

  committed
  458d1af

  Copy full SHA for 458d1af

• test with the gmp package

  TheLortex

  committed
  4f5491a

  Copy full SHA for 4f5491a

• fix dependency specifications

  TheLortex

  committed
  a8d9576

  Copy full SHA for a8d9576

• add workspace root as dependency

  TheLortex

  committed
  cf5e0d7

  Copy full SHA for cf5e0d7

Commits on Oct 26, 2021

• fix CI

  TheLortex

  committed
  0cf0c76

  Copy full SHA for 0cf0c76

• test macos monorepo

  TheLortex

  committed
  520af3b

  Copy full SHA for 520af3b

• use wip ocaml-gmp

  TheLortex

  committed
  7910d87

  Copy full SHA for 7910d87

• fix CI (macos)

  TheLortex

  committed
  e6815f2

  Copy full SHA for e6815f2

• don't use realpath

  TheLortex

  committed
  e90fca3

  Copy full SHA for e90fca3

• silence zarith configure

  TheLortex

  committed
  d34db69

  Copy full SHA for d34db69