Simon Cruanes
|
66a8dfc396
|
add a test
|
2017-10-05 18:19:48 +02:00 |
|
Simon Cruanes
|
336ebe63f9
|
style and comments for the new CCList.map
|
2017-10-05 11:59:03 +02:00 |
|
Simon Cruanes
|
e2d20b61f0
|
Merge pull request #152 from bluddy/master
`CCList`: Use efficient chunking algorithm for tail-recursive list map
|
2017-10-05 11:52:38 +02:00 |
|
Simon Cruanes
|
1afd0311fc
|
add ocp-indent file
|
2017-10-04 09:09:02 +02:00 |
|
Yotam Barnoy
|
0aaab670f7
|
list: Use efficient chunking algorithm for tail-recursive list map
See discussion at
https://discuss.ocaml.org/t/a-new-list-map-that-is-both-stack-safe-and-fast/865/32
|
2017-10-03 17:45:26 -04:00 |
|
Simon Cruanes
|
4096122979
|
add CCMap.union
|
2017-09-30 15:02:03 +02:00 |
|
Simon Cruanes
|
e9b9ed1d92
|
add CCRef.swap
|
2017-09-22 17:52:24 +02:00 |
|
Simon Cruanes
|
9beab5c3e6
|
update readme
|
2017-09-18 10:58:58 +02:00 |
|
Simon Cruanes
|
9a2dab6802
|
Merge pull request #151 from quicquid/ccfqueue-bugfix
bugfix for `CCFQueue.take_back_exn` : wrong exception
|
2017-09-18 10:43:54 +02:00 |
|
Martin
|
49721c4bc5
|
CCFQueue.take_back_exn raised InvalidArg instead of Empty on an empty queue
|
2017-09-18 10:40:03 +02:00 |
|
Simon Cruanes
|
f254a0f6e4
|
small doc
|
2017-09-18 10:38:54 +02:00 |
|
Simon Cruanes
|
01e8720797
|
small change for benchs on 4.02
|
2017-09-18 10:23:33 +02:00 |
|
Simon Cruanes
|
4cc9862ef8
|
refactoring in vector
|
2017-09-17 21:37:33 +02:00 |
|
Simon Cruanes
|
86b6d714cf
|
Merge pull request #150 from copy/master
Tests for `CCVector.append{,_array}` and fix for `CCVector.append_array` in empty case
|
2017-09-17 21:19:46 +02:00 |
|
Fabian
|
ea54fdff32
|
Update authors
|
2017-09-16 21:34:36 +02:00 |
|
Fabian
|
03f6a1fe5e
|
Use ensure_not_empty_ when vector is known to be non-empty
|
2017-09-16 21:31:56 +02:00 |
|
Fabian
|
9219d24356
|
Fix CCVector.append_array (empty vector case)
|
2017-09-16 21:29:47 +02:00 |
|
Fabian
|
f1942fd0d4
|
More tests for CCVector.append and CCVector.append_array
|
2017-09-16 21:25:55 +02:00 |
|
Simon Cruanes
|
c792d70ac7
|
assertions and cleanup in CCPool
|
2017-09-13 18:39:14 +02:00 |
|
Simon Cruanes
|
7405c1c346
|
more tweaks and benchmarks for CCString.{prefix,suffix}
|
2017-09-12 10:55:24 +02:00 |
|
Simon Cruanes
|
ff469211af
|
benchmarks for string prefix checking
|
2017-09-12 10:37:32 +02:00 |
|
Simon Cruanes
|
a323809aa0
|
faster CCString.{prefix,suffix}
see https://github.com/ocaml-batteries-team/batteries-included/issues/792
for some discussion
|
2017-09-12 10:37:32 +02:00 |
|
Simon Cruanes
|
56928a1a15
|
specify behavior of CCFQueue.take_{front,back}_l in some corner cases
|
2017-09-10 19:56:39 +02:00 |
|
Simon Cruanes
|
d7b90d3ba3
|
add CCArray.swap
|
2017-09-10 19:56:39 +02:00 |
|
Simon Cruanes
|
54e12b7f62
|
style update for some string functions
|
2017-09-07 10:10:34 +02:00 |
|
Simon Cruanes
|
14d701f84c
|
Merge pull request #147 from cxa/master
fix `CCFun.tap` example in doc (thanks to @cxa)
|
2017-08-28 17:55:05 +02:00 |
|
CHEN Xian-an
|
90e96e6339
|
fix CCFun.tap example in doc
|
2017-08-28 23:46:05 +08:00 |
|
Simon Cruanes
|
d086a617f3
|
update doc gen
|
2017-08-25 15:19:13 +02:00 |
|
Simon Cruanes
|
62d76ce555
|
change signature of CCWBTree.get_rank
|
2017-08-11 00:41:26 +02:00 |
|
Simon Cruanes
|
cf09112f79
|
add CCWBTree.get_rank{,_exn}
|
2017-08-09 10:05:55 +02:00 |
|
Simon Cruanes
|
0e3a659cd1
|
remove warning in merlin
|
2017-08-09 10:05:39 +02:00 |
|
Simon Cruanes
|
c575f97369
|
whitespace
|
2017-07-29 19:24:37 +02:00 |
|
Simon Cruanes
|
bedf9ecc1e
|
prepare for 1.3
|
2017-07-29 18:08:58 +02:00 |
|
Simon Cruanes
|
acb286d8e8
|
add CCString.compare_natural (closes #146)
|
2017-07-23 13:48:31 +02:00 |
|
Simon Cruanes
|
d076afc405
|
fix in doc (closes #145)
|
2017-07-21 15:02:42 +02:00 |
|
Simon Cruanes
|
b7b6bd19a3
|
deprecate CCBool.negate
|
2017-07-21 15:02:27 +02:00 |
|
Simon Cruanes
|
609d51c89e
|
bugfix in CCList.split
|
2017-07-04 16:25:28 +02:00 |
|
Simon Cruanes
|
debf586db5
|
add callbacks in CCCache.with_cache{,_rec} (closes #140)
|
2017-07-04 16:25:28 +02:00 |
|
Simon Cruanes
|
aab19f6a50
|
update headers; reindent
|
2017-07-04 13:13:24 +02:00 |
|
Simon Cruanes
|
296cdc8748
|
small changes to CCList
|
2017-06-29 23:36:54 +02:00 |
|
Simon Cruanes
|
887d2f5d8d
|
Merge pull request #138 from bikalgurung/master
Implement safe version of `List.split` (thanks to @bikalgurung)
|
2017-06-29 23:34:53 +02:00 |
|
Bikal Gurung
|
2c92771ad9
|
Update authors page.
|
2017-06-29 21:19:48 +01:00 |
|
Bikal Gurung
|
eab5fbb36a
|
Addresses reviewer comments.
|
2017-06-29 21:15:01 +01:00 |
|
Bikal Gurung
|
745c0cd78e
|
Addresses reviewer comments
|
2017-06-29 18:13:39 +01:00 |
|
Bikal Gurung
|
7a9a741bb0
|
Adds tests for split function.
|
2017-06-28 23:27:06 +01:00 |
|
Bikal Gurung
|
973062158a
|
Implements safe version of List.split
|
2017-06-28 22:10:50 +01:00 |
|
Simon Cruanes
|
adb9159007
|
Merge pull request #136 from nilsbecker/nilsbecker-patch-1
some doc clarifications/corrections in `Array` and `Array_slice`
|
2017-06-24 18:19:07 +02:00 |
|
nilsbecker
|
78591cf621
|
removed trailing spaces
|
2017-06-24 18:16:21 +02:00 |
|
nilsbecker
|
92958cc116
|
duplicated the changes in array_slice.mli
|
2017-06-24 13:48:20 +02:00 |
|
nilsbecker
|
a2b2eaec2e
|
small correction
|
2017-06-24 13:45:49 +02:00 |
|