coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/doc/profiling.md

July 2025

coqbot-app[bot]
Merge PR #20881: Remove dev/shim
committed
Gaëtan Gilbert
Remove dev/shim
committed

April 2025

coqbot-app[bot]
Merge PR #20576: Bump minimum ocaml version to 4.14.0
committed
Gaëtan Gilbert
Bump minimum ocaml version to 4.14.0
committed

January 2025

coqbot-app[bot]
Merge PR #20026: Rename Coq -> Rocq in various comments and doc
committed
Pierre Roux
Rename Coq -> Rocq in various comments and doc
committed

July 2023

coqbot-app[bot]
Merge PR #17799: [doc] [dev] Document memtrace use
committed
Emilio Jesus Gallego Arias
[dev] [doc] Remove very outdated mem profiling info
committed
Emilio Jesus Gallego Arias
[doc] [dev] Document memtrace use
committed
Emilio Jesus Gallego Arias
[dev] [doc] convert profiling.txt to markdown
committed