aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/asyncTaskQueue.ml
Commit message (Expand)AuthorAge
* STM: fix argument filtering for slavesGravatar Enrico Tassi2016-05-27
* Tentative fix for bug #4614: "Fully check the document" is uninterruptable.Gravatar Pierre-Marie Pédrot2016-03-15
* Rename Ephemeron -> CEphemeron.Gravatar Maxime Dénès2016-03-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* workers: purge short version of -load-vernac too (fix #4458)Gravatar Enrico Tassi2016-01-04
* *Queue: API to wake up all threadsGravatar Enrico Tassi2015-02-16
* Update headers.Gravatar Maxime Dénès2015-01-12
* Inlining Spawn.kill_if in the one place were it was actually used, thusGravatar Pierre-Marie Pédrot2014-12-25
* CoqIDE: cleanup jobs window on worker deathGravatar Enrico Tassi2014-12-17
* AsyncTaskQueue: simpler model (no parking area, continuation tasks)Gravatar Enrico Tassi2014-12-17
* CThread: use a different type for thread friendly in_channelsGravatar Enrico Tassi2014-12-17
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* AsyncTaskQueue: parsin can also happen in the workers nowGravatar Enrico Tassi2014-11-27
* AsyncTaskQueue: API to park a workerGravatar Enrico Tassi2014-11-27
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* STM: code refactoringGravatar Enrico Tassi2014-11-03
* STM: primitives to snapshot a .vi while in interactive modeGravatar Enrico Tassi2014-10-13
* A marshalling failure does not make a worker `OldGravatar Enrico Tassi2014-09-09
* coqworkmgrGravatar Enrico Tassi2014-09-02
* Do not pass "-batch" or "-load-vernac-source" to slaves, avoiding errors inGravatar Matthieu Sozeau2014-08-26
* STM: new "par:" goal selector, like "all:" but in parallelGravatar Enrico Tassi2014-08-05
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 11:21:47 +0000