aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/asyncTaskQueue.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Fix mli-doc issue #6531Gravatar Tony Beta Lambda2018-01-01
* [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
* [stm] [doc] Add some documentation to AsyncTaskQueue APIGravatar Emilio Jesus Gallego Arias2017-11-21
* Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Gaëtan Gilbert2017-11-01
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* *Queue: API to wake up all threadsGravatar Enrico Tassi2015-02-16
* Update headers.Gravatar Maxime Dénès2015-01-12
* AsyncTaskQueue: simpler model (no parking area, continuation tasks)Gravatar Enrico Tassi2014-12-17
* AsyncTaskQueue: parsin can also happen in the workers nowGravatar Enrico Tassi2014-11-27
* AsyncTaskQueue: API to park a workerGravatar 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
* 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-05-08 16:59:25 +0000