index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
cArray.ml
Commit message (
Expand
)
Author
Age
*
Merge PR #987: In Array.smartmap, read and write from same array
Maxime Dénès
2017-09-11
|
\
*
\
Merge PR #980: Adding combinators + a canonical renaming in List, Option, Name
Maxime Dénès
2017-08-31
|
\
\
|
*
|
Canonically renaming fold_map into fold_left_map in library Array.
Hugo Herbelin
2017-08-29
|
|
*
also in Fun1.smartmap, read, write from same array
Paul Steckler
2017-08-22
*
|
|
Prevent overallocation in Array.map_to_list and remove custom implementation ...
Guillaume Melquiond
2017-08-22
|
/
/
|
*
read, write from same array
Paul Steckler
2017-08-21
|
/
*
New function [Constr.equal_with] to compare terms up to variants of [kind_of_...
Arnaud Spiwack
2015-02-24
*
A few improvements on pattern-matching compilation.
Hugo Herbelin
2014-10-05
*
Slightly more efficient Array.smartmap & related.
Pierre-Marie Pédrot
2014-03-20
*
Set officially the minimal OCaml requirement to 3.12.1
Pierre Letouzey
2014-03-02
*
Tentative fixup for the previous commit. It seems I have broken something
Pierre-Marie Pédrot
2014-02-10
*
Small optimizations in Closure:
Pierre-Marie Pédrot
2014-02-09
*
Adding closure-preventing functions in CArray. These functions are all
ppedrot
2013-11-04
*
Small optimizations in unification.
ppedrot
2013-10-23
*
More efficient operations in CArray.
ppedrot
2013-10-22
*
Get rid of the uses of deprecated OCaml elements (still remaining compatible ...
xclerc
2013-09-19
*
Minor code cleaning in CArray / CList.
ppedrot
2013-03-23
*
Missing primitive in CArray
ppedrot
2013-03-05
*
Array.create is deprecated
pboutill
2012-12-19
*
More monomorphizations
ppedrot
2012-11-13
*
Monomorphized a lot of equalities over OCaml integers, thanks to
ppedrot
2012-11-08
*
More cleaning in CArray...
ppedrot
2012-09-18
*
As r15801: putting everything from Util.array_* to CArray.*.
ppedrot
2012-09-14