Coq master segfaults on a Coq interval test case since last night. I created an issue for Coq Interval since I am sure @silene understands this best but I wanted to leave a note here as well, since I don't understand how a change in Coq Interval can lead to a seg fault in coqc - I always thought it was pure Coq.
(https://gitlab.inria.fr/coqinterval/interval/-/issues/5)
As I wrote in the report, this is presumably an instance of https://github.com/coq/coq/pull/13867
Thanks!
Last updated: Oct 13 2024 at 01:02 UTC