coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of stm/asyncTaskQueue.ml

September 2026

coqbot-app[bot]
Merge PR #22286: Exit STM workers quietly on lost master connection (flaky output/Partac.v on Windows CI)
committed

August 2026

Jason Gross
stm: report a lost master connection without matching strerror text
committed

July 2026

Jason Gross
Exit STM workers quietly when the master connection is lost
committed

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

January 2025

coqbot-app[bot]
Merge PR #19951: rename coqworker -> rocqworker
committed
Gaëtan Gilbert
rename coqworker -> rocqworker
committed

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed
Gaëtan Gilbert
Rocq CLI prototype
committed
Gaëtan Gilbert
Don't use .opt in binary names when compiled in "best" mode
committed

October 2024

coqbot-app[bot]
Merge PR #19741: Do not base asyncTaskQueue spawn arguments directly on Sys.argv
committed
Gaëtan Gilbert
Do not base asyncTaskQueue spawn arguments directly on Sys.argv
committed
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
coqbot-app[bot]
Merge PR #19370: Improve compat infrastructure
committed
Pierre Roux
Make compat more usable
committed

September 2024

coqbot-app[bot]
Merge PR #19513: Fix -profile with `par:`, pass profiling data back to main thread and add profile entries for `par:` steps
committed
coqbot-app[bot]
Merge PR #19310: Rename Coq requirement prefix to Stdlib
committed
Gaëtan Gilbert
AsyncTaskQueue pass profiling information back to main thread when enabled
committed
Pierre Roux
Rename Coq requirement prefix to Stdlib
committed
Gaëtan Gilbert
Fix -profile with `par:`
committed

June 2024

coqbot-app[bot]
Merge PR #19147: warnings or errors with a known fix
committed
Enrico Tassi
[quickfix] warnings and errors can carry a qf in the vscode sense
committed

April 2024

coqbot-app[bot]
Merge PR #18424: [stm] Remove support for .vio files
committed
Emilio Jesus Gallego Arias
[stm] Remove support for `.vio` files
committed

June 2023

coqbot-app[bot]
Merge PR #17690: Fix filtering of time-file option in async spawning
committed
Gaëtan Gilbert
Fix filtering of time-file option in async spawning
committed

May 2023

coqbot-app[bot]
Merge PR #17568: gen_rules improvements: remove -fake-source, allow cross dependencies between theories/ and Ltac2/
committed
Gaëtan Gilbert
Remove -fake-source
committed
coqbot-app[bot]
Merge PR #17551: Add a unique id to workers
committed

April 2023

Gaëtan Gilbert
Add a unique id to workers
committed

March 2023

coqbot-app[bot]
Merge PR #17398: Filter fake-source when spawning process in asynctaskqueue
committed
Gaëtan Gilbert
Filter fake-source when spawning process in asynctaskqueue
committed

December 2022

coqbot-app[bot]
Merge PR #17015: [internal] Avoid deprecation warnings in OCaml 5.0
committed
Emilio Jesus Gallego Arias
[internal] Avoid deprecation warnings in OCaml 5.0
committed

October 2022

coqbot-app[bot]
Merge PR #16699: coqworker: worker names are not mutable
committed
Gaëtan Gilbert
coqworker: worker names are not mutable
committed
coqbot-app[bot]
Merge PR #16594: [build] Unify worker binaries.
committed
Emilio Jesus Gallego Arias
[build] Unify worker binaries.
committed

June 2022

coqbot-app[bot]
Merge PR #15560: [build] Consolidation of build system infrastructure
committed
Emilio Jesus Gallego Arias
[build] Consolidation of build system infrastructure
committed

March 2022

coqbot-app[bot]
Merge PR #15745: toplevel: fix a bug in `coqc -vok` invocation
committed
Gaëtan Gilbert
Fix (partial) #15140 vos/vok vs workers
committed

May 2021

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

April 2021

coqbot-app[bot]
Merge PR #13617: [build] Use dune to build OCaml code.
committed
Emilio Jesus Gallego Arias
[build] Use dune to build OCaml code.
committed
coqbot-app[bot]
Merge PR #14050: Remove remote counter system
committed
Gaëtan Gilbert
Remove remote counter system
committed

February 2021

coqbot-app[bot]
Merge PR #13202: Infrastructure for fine-grained debug flags
committed