Coq

~jgross-h/coq/+git/coq:v8.9

  1. Git
  2. lp:~jgross-h/coq/+git/coq
  3. v8.9
Last commit made on 2022-06-23
Get this branch:
git clone -b v8.9 https://git.launchpad.net/~jgross-h/coq/+git/coq

Branch merges

Branch information

Name:
v8.9
Repository:
lp:~jgross-h/coq/+git/coq

Recent commits

0bd9f24... by Jason Gross

Merge PR #16236: [v8.9] Backport #15271: Delay removing native_compute .ml files until exit

7732813... by =?utf-8?q?Ga=C3=ABtan_Gilbert?= <email address hidden>

Delay removing native_compute .ml files until exit

Fix #15263 (assuming it was correctly diagnosed)

Co-authored-by: Jason Gross <email address hidden>

993fca1... by Hugo Herbelin <email address hidden>

Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present pr_dump.cmo

e3f47b0... by Jacques Garrigue <email address hidden>

ocaml 4.08 does not allow dynamic loading of already present pr_dump.cmo

e1d8a33... by Guillaume Melquiond <email address hidden>

Merge PR #10171: Bump version number to 8.9.1.

ad8c966... by Guillaume Melquiond <email address hidden>

Merge PR #10183: [Gitlab-CI] Target macOS version 10.11

3fc6762... by Vincent Laporte <email address hidden>

[Gitlab-CI] Target macOS version 10.11

986397e... by Guillaume Melquiond <email address hidden>

Bump version number to 8.9.1.

a535b3b... by Guillaume Melquiond <email address hidden>

Backport PR #8967: Fix #8922 (uncaught pp_diff exception)

12fe484... by Jim Fehrle <email address hidden>

Get hyps and goal the same way Printer does; don't omit info
Allow for new goals that don't map to old goals
Include background_goals in all_goals return value
Fix incorrect change to raw diffs in shorten_diff_span
Fixes #8922

(cherry picked from commit a7121ed7ba1a5a55845b5ffa4846b8aa0e293e5d)