Coq

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

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

Branch merges

Branch information

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

Recent commits

036eafa... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Unset the release flag.

b35c06c... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Bump version numbers.

e039f20... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Changelog for 8.16.1 release.

02920a3... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Backport PR #16824: Document windows-specific limitation of Interrupt in CoqIDE

ab22dcd... by Jim Fehrle <email address hidden>

Document Windows-specific limitation of Interrupt

(cherry picked from commit 53c34677347117a99c854f50029ca754e5b540d7)

124b36a... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden>

Backport PR #16850: Fix PArray inconsistency and bad lazy

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

Changelog for #16850

(cherry picked from commit c71b088a759d0fa6c266cb12eb1a2a8ebc45bfb2)

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

Parray: factorize reroot optimization code

(cherry picked from commit 687089728b8fb54c7bc2c2c79e5acde71d9b405a)

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

Try to be smarter about rerooting in parray combinators

(cherry picked from commit 88371d50dbbff89c49018acd4a31e5f7b981d762)

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

Fix PArray fold API when the array is modified while folding

Fix #16829

(cherry picked from commit 43304d4f77ede8e5d8c1bcbb5bb12bc5351f451b)