aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/asyncTaskQueue.ml
Commit message (Expand)AuthorAge
* [toplevel] Remove long ago deprecated and NOOP options.Gravatar Emilio Jesus Gallego Arias2017-07-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Silence a few OCaml warnings.Gravatar Guillaume Melquiond2017-04-13
* [stm] Remove edit_id.Gravatar Emilio Jesus Gallego Arias2017-04-12
* [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Fix a typo in STM universe communications.Gravatar Maxime Dénès2017-01-30
* AsyncTaskQueue: annotate debug feedback messages with worker idGravatar Enrico Tassi2016-09-13
* feedback: support multiple feedback listenersGravatar Enrico Tassi2016-09-05
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-09-02
|\
| * Fix #4871 - interrupting par:abstract kills coqtopGravatar Maxime Dénès2016-08-30
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-01
|\|
* | Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
| * STM: fix argument filtering for slavesGravatar Enrico Tassi2016-05-27
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-18
|\|
| * Tentative fix for bug #4614: "Fully check the document" is uninterruptable.Gravatar Pierre-Marie Pédrot2016-03-15
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-05
|\|
| * Rename Ephemeron -> CEphemeron.Gravatar Maxime Dénès2016-03-04
* | 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