master : lp:~jgross-h/coq/+git/coq : Git : Code : Coq

Get this branch:: git clone -b master https://git.launchpad.net/~jgross-h/coq/+git/coq

Branch information

447349e... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 13 hours ago

Merge PR #19027: Remove the cutrewrite tactic.

Reviewed-by: SkySkimmer
Co-authored-by: SkySkimmer <email address hidden>

34411e9... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 15 hours ago

Merge PR #19050: Code factorization around Evarutil.finalize and prepare_obligations

Reviewed-by: SkySkimmer
Co-authored-by: SkySkimmer <email address hidden>

fa5684d... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 18 hours ago

Merge PR #19065: Tweak a weird syntax in CClosure.

Reviewed-by: SkySkimmer
Co-authored-by: SkySkimmer <email address hidden>

ed1ed30... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 19 hours ago

Merge PR #18967: Add a PUSHACCMANY opcode.

Reviewed-by: ppedrot
Co-authored-by: ppedrot <email address hidden>

507905d... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 19 hours ago

Merge PR #18964: Add a PUSHENVACCMANY opcode.

Reviewed-by: ppedrot
Co-authored-by: ppedrot <email address hidden>

4cd884b... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 19 hours ago

Merge PR #19076: Avoid using async proofs cache in output tests

Reviewed-by: ppedrot
Reviewed-by: gares
Co-authored-by: ppedrot <email address hidden>

e68ad67... by =?utf-8?q?Pierre-Marie_P=C3=A9drot?= <email address hidden> on 2024-05-15

Remove the cutrewrite tactic.

It was deprecated since Coq 8.5.

50cd982... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 19 hours ago

Merge PR #18727: Ltac2: don't use delayed_of_tactic for apply terms

Reviewed-by: ppedrot
Co-authored-by: ppedrot <email address hidden>

c67390e... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> 19 hours ago

Merge PR #19069: Switch default locality for TC transparency to Export + followup cleanup

Reviewed-by: ppedrot
Co-authored-by: ppedrot <email address hidden>

e05a8ee... by "coqbot-app[bot]" <50967743+coqbot-app[bot]@users.noreply.github.com> on 2024-05-23

Merge PR #19057: Adding change log for PR #18873 (anomaly instead of error on missing obligation of some name)

Reviewed-by: ppedrot
Co-authored-by: ppedrot <email address hidden>

»