coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/values.mli

October 2024

coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

June 2024

coqbot-app[bot]
Merge PR #18973: Add primitive string type.
committed
Rodolphe Lepigre
Statically enforce primitive string size invariant.
committed
Rodolphe Lepigre
Add a primitive string type.
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