index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
cMap.ml
Age
Commit message (
Expand
)
Author
2016-08-22
Fast path for set operations.
Pierre-Marie Pédrot
2016-02-03
Adding a "get" primitive to map signature.
Pierre-Marie Pédrot
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-06
Merge remote-tracking branch 'origin/v8.5' into trunk
Guillaume Melquiond
2016-01-06
Protect code against changes in Map interface.
Maxime Dénès
2015-01-25
Equipping extended maps with fold operator defined for any monad.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2015-01-10
Adding more sharing in Map.udpate and Map.modify.
Pierre-Marie Pédrot
2014-03-05
Fixing compilation on OCaml 4.01.
Pierre-Marie Pédrot
2014-01-29
Adding a smartmap[i] operator to maps.
Pierre-Marie Pédrot
2013-11-24
Adding fold_left / fold_right function to maps.
Pierre-Marie Pédrot
2013-11-13
Adding an unsafe mapping function to maps.
ppedrot
2013-11-04
Added an update function in CMap. It has the same signature as Map.add, but
ppedrot
2013-10-06
Added a [modify] function to maps.
ppedrot
2013-08-25
Removing association lists in Reductionops. Btw, defining the dual of the
ppedrot
2013-08-25
Added a more efficient way to recover the domain of a map.
ppedrot
