The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

For those interested in this in the future, I've managed a poor man's timeout in 8.4, building on top of Thomas Braibant's Timing-plugin: https://github.com/braibant/Timing-plugin/pull/2.

-Jason

On Fri, Jun 6, 2014 at 10:56 PM, Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr> wrote:

On 06/06/2014 23:54, Jason Gross wrote:
> Any chance of a patch or plugin that works with 8.4?

As far as I know, 8.4 is not linked with the thread module, so, no,
there is little hope.

PMP