aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/asyncTaskQueue.ml
Commit message (Expand)AuthorAge
* 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-11-22 22:41:10 +0000