Code

Split mathcomp#390

Code

Merged

MSoegtropIMC merged 12 commits intocoq:maincoq/platform:mainfrom MSoegtropIMC:split-mathcompMSoegtropIMC/platform:split-mathcompCopy head branch name to clipboardDec 11, 2023

+853-647

Commits

Commits on Nov 15, 2023

• Renamed package pick 8.18+beta1 to 8.18+mc2+beta and created new MC1.18 based pick 8.18+beta1

  MSoegtropIMC

  committed
  a6882b1

• Opam: remove local opam packages available in main opam repos

  MSoegtropIMC

  committed
  5a81eda

• Bumped release to 2023.11.0 and changed package picks from beta to release

  MSoegtropIMC

  committed
  b071394

• CI: update pick selections for CI

  MSoegtropIMC

  committed
  04bdf91

• Updated pick selection in example scripts

  MSoegtropIMC

  committed
  5639657

Commits on Nov 16, 2023

• Smoke test: fixed smoke test for extructures and disabled smoke test for libhyps

  MSoegtropIMC

  committed
  6cd40b4

• Pick 8.18~2023.11, 8.18~mc2~2023.11: updated eprover to version 3.0

  MSoegtropIMC

  committed
  b2674b5

Commits on Nov 17, 2023

• Pick 8.18~2023.11, 8.18~mc2~2023.11: added patch to coqdep to fix Windows path handling

  MSoegtropIMC

  committed
  d383eb3

Commits on Nov 24, 2023

• Opam: added patch for dune 3.11.1, switch new picks to dune 3.11.1 and removed patched for older dune

  MSoegtropIMC

  committed
  cf09b9c

• Opam: added patch for coq-itauto.8.18.0

  MSoegtropIMC

  committed
  029d33c

Commits on Dec 7, 2023

• Windows: ocamlfind: allow ':' as path list separator but ignore it after a single character as in 'C:'

  MSoegtropIMC

  committed
  4a2740b

Commits on Dec 8, 2023

• Pick 8.18[~mc2]~2023.11: dsiable coq-metacoq on 32 bit platforms

  MSoegtropIMC

  committed
  f1fcd66