Stream: Coq devs & plugin devs

Topic: coqc master seg faults in Coq Platform CI


view this post on Zulip Michael Soegtrop (Feb 18 2021 at 09:03):

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.

view this post on Zulip Michael Soegtrop (Feb 18 2021 at 09:05):

(https://gitlab.inria.fr/coqinterval/interval/-/issues/5)

view this post on Zulip Guillaume Melquiond (Feb 18 2021 at 09:14):

As I wrote in the report, this is presumably an instance of https://github.com/coq/coq/pull/13867

view this post on Zulip Michael Soegtrop (Feb 18 2021 at 10:00):

Thanks!


Last updated: Oct 16 2021 at 02:03 UTC