aboutsummaryrefslogtreecommitdiffhomepage
path: root/stm/spawned.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [stm] Move process_id to Spawned.Gravatar Emilio Jesus Gallego Arias2017-12-11
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Drop '.' from CErrors.anomaly, insert it in argsGravatar Jason Gross2017-06-02
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Spawn: use each socket exclusively for writing or readingGravatar Enrico Tassi2015-10-08
* Fixing bug #4055.Gravatar Pierre-Marie Pédrot2015-03-12
* Update headers.Gravatar Maxime Dénès2015-01-12
* Spawn: fix request of Gc statisticsGravatar Enrico Tassi2014-12-17
* 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