coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/db

April 2025

coqbot-app[bot]
Merge PR #20443: Fix dev/db
committed
Gaëtan Gilbert
Fix dev/db
committed

September 2024

coqbot-app[bot]
Merge PR #19490: Cleanup debug printer loading
committed
Gaëtan Gilbert
Cleanup debug printer loading
committed

June 2024

coqbot-app[bot]
Merge PR #19251: dev/db: move external dependency loads earlier
committed
Gaëtan Gilbert
dev/db: move external dependency loads earlier
committed

May 2024

coqbot-app[bot]
Merge PR #18995: load_printer memprof_limits.cma in dev/db
committed
Gaëtan Gilbert
load_printer memprof_limits.cma in dev/db
committed

April 2024

coqbot-app[bot]
Merge PR #18771: Improve handling of Drop
committed
Anton Danilkin
Fix errors and warnings in include files
committed

March 2024

coqbot-app[bot]
Merge PR #18789: Fixes ltac2 term printer in debugger
committed
Hugo Herbelin
Fixes printing of ltac2 terms in debugger.
committed

November 2023

coqbot-app[bot]
Merge PR #18247: Fix the perf library loaded for debug printer.
committed
Pierre-Marie Pédrot
Fix the perf library loaded for debug printer.
committed

October 2023

coqbot-app[bot]
Merge PR #18110: Fix ocamldebug load_printer calls after adding coq-core.perf
committed
Gaëtan Gilbert
Fix ocamldebug load_printer calls after adding coq-core.perf
committed

June 2023

coqbot-app[bot]
Merge PR #17756: Fix debug install printers after coqworkmgrapi name change
committed
Gaëtan Gilbert
Fix debug install printers after coqworkmgrapi name change
committed

November 2022

coqbot-app[bot]
Merge PR #16739: Fix debug printers after workmrgapi
committed

October 2022

Gaëtan Gilbert
Fix debug printers after workmrgapi
committed

May 2022

coqbot-app[bot]
Merge PR #15967: Various code cleanups now that we require OCaml >= 4.09
committed
Pierre Roux
Cleanup debugging db files
committed

October 2018

Gaëtan Gilbert
Merge PR #8753: [build] Refactoring of config lib and ocamldebug tweaks.
committed
Emilio Jesus Gallego Arias
[build] Refactoring to config lib and ocamldebug tweaks.
committed

January 2018

Maxime Dénès
Merge PR #6448: Cleanup and add debug printers a bit
committed

December 2017

Gaëtan Gilbert
Add printers to dev/db
committed
Gaëtan Gilbert
Reorder dev/db
committed
Gaëtan Gilbert
Cleanup debug printers a bit, add generated mli.
committed

November 2017

Maxime Dénès
Merge PR #6124: Adding a debugging printer for ident maps whose codomain type is unknown
committed
Hugo Herbelin
Adding a debugging printer for ident maps whose codomain type is unknown.
committed

July 2017

Maxime Dénès
Merge PR #879: Adding debug printers related to universes
committed
Pierre-Marie Pédrot
Adding debug printers related to universes in the default debugger source file.
committed

April 2017

Maxime Dénès
Merge PR#379: Introducing evar-insensitive constrs
committed

November 2016

Pierre-Marie Pédrot
Introducing a new EConstr.t type to perform the nf_evar operation on demand.
committed

October 2016

Pierre-Marie Pédrot
Merge branch 'v8.6'
committed
Hugo Herbelin
Adding debugging printer for Genarg.ArgT.t.
committed

July 2016

Pierre Letouzey
No more dev/printers.cma
committed

April 2016

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

December 2015

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Matej Kosik
Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma" to be loadable within "ocamldebug".
committed

September 2015

Maxime Dénès
Better debug printers for module paths.
committed

December 2014

Hugo Herbelin
More printers for ltac signatures.
committed

November 2014

Hugo Herbelin
Add printer for transparent state for ocamldebug.
committed
Hugo Herbelin
Specific printer of Evar.Set.t for ocamldebug + more information in a UserError to ease debugging.
committed

October 2014

Hugo Herbelin
Adding printers for ppproofview.
committed
Hugo Herbelin
Adding printer for named_context_val and Goal.goal in debugger.
committed
Hugo Herbelin
Adding a printer for hints.
committed

August 2014

Pierre Boutillier
Debug RAKAM
committed

April 2014

Pierre-Marie Pédrot
Adding a debug printer for futures.
committed
Hugo Herbelin
Printers for ltac environments.
committed