Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update headers. | Maxime Dénès | 2015-01-12 |
| | |||
* | Fix compilation with ocaml 4.0.0 | Enrico Tassi | 2014-12-17 |
| | |||
* | WorkerPool: simpler fuctor and no more parking area | Enrico Tassi | 2014-12-17 |
| | |||
* | CThread: use a different type for thread friendly in_channels | Enrico Tassi | 2014-12-17 |
| | |||
* | WorkerPool: API to move a worker from an active pool to a parking one | Enrico Tassi | 2014-11-27 |
| | | | | | | | This lets me have a pool of active workers of a fixed size, plus a parking area where workers that completed their job can stay holding their state (and eventually one can ask them to query such state afterwards). | ||
* | STM: new "par:" goal selector, like "all:" but in parallel | Enrico Tassi | 2014-08-05 |
| | | | | | par: distributes the goals among a number of workers given by -async-proofs-tac-j (defaults to 2). | ||
* | STM: code restructured to reuse task queue for tactics | Enrico Tassi | 2014-08-05 |
| | |||
* | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | Pierre-Marie Pédrot | 2014-04-25 |
files around. A bunch of files from lib/ that were only used in the STM were moved, as well as part of toplevel/ related to the STM. |