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: Jul 23 2024 at 20:01 UTC