coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of lib/spawn.ml

January 2026

coqbot-app[bot]
Merge PR #21517: Control which ocaml warnings are on instead of delegating to dune
committed
Gaëtan Gilbert
Handle most unused-field warnings
committed

October 2024

coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

July 2024

coqbot-app[bot]
Merge PR #19314: Fix exception catchalls
committed
Gaëtan Gilbert
Fix exception catchalls
committed

June 2024

coqbot-app[bot]
Merge PR #19247: Fix coqide compilation with lablgtk 3.1.5 on windows
committed
Gaëtan Gilbert
Fix coqide compilation with lablgtk 3.1.5 on windows
committed

October 2022

coqbot-app[bot]
Merge PR #16717: Fix coqworker spawning on windows part 2
committed
Gaëtan Gilbert
Fix coqworker spawning on windows part 2
committed
coqbot-app[bot]
Merge PR #16711: Fix coqworker spawning on windows
committed
Gaëtan Gilbert
Fix coqworker spawning on windows
committed
coqbot-app[bot]
Merge PR #16594: [build] Unify worker binaries.
committed
Emilio Jesus Gallego Arias
[build] Unify worker binaries.
committed
coqbot-app[bot]
Merge PR #16142: Fix "Interrupt computations" on Windows
committed
Jim Fehrle
Fix interrupt on Windows
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed

February 2021

coqbot-app[bot]
Merge PR #13202: Infrastructure for fine-grained debug flags
committed
Maxime Dénès
Infrastructure for fine-grained debug flags
committed

March 2020

Hugo Herbelin
Merge PR #11559: Remove year in headers.
committed
Théo Zimmermann
Update headers in the whole code base.
committed

November 2019

Gaëtan Gilbert
Merge PR #11010: [coq] Untabify the whole ML codebase.
committed
Emilio Jesus Gallego Arias
[coq] Untabify the whole ML codebase.
committed

June 2019

Clément Pit-Claudel
Merge PR #10320: Update headers to the new year.
committed
Théo Zimmermann
Update ml-style headers to new year.
committed

June 2018

Emilio Jesus Gallego Arias
Merge PR #7828: [Spawn] no control sock on unix
committed
Enrico Tassi
[spawn] don't create a control socket on Unix (Fix #7713)
committed

May 2018

Emilio Jesus Gallego Arias
Merge PR #7594: Fix #5983 (many frequent AppVeyor failures) by increasing spawn timeout.
committed
Théo Zimmermann
Fix #5983 (many frequent AppVeyor failures) by increasing spawn timeout.
committed

March 2018

Maxime Dénès
Merge PR #6855: Update headers following #6543.
committed

February 2018

Théo Zimmermann
Update headers following #6543.
committed

November 2017

Maxime Dénès
Merge PR #6051: Fix FIXME: use OCaml 4.02 generative functors when available.
committed
Gaëtan Gilbert
Fix FIXME: use OCaml 4.02 generative functors when available.
committed

July 2017

Pierre-Marie Pédrot
Bump year in headers.
committed

June 2017

Maxime Dénès
Merge PR#713: Bump year in headers.
committed
Maxime Dénès
Merge PR#716: Don't double up on periods in anomalies
committed
Jason Gross
Drop '.' from CErrors.anomaly, insert it in args
committed
Maxime Dénès
Bump year in headers.
committed

July 2016

Maxime Dénès
Merge branch 'cerrors-cclosure' into trunk
committed
Pierre Letouzey
errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib module)
committed

May 2016

Pierre-Marie Pédrot
Removing dead code and unused opens.
committed

April 2016

Pierre Courtieu
Merge remote-tracking branch 'OFFICIAL/trunk' into morefresh
committed

March 2016

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Enrico Tassi
Win: kill unreliable hence do not waitpid after kill -9 (Close #4369)
committed

January 2016

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Maxime Dénès
Update copyright headers.
committed

December 2015

Guillaume Melquiond
Merge branch 'v8.5' into trunk
committed
Enrico Tassi
spawn: fix leak of file descriptors
committed

October 2015

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Enrico Tassi
Spawn: use each socket exclusively for writing or reading
committed