aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/spawned.mli
Commit message (Expand)AuthorAge
* [stm] Move process_id to Spawned.Gravatar Emilio Jesus Gallego Arias2017-12-11
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Spawn: use each socket exclusively for writing or readingGravatar Enrico Tassi2015-10-08
* Update headers.Gravatar Maxime Dénès2015-01-12
* CThread: use a different type for thread friendly in_channelsGravatar Enrico Tassi2014-12-17
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25