Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
| | |||
* | Bump year in headers. | 2017-07-04 | |
| | |||
* | Update copyright headers. | 2016-01-20 | |
| | |||
* | TQueue: Allow some tasks to be saved when clearing a TQueue | 2015-10-09 | |
| | |||
* | TQueue: Expose the length of TQueues | 2015-10-09 | |
| | |||
* | *Queue: API to wake up all threads | 2015-02-16 | |
| | |||
* | Update headers. | 2015-01-12 | |
| | |||
* | TQueue: a way to unblock threads begin destroyed waiting on pop | 2014-12-17 | |
| | |||
* | TQueue: let reader be picky when popping an item | 2014-11-27 | |
| | | | | E.g. let a worker pick up only jobs he is able to deal with. | ||
* | STM: primitives to snapshot a .vi while in interactive mode | 2014-10-13 | |
| | |||
* | TQueue: new primitive to take a snapshot of the queue | 2014-10-13 | |
| | |||
* | STM: new "par:" goal selector, like "all:" but in parallel | 2014-08-05 | |
| | | | | | par: distributes the goals among a number of workers given by -async-proofs-tac-j (defaults to 2). | ||
* | STM: use a real priority queue | 2014-08-04 | |
| | |||
* | more APIs in TQueue and CThread | 2014-07-10 | |
| | | | | These are now sufficient to implement PIDE | ||
* | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | 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. |