Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | | | | | par: distributes the goals among a number of workers given by -async-proofs-tac-j (defaults to 2). | ||
* | STM: use a real priority queue | Enrico Tassi | 2014-08-04 |
| | |||
* | more APIs in TQueue and CThread | Enrico Tassi | 2014-07-10 |
| | | | | These are now sufficient to implement PIDE | ||
* | 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. |