coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of clib/cArray.ml

March 2025

coqbot-app[bot]
Merge PR #20351: Constr and HConstr: stop hashconsing in place
committed
Gaëtan Gilbert
Constr and HConstr: stop hashconsing in place
committed
Gaëtan Gilbert
Less messing around with module types in clib
committed

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

February 2024

coqbot-app[bot]
Merge PR #18038: Add rewrite rules to Coq
committed
Yann Leray
Change pattern representation for indexed holes
committed
Yann Leray
Add kernel (lazy) reduction for rewrite rules
committed

December 2021

coqbot-app[bot]
Merge PR #15293: Drop backtrace when raising Exit
committed
Rudi Grinberg
Drop backtrace when raising Exit
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed
Pierre-Marie Pédrot
Merge PR #14261: Fixing #14207: multiple warning about unused variable catching several cases
committed
Hugo Herbelin
Adding CArray.split.
committed

November 2020

coqbot-app[bot]
Merge PR #12984: [printing] Order notations by matching precision first, and then by last imported
committed
Hugo Herbelin
Adding Array.iter3.
committed

March 2020

Hugo Herbelin
Merge PR #11559: Remove year in headers.
committed
Théo Zimmermann
Update headers in the whole code base.
committed

January 2020

Pierre-Marie Pédrot
Merge PR #11376: Fix fold order in CArray.fold_right(2)_map
committed
Gaëtan Gilbert
Fix fold order in CArray.fold_right(2)_map
committed

November 2019

Gaëtan Gilbert
Merge PR #11010: [coq] Untabify the whole ML codebase.
committed
Emilio Jesus Gallego Arias
[coq] Untabify the whole ML codebase.
committed

June 2019

Clément Pit-Claudel
Merge PR #10320: Update headers to the new year.
committed
Théo Zimmermann
Update ml-style headers to new year.
committed

March 2019

Pierre-Marie Pédrot
Merge PR #8817: SProp: the definitionally proof irrelevant universe
committed
Gaëtan Gilbert
Repair relevance marks in-kernel.
committed
Gaëtan Gilbert
Add relevance marks on binders.
committed

December 2018

Maxime Dénès
Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.
committed
Emilio Jesus Gallego Arias
[doc] Enable Warning 50 [incorrect doc comment] and fix comments.
committed

November 2018

Maxime Dénès
Merge PR #8824: Do not check convertibility of pattern types in the kernel
committed

October 2018

Pierre-Marie Pédrot
Do not compare the type arguments in pattern-match branches.
committed
Pierre-Marie Pédrot
Merge PR #8742: [clib] Remove Array functions available in OCaml 4.05.0
committed
Emilio Jesus Gallego Arias
[clib] Remove Array functions available in OCaml 4.05.0
committed
Pierre-Marie Pédrot
Merge PR #8493: [api] Remove (most) 8.9 deprecated objects.
committed
Emilio Jesus Gallego Arias
[api] Remove (most) 8.9 deprecated objects.
committed
Pierre-Marie Pédrot
Merge PR #8581: [pretyper] Remove imperative passing of evar_map.
committed
Emilio Jesus Gallego Arias
[pretyper] Remove imperative passing of evar_map.
committed

July 2018

Pierre-Marie Pédrot
Merge PR #7908: Projections use index representation
committed
Gaëtan Gilbert
Projections use index representation
committed

June 2018

Pierre-Marie Pédrot
Merge PR #7822: cArray: proper invalid_arg exceptions
committed
Matthieu Sozeau
cArray: proper invalid_arg exceptions
committed

May 2018

Pierre-Marie Pédrot
Merge PR #7177: Unifying names of "smart" combinators + adding combinators in CArray
committed
Hugo Herbelin
Exporting Fun1 within Array so that Array.Fun1 and not only CArray.Fun1 works.
committed
Hugo Herbelin
Collecting Array.smart_* functions into a module Array.Smart.
committed
Hugo Herbelin
CArray: adding combinators.
committed

April 2018

Maxime Dénès
Merge PR #6972: [api] Deprecate a couple of aliases that we missed.
committed
Pierre-Marie Pédrot
Merge PR #7106: Supporting fix and cofix in Ltac pattern-matching (wish #7092)
committed

March 2018

Hugo Herbelin
Adding Array.fold_left4.
committed
Emilio Jesus Gallego Arias
[api] Deprecate a couple of aliases that we missed.
committed
Maxime Dénès
Merge PR #6855: Update headers following #6543.
committed

February 2018

Théo Zimmermann
Update headers following #6543.
committed