aboutsummaryrefslogtreecommitdiff
path: root/stm/asyncTaskQueue.mli
AgeCommit message (Expand)Author
2019-07-08Passing command-line option async_proofs_worker_priority functionally.Hugo Herbelin
2019-07-08Layout/documentation updates.Hugo Herbelin
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-01Fix mli-doc issue #6531Tony Beta Lambda
2017-12-11[flags] [stm] Reorganize flags.Emilio Jesus Gallego Arias
2017-11-21[stm] [doc] Add some documentation to AsyncTaskQueue APIEmilio Jesus Gallego Arias
2017-11-01Fix FIXME: use OCaml 4.02 generative functors when available.Gaëtan Gilbert
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-02-16*Queue: API to wake up all threadsEnrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-17AsyncTaskQueue: simpler model (no parking area, continuation tasks)Enrico Tassi
2014-11-27AsyncTaskQueue: parsin can also happen in the workers nowEnrico Tassi
2014-11-27AsyncTaskQueue: API to park a workerEnrico Tassi
2014-11-03STM: code refactoringEnrico Tassi
2014-10-13STM: primitives to snapshot a .vi while in interactive modeEnrico Tassi
2014-08-05STM: new "par:" goal selector, like "all:" but in parallelEnrico Tassi
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:37:12 +0000