| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update copyright headers. |  Maxime Dénès | 2016-01-20 |
| * | TQueue: Allow some tasks to be saved when clearing a TQueue |  Alec Faithfull | 2015-10-09 |
| * | TQueue: Expose the length of TQueues | Alec Faithfull | 2015-10-09 |
| * | *Queue: API to wake up all threads |  Enrico Tassi | 2015-02-16 |
| * | Update headers. | Maxime Dénès | 2015-01-12 |
| * | TQueue: a way to unblock threads begin destroyed waiting on pop | Enrico Tassi | 2014-12-17 |
| * | TQueue: let reader be picky when popping an item | Enrico Tassi | 2014-11-27 |
| * | STM: primitives to snapshot a .vi while in interactive mode | Enrico Tassi | 2014-10-13 |
| * | TQueue: new primitive to take a snapshot of the queue | Enrico Tassi | 2014-10-13 |
| * | STM: new "par:" goal selector, like "all:" but in parallel | Enrico Tassi | 2014-08-05 |
| * | STM: use a real priority queue |  Enrico Tassi | 2014-08-04 |
| * | more APIs in TQueue and CThread | Enrico Tassi | 2014-07-10 |
| * | Adding a stm/ folder, as asked during last workgroup. It was essentially moving |  Pierre-Marie Pédrot | 2014-04-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |