| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann | |
| 2017-12-11 | [stm] Move process_id to Spawned. | Emilio Jesus Gallego Arias | |
| This brings us one step closer to actually moving all STM flags to `stm`. | |||
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot | |
| 2016-01-20 | Update copyright headers. | Maxime Dénès | |
| 2015-10-08 | Spawn: use each socket exclusively for writing or reading | Enrico Tassi | |
| According to http://caml.inria.fr/mantis/view.php?id=5325 you can't use the same socket for both writing and reading. The result is lockups (may be fixed in 4.03). | |||
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2014-12-17 | CThread: use a different type for thread friendly in_channels | Enrico Tassi | |
| 2014-04-25 | Adding a stm/ folder, as asked during last workgroup. It was essentially moving | Pierre-Marie Pédrot | |
| 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. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |