The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

On 02/02/2015 10:35, Enrico Tassi wrote:
>    Such bug affects also linux but is way harder to reproduce.  I'll
>    eventually dig into it.  Or avoid threads completely, but this
>    requires doing some cps transformation of my code and I'm not
>    eagher to do that.

For the record, I do have a branch in progress that aims at removing
threads from Coq (and I am not that far from this actually).

https://github.com/ppedrot/coq/tree/thread-free

Even though it is not finished, it may be worth the try...

PMP

Attachment: signature.asc
Description: OpenPGP digital signature