Commit graph

1354 commits

Author SHA1 Message Date
Simon Cruanes
7e160106c5 doc: explain a bit more the Traverse submodule of list 2020-11-05 11:54:48 -05:00
Simon Cruanes
87a9937938 doc: indicate that ccmutheap is experimental 2020-11-04 12:29:15 -05:00
Simon Cruanes
587e445308 doc: add missing @since 2020-10-30 13:06:07 -04:00
Simon Cruanes
9643ee94a9 test: add some basic tests to CCMutHeap 2020-10-07 12:03:37 -04:00
Simon Cruanes
aed72685fc refactor: ask for lt in the mutable heap arg 2020-10-07 12:03:27 -04:00
Simon Cruanes
3484efc691 feat: add mutable heap with increase/decrease to containers-data
this code is adapted from msat
2020-10-07 11:45:58 -04:00
Simon Cruanes
9ca278dc51 fix obsolete comment 2020-10-04 12:50:04 -04:00
Simon Cruanes
e0f14837ac fix warning 2020-09-23 21:34:14 -04:00
Simon Cruanes
264c9b608e un-specify order of elements in CCMap.to_list 2020-09-21 13:49:50 -04:00
Simon Cruanes
5ee25afad5 test: add a test for update 2020-09-21 13:49:49 -04:00
Josh Berdine
e6f77edf1a Move definition of CCMap.update so that it is shadowed by Stdlib.Map.update
Signed-off-by: Josh Berdine <josh@berdine.net>
2020-09-21 13:49:25 -04:00
Simon Cruanes
652c823978 fix(intmap): order of arguments for the HO param should be stable
close #329
2020-09-08 10:42:10 -04:00
Simon Cruanes
50ec164b67 fix: remove code that is in the shims 2020-08-06 11:19:52 -04:00
Simon Cruanes
09298b3324 small change in shims generation
as @fardalem points out, better be conservative on archictures and have
64bits popcount be the special case
2020-08-06 09:46:33 -04:00
Simon Cruanes
e0f2c78edd fix(int): use shims to provide separate 32/64 bits versions of popcount
close #327
2020-08-05 14:05:48 -04:00
Simon Cruanes
089a1bec16 try to fix tests that fail on mac OS 2020-07-31 15:29:49 -04:00
Simon Cruanes
8a60d44946 ci: try to test on mac OS again, amend tests, make mdx optional 2020-07-30 19:12:49 -04:00
Simon Cruanes
d60bea1a98 fix build for 4.11 by working around -nolabels 2020-07-30 10:02:16 -04:00
Simon Cruanes
add6a58cf5 prepare for 3.0~rc1 2020-07-28 18:15:05 -04:00
Simon Cruanes
5da10f49a2 doc: small fix 2020-07-28 17:52:55 -04:00
Simon Cruanes
211cd5863b feat: add infix operators to String
close #315
2020-07-28 17:34:59 -04:00
Simon Cruanes
39e0ad2395 fix(pool): missing emptiness check in Fut.map_l
also add regression test
2020-07-28 16:27:23 -04:00
Simon Cruanes
30b9307a70
Merge pull request #325 from c-cube/ccpair_map
break(CCPair): use more standard name for some map functions
2020-07-27 22:58:58 -04:00
Fardale
01da25cead break: change pp functions to take unit printer for sep/stop/start
sep/stop/start -> pp_sep/pp_stop/pp_start
string -> unit printer
2020-07-27 22:57:29 -04:00
Fardale
3b2030f6f2 break(CCPair): use more standard name for some map functions
map1 -> map_fst
map2 -> map_snd
map_fst -> fst_map
map_snd -> snd_map
introduce map2 and map_same2
Fix #316
2020-07-27 21:39:17 +02:00
Fardale
a8bcbb0e3d chore(CCHeap): drop old comment 2020-07-23 16:32:52 +02:00
Fardale
b6b2c68913 break(CCGraph): remove deprecated module and function
Remove Seq and pp_seq
2020-07-23 16:32:52 +02:00
Simon Cruanes
644e3487a3 test: fix a test that wouldn't pass on 4.03 2020-07-23 16:32:52 +02:00
Simon Cruanes
4122ffa6ab doc: fix some ocamldoc warnings 2020-07-23 16:32:52 +02:00
Fardale
c22fed18de break: convert sequence to iter in data 2020-07-23 16:32:52 +02:00
Fardale
08d59ea07a break: remove klist in data 2020-07-23 16:32:52 +02:00
Fardale
c85c135157 break: remove klist type and functions from core 2020-07-23 16:32:52 +02:00
Fardale
8c3d716ab1 break: rename fonction from *std_seq* to *seq* 2020-07-23 16:32:52 +02:00
Simon Cruanes
8b41a2bf69 doc: add missing @since 2020-07-22 17:08:48 -04:00
Kye W. Shi
3bae829558 CCResult: add <$> operator 2020-07-22 16:23:04 -04:00
JPR
0a3b04855a ... tweaks 2020-07-02 09:38:25 -05:00
JPR
063a59eee4 Comments 2020-07-02 09:38:25 -05:00
Fardale
8b319edbe1
doc(core): add link to the doc of std module (#320) 2020-06-30 17:31:52 +02:00
Fardale
20234cdd22 fix(CCVector): rename shrink into truncate 2020-06-30 09:02:52 -05:00
Kye W. Shi
06b795c604 CCFun: add infix tests 2020-06-19 20:17:30 -05:00
Kye W. Shi
6cfa7307de CCFun: include module type of Infix 2020-06-19 20:17:30 -05:00
Kye W. Shi
a03b6e68e3 CCFun: put infix operators in Infix module 2020-06-19 20:17:30 -05:00
Fourchaux
a5da43511b
comments modifs (#311) 2020-06-17 09:21:31 +02:00
Fourchaux
53febce5a9
Comments presentation (#310)
* Comments presentation
2020-06-12 09:52:50 +02:00
Simon Cruanes
54099f10d5 test: regression test for stack overflow in CCpool 2020-05-24 19:12:04 -04:00
Fardale
685efeae28
Merge pull request #308 from FardaleM/ccint
CCInt{,32,64} and CCNativeint
2020-05-24 00:53:08 +02:00
Fardale
5dc96ebfa8 chore(array): clean CCArray and CCArrayLabels
Remove function define in the stdlib and in Infix
2020-05-23 12:52:26 +02:00
Fardale
8c0d11546e small doc fix 2020-05-23 11:37:56 +02:00
Fardale
b8ca053a48 feat(ccnativeint): complete CCNativeint with regards to CCInt 2020-05-23 11:37:56 +02:00
Fardale
f2c0bc7d09 chore(ccnativeint): clean CCNativeint.mli
Remove duplicate functions from Infix and Nativeint
2020-05-23 11:37:56 +02:00