aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/asyncTaskQueue.ml
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-05
|\|
| * workers: purge short version of -load-vernac too (fix #4458)Gravatar Enrico Tassi2016-01-04
* | Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* *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