Stream: MetaCoq

Topic: ✔ Unbearably slow compilation of some Coq files

view this post on Zulip Rodolphe Lepigre (Jun 05 2024 at 16:17):

Long story short, here was the culprit (via an import to the new Coq.Strings.PString module.

view this post on Zulip Rodolphe Lepigre (Jun 05 2024 at 16:24):

https://github.com/coq/coq/issues/19150

view this post on Zulip Notification Bot (Jun 05 2024 at 16:24):

Rodolphe Lepigre has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC