index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
spawn.ml
Commit message (
Expand
)
Author
Age
*
Fix #5983 (many frequent AppVeyor failures) by increasing spawn timeout.
Théo Zimmermann
2018-05-24
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
Fix FIXME: use OCaml 4.02 generative functors when available.
Gaëtan Gilbert
2017-11-01
*
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
*
Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)
Enrico Tassi
2016-03-09
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
spawn: fix leak of file descriptors
Enrico Tassi
2015-12-17
*
Spawn: use each socket exclusively for writing or reading
Enrico Tassi
2015-10-08
*
Update headers.
Maxime Dénès
2015-01-12
*
Inlining Spawn.kill_if in the one place were it was actually used, thus
Pierre-Marie Pédrot
2014-12-25
*
Spawn: fix request of Gc statistics
Enrico Tassi
2014-12-17
*
Removing handshake from Spawn. It used marshalling, which is bad for
Pierre-Marie Pédrot
2014-04-09
*
Relaunch all Unix.waitpid when they ended with EINTR
Pierre Letouzey
2014-01-30
*
Spawn: managed processes
Enrico Tassi
2014-01-26