coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/dune

June 2026

coqbot-app[bot]
Merge PR #21660: Require dune 3.21 to support `rocq.theory`
committed
Rodolphe Lepigre
Simplify [dev/dune] with new dune feature.
committed

March 2025

coqbot-app[bot]
Merge PR #20372: dune-dbg don't declare rocqide_main.bc as a dependency
committed
Gaëtan Gilbert
dune-dbg don't declare rocqide_main.bc as a dependency
committed

January 2025

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

December 2024

coqbot-app[bot]
Merge PR #19959: Fix dune-dbg (coqdep.bc doesn't exist anymore)
committed
Gaëtan Gilbert
Fix dune-dbg (coqdep.bc doesn't exist anymore)
committed
coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
Add `rocq native-precompile` subcommand, move coqnative back to coq-core
committed
Gaëtan Gilbert
rename coqworker_bin -> coqworker
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed
Gaëtan Gilbert
Rocq CLI prototype
committed

October 2024

coqbot-app[bot]
Merge PR #19742: Rocqify CoqIDE
committed
Pierre-Marie Pédrot
Rename the CoqIDE Coqide_main module into Rocqide_main.
committed

September 2024

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

April 2024

coqbot-app[bot]
Merge PR #18771: Improve handling of Drop
committed
Anton Danilkin
Fix errors and warnings in include files
committed
Anton Danilkin
Improve handling of Drop
committed
Anton Danilkin
Fix Dune files as to copy the include files into the `_build` directory
committed

December 2022

coqbot-app[bot]
Merge PR #16974: dune-dbg support for native, added debug printers
committed
Gaëtan Gilbert
dune-dbg support coqnative
committed

May 2022

coqbot-app[bot]
Merge PR #16013: dune-dbg: understand coqdep
committed
Gaëtan Gilbert
dune-dbg: understand coqdep
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 #14053: [build] [ocamldebug] Update for byterun -> coqrun renaming
committed
Emilio Jesus Gallego Arias
[build] [ocamldebug] Update for byterun -> coqrun renaming
committed

March 2021

coqbot-app[bot]
Merge PR #12567: [build] Split stdlib to it's own package.
committed
Emilio Jesus Gallego Arias
[build] Split stdlib to it's own opam package.
committed

January 2021

coqbot-app[bot]
Merge PR #13418: [sysinit] new component
committed
Enrico Tassi
[sysinit] new component for system initialization
committed

June 2020

Maxime Dénès
Merge PR #12498: [dune] [dbg] Fix coqide target after CoqIDE move.
committed
Emilio Jesus Gallego Arias
[dune] [dbg] Fix coqide target after CoqIDE move.
committed

March 2020

Gaëtan Gilbert
Merge PR #11717: [dune] [ocamldebug] Improve ocamldebug rules
committed

February 2020

Emilio Jesus Gallego Arias
[dune] [ocamldebug] Improve ocamldebug rules
committed

January 2020

Gaëtan Gilbert
Merge PR #11406: [dune] [dbg] Add support for coqtop in dune-dbg
committed
Emilio Jesus Gallego Arias
[dune] [dbg] Add support for coqtop in dune-dbg
committed

June 2019

Gaëtan Gilbert
Merge PR #9977: [dune] Support for coqide as an ocamldebug target.
committed
Emilio Jesus Gallego Arias
[dune] Support for coqide as an ocamldebug target.
committed

May 2019

Emilio Jesus Gallego Arias
Merge PR #10214: Better dune ocamldebug integration
committed
Gaëtan Gilbert
Better dune ocamldebug integration
committed

November 2018

Pierre-Marie Pédrot
Merge PR #8961: dune: link kernel in checker instead of copying files
committed
Théo Zimmermann
Merge PR #9035: [dune] Only build printers when the ltac plugin is available.
committed
Emilio Jesus Gallego Arias
[dune] Only build printers when the ltac plugin is available.
committed
Gaëtan Gilbert
Fix dune-dbg using checker/main -> checker/coqchk
committed