Coq

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

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

Branch merges

Branch information

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

Recent commits

70a5e6f... by Jason Gross

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

621b8e5... 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>

dca7b1d... by Vincent Laporte <email address hidden>

First commit after 8.10.2

a7027d4... by Vincent Laporte <email address hidden>

Merge PR #11206: Coq version 8.10.2

404aea3... by Vincent Laporte <email address hidden>

Coq version 8.10.2

61beb2d... by Vincent Laporte <email address hidden>

Backport PR #11197: Release notes for Coq 8.10.2

462f6a9... by Vincent Laporte <email address hidden>

Release notes for Coq 8.10.2

(cherry picked from commit 254efbe77e9c7b9dfefe52825ed062c202060507)

680eeab... by Vincent Laporte <email address hidden>

Merge PR #11205: Revert: Backport PR #11177: Add a complexity test for `pattern`

f5be5fd... by Vincent Laporte <email address hidden>

Revert "Add a complexity test for `pattern`"

This reverts commit d5aae12e6ec1b7fe852dbc4dfc943188331b97db.

a016d3c... by Vincent Laporte <email address hidden>

Revert "Update test-suite/complexity/pattern.v"

This reverts commit 833ba1dbd0953fa240dd8d2fd7c30e0b42b5c488.