coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/dune

May 2026

coqbot-app[bot]
Merge PR #21955: Remove compat coq-core libraries (not executables)
committed
Gaëtan Gilbert
Remove compat coq-core libraries (not executables)
committed

June 2025

coqbot-app[bot]
Merge PR #20704: Stop using "dummy_value" in native compute
committed
Gaëtan Gilbert
Nativecode.get_symbols avoid using dummy_value
committed

April 2025

coqbot-app[bot]
Merge PR #20499: Delete coq, rocq-prover packages, add rocq-test-suite package
committed
Gaëtan Gilbert
Delete coq, rocq-prover packages, add rocq-test-suite package
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

December 2024

coqbot-app[bot]
Merge PR #19927: Rocq CLI
committed
Gaëtan Gilbert
rename package coq-core -> rocq-runtime
committed

April 2023

remzi
Merge remote-tracking branch 'upstream/master' into 17060_RelationPairs
committed
coqbot-app[bot]
Merge PR #17293: Enable warning 70 (missing mli), add mli files
committed
Gaëtan Gilbert
Enable warning 70 (missing mli), add mli files
committed

November 2022

coqbot-app[bot]
Merge PR #16629: Merge the VM and native reification view type
committed

October 2022

Pierre-Marie Pédrot
Move the Values module to an mli-only file.
committed

June 2022

coqbot-app[bot]
Merge PR #16122: Disable warning 40 (Constructor or label name used out of scope)
committed
Gaëtan Gilbert
Disable warning 40 (Constructor or label name used out of scope)
committed

March 2022

coqbot-app[bot]
Merge PR #15827: Use warn-error for dune dev mode warnings
committed
Gaëtan Gilbert
Use warn-error for dune dev mode warnings
committed

October 2021

coqbot-app[bot]
Merge PR #14879: [ci] [ocaml] Bump edge compiler to Ocaml 4.13.0
committed
Emilio Jesus Gallego Arias
[ocaml] [warnings] Disable warning 70 "can't find mli file"
committed

September 2021

coqbot-app[bot]
Merge PR #14059: [build] [tools] Consolidation of directory handling code
committed
Emilio Jesus Gallego Arias
[build] [tools] Consolidation of directory handling code
committed

June 2021

coqbot-app[bot]
Merge PR #14518: [build] [compat] Declare coq.kernel as a compat library for 8.14
committed
Emilio Jesus Gallego Arias
[build] [compat] Declare coq.kernel as a compat library for 8.14
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 #14039: [dune] Rename byterun to coqrun
committed

March 2021

Emilio Jesus Gallego Arias
[dune] Rename byterun to coqrun
committed
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

October 2020

coqbot-app[bot]
Merge PR #13147: Use OCaml floating-point operations on 64 bits arch
committed
Pierre Roux
Use OCaml floating-point operations on 64 bits arch
committed

August 2020

Pierre-Marie Pédrot
Merge PR #12849: Rename VM-related kernel/cfoo files to kernel/vmfoo
committed
Gaëtan Gilbert
Rename VM-related kernel/cfoo files to kernel/vmfoo
committed

August 2019

Enrico Tassi
Merge PR #10488: Simplify picking between uint63_63.ml and uint63_31.ml + makefile fixes
committed
Gaëtan Gilbert
Simplify picking between uint63_63.ml and uint63_31.ml
committed

June 2019

Vincent Laporte
Merge PR #9972: [build] Select uint63 using `ocamlc -config` variables.
committed

May 2019

Emilio Jesus Gallego Arias
[build] Select uint63 using `ocamlc -config` variables.
committed

March 2019

Théo Zimmermann
Merge PR #9850: [dune] Don't have `lib` depend on `dynlink`
committed
Emilio Jesus Gallego Arias
[dune] Don't have `lib` depend on `dynlink`
committed
Emilio Jesus Gallego Arias
Merge PR #9624: [Kernel] Simpler generation of opcode files
committed
Vincent Laporte
[Kernel] Simpler generation of opcode files
committed

February 2019

Théo Zimmermann
Merge PR #8421: [dune] Fix Dune build in Windows.
committed
Emilio Jesus Gallego Arias
[dune] Fix Dune build in Windows.
committed
Pierre-Marie Pédrot
Merge PR #6914: Primitive integers
committed
Maxime Dénès
Primitive integers
committed

December 2018

Gaëtan Gilbert
Merge PR #8856: [gitlab] Test Ocaml trunk.
committed
Emilio Jesus Gallego Arias
[dune] [gitlab] Test OCaml trunk.
committed

November 2018

Théo Zimmermann
Merge PR #9068: [dune] Minor tweak of dependencies.
committed
Emilio Jesus Gallego Arias
[dune] Minor tweak of dependencies.
committed