coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of stm/asyncTaskQueue.mli

January 2025

coqbot-app[bot]
Merge PR #20036: Rename coqide -> rocqide
committed
Gaëtan Gilbert
Rename coqide -> rocqide
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

December 2023

coqbot-app[bot]
Merge PR #18359: [build] Bump minimal dune version to 3.6.1
committed
Emilio Jesus Gallego Arias
[build] Bump minimal dune version to 3.6
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

October 2020

coqbot-app[bot]
Merge PR #13088: [stm] move par: to comTactic
committed
Enrico Tassi
[stm] move par: implementation to vernac/comTactic and stm/partac
committed

March 2020

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

July 2019

Emilio Jesus Gallego Arias
Merge PR #10246: Investigations in the initialization of coq binaries and command line (part 1)
committed
Hugo Herbelin
Passing command-line option async_proofs_worker_priority functionally.
committed
Hugo Herbelin
Layout/documentation updates.
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

December 2018

Maxime Dénès
Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.
committed
Emilio Jesus Gallego Arias
[doc] Enable Warning 50 [incorrect doc comment] and fix comments.
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

January 2018

Maxime Dénès
Merge PR #6532: Fix mli-doc issue #6531
committed
Tony Beta Lambda
Fix mli-doc issue #6531
committed

December 2017

Maxime Dénès
Merge PR #1108: [stm] Reorganize flags
committed
Emilio Jesus Gallego Arias
[flags] [stm] Reorganize flags.
committed

November 2017

Maxime Dénès
Merge PR #1092: [stm] [doc] Add some documentation to obscure AsyncTaskQueue
committed
Emilio Jesus Gallego Arias
[stm] [doc] Add some documentation to AsyncTaskQueue API
committed
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
Bump year in headers.
committed

April 2016

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

January 2016

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

February 2015

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Enrico Tassi
*Queue: API to wake up all threads
committed

January 2015

Maxime Dénès
Update headers.
committed

December 2014

Enrico Tassi
AsyncTaskQueue: simpler model (no parking area, continuation tasks)
committed

November 2014

Enrico Tassi
AsyncTaskQueue: parsin can also happen in the workers now
committed
Enrico Tassi
AsyncTaskQueue: API to park a worker
committed
Enrico Tassi
STM: code refactoring
committed

October 2014

Enrico Tassi
STM: primitives to snapshot a .vi while in interactive mode
committed

August 2014

Enrico Tassi
STM: new "par:" goal selector, like "all:" but in parallel
committed
Enrico Tassi
STM: code restructured to reuse task queue for tactics
committed