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 |
|
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 |
|
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 |
|
nilsbecker
|
4058fc799e
|
typos and clarification in doc strings
for sort_indices, sort_ranks and lookup_exn
|
2017-06-24 11:59:59 +02:00 |
|
Simon Cruanes
|
a3ff9db0a1
|
change CCRingBuffer.peek_{front,back} to return options (closes #127)
|
2017-06-14 23:58:07 +02:00 |
|
Simon Cruanes
|
be84b76dc0
|
add CCRingBuffer.is_full
|
2017-06-14 23:52:05 +02:00 |
|
Simon Cruanes
|
f91af32ee4
|
bugfix in CCRingBuffer.skip, and corresponding tests
|
2017-06-14 08:54:46 +02:00 |
|
Simon Cruanes
|
ff77a6a16b
|
cleanup and refactor of CCRingBuffer (see #126). Add strong tests.
- add some qcheck test comparing to reference implem
- use bounded buffers only
- use inefficient methods (for now)
|
2017-06-13 20:42:27 +02:00 |
|
Simon Cruanes
|
635855b68b
|
CCRingBuffer: add regression test for #126; update headers; style
|
2017-05-30 15:18:12 +02:00 |
|
Simon Cruanes
|
b2f8eb5b27
|
update to qcheck 0.6
|
2017-05-30 09:16:37 +02:00 |
|
Simon Cruanes
|
d659ba677e
|
remove old license header
|
2017-05-21 15:34:47 +02:00 |
|
Simon Cruanes
|
5d768aeeb2
|
add CCArray.find_map{,_i}, deprecated older names (closes #129)
|
2017-05-20 13:18:36 +02:00 |
|
Simon Cruanes
|
bfefda632b
|
add CCList.{keep,all}_{some,ok} (closes #124)
|
2017-05-20 13:15:18 +02:00 |
|
Simon Cruanes
|
0a58e55287
|
large refactor of CCSimple_queue (close #125)
|
2017-05-10 20:26:29 +02:00 |
|
Simon Cruanes
|
002386cad8
|
small change for consistency in CCIntMap
|
2017-05-10 17:15:15 +02:00 |
|
Simon Cruanes
|
f48dbc458e
|
add rich testsuite to CCIntMap, based on @jmid's work
|
2017-05-10 17:14:54 +02:00 |
|
Simon Cruanes
|
d6120d4784
|
add CCSimple_queue to containers.data
|
2017-05-10 08:58:51 +02:00 |
|
Simon Cruanes
|
f7394ede9f
|
small change to improve test speed
|
2017-05-01 18:39:11 +02:00 |
|
Simon Cruanes
|
3ab610ba0e
|
prepapre for 1.2
|
2017-05-01 16:59:25 +02:00 |
|
Simon Cruanes
|
465b5992e8
|
add CCString.{l,r}trim (close #121)
|
2017-05-01 16:54:29 +02:00 |
|
Simon Cruanes
|
5d5909459f
|
details
|
2017-05-01 16:54:29 +02:00 |
|
Simon Cruanes
|
75e3962ba1
|
make many modules extensions of stdlib (close #109)
for : Random Array List ArrayLabels ListLabels Char String
|
2017-05-01 16:54:23 +02:00 |
|
Fabian
|
0408466bd9
|
More tests for floor_div and rem
|
2017-04-28 15:22:32 -05:00 |
|
Fabian
|
883eb611f0
|
Implement CCInt.floor_div and CCInt.rem
|
2017-04-28 14:40:15 -05:00 |
|
Simon Cruanes
|
43bccceac7
|
add test and bugfix for CCBV
|
2017-04-27 22:33:58 +02:00 |
|
Simon Cruanes
|
81ed6139ca
|
add CCList.take_drop_while (close #120)
|
2017-04-24 20:20:37 +02:00 |
|
Simon Cruanes
|
8d01cf3cc2
|
missing fun
|
2017-04-19 22:45:41 +02:00 |
|
Simon Cruanes
|
9aa5d08f96
|
more doc (close #118)
|
2017-04-19 22:40:04 +02:00 |
|
Simon Cruanes
|
57d460ecde
|
style
|
2017-04-19 22:28:02 +02:00 |
|
Simon Cruanes
|
02f1d5c4a0
|
Merge pull request #117 from rleonid/add_negate
change `CCBV` to track size, with some breaking changes (thank to @rleonid)
|
2017-04-19 22:25:07 +02:00 |
|
Simon Cruanes
|
71ad95044f
|
missing function
|
2017-04-19 22:09:46 +02:00 |
|
Simon Cruanes
|
93568949e6
|
annotations in CCEqual, for optimization
|
2017-04-19 22:08:56 +02:00 |
|
Leonid Rozenberg
|
84a537efbd
|
Add test for diff
|
2017-04-19 15:27:35 -04:00 |
|
Leonid Rozenberg
|
0b53ed01a3
|
Merge and bug fix pass
|
2017-04-19 14:52:13 -04:00 |
|
Leonid Rozenberg
|
cbff4e5a39
|
Merge branch 'master' into add_negate
|
2017-04-19 12:30:35 -04:00 |
|
Leonid Rozenberg
|
f90f73f671
|
Incorporate reviewier feedback.
Also added style elements from PR#116.
|
2017-04-19 12:26:47 -04:00 |
|
Leonid Rozenberg
|
d8a55a98b9
|
Size tracking implementation
|
2017-04-19 02:15:09 -04:00 |
|
Simon Cruanes
|
6c8de1bc64
|
small fix
|
2017-04-18 22:04:37 +02:00 |
|
Simon Cruanes
|
fcd987f1c0
|
fix test
|
2017-04-18 21:47:32 +02:00 |
|
Simon Cruanes
|
0c7280a8f4
|
remove test that depends on 4.02
|
2017-04-18 21:46:38 +02:00 |
|