stm · coq · Tangled

forked from coq/coq

coq stm

21 files

Jason Gross · stm: report a lost master connection without matching strerror text · 2mo ago

asyncTaskQueue.ml

stm: report a lost master connection without matching strerror text

asyncTaskQueue.mli

Rename coqide -> rocqide

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Remove compat coq-core libraries (not executables)

Align Evd and UState API names

Do not base asyncTaskQueue spawn arguments directly on Sys.argv

proofBlockDelimiter.ml

Update the OCaml headers to reflect the fact Coq is now Rocq.

proofBlockDelimiter.mli

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Reimplement abstract in a purely functional way.

Rename Coq -> Rocq in various comments and doc

Stop catching async exceptions in hacks that catch anomalies

Do not base asyncTaskQueue spawn arguments directly on Sys.argv

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Update the OCaml headers to reflect the fact Coq is now Rocq.

Handle most unused-field warnings

Do not base asyncTaskQueue spawn arguments directly on Sys.argv