Code

Adapt w.r.t. coq/coq#17674.#389

Code

Merged

SkySkimmer merged 1 commit intorocq-archive:mainrocq-archive/coq-serapi:mainfrom ppedrot:vm-split-bytecodeppedrot/coq-serapi:vm-split-bytecodeCopy head branch name to clipboardFeb 22, 2024

+133-6

Commits

Commits on Feb 21, 2024

• Adapt w.r.t. coq/coq#17674.

  ppedrot

  committed
  6fe1ed6