index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
stm
/
spawned.ml
Commit message (
Expand
)
Author
Age
*
[spawn] don't create a control socket on Unix (Fix #7713)
Enrico Tassi
2018-06-15
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
[stm] Move process_id to Spawned.
Emilio Jesus Gallego Arias
2017-12-11
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Drop '.' from CErrors.anomaly, insert it in args
Jason Gross
2017-06-02
*
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...
Pierre Letouzey
2016-07-03
*
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-05-08
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
Spawn: use each socket exclusively for writing or reading
Enrico Tassi
2015-10-08
*
Fixing bug #4055.
Pierre-Marie Pédrot
2015-03-12
*
Update headers.
Maxime Dénès
2015-01-12
*
Spawn: fix request of Gc statistics
Enrico Tassi
2014-12-17
*
CThread: use a different type for thread friendly in_channels
Enrico Tassi
2014-12-17
*
Adding a stm/ folder, as asked during last workgroup. It was essentially moving
Pierre-Marie Pédrot
2014-04-25