Commit graph

2286 commits

Author SHA1 Message Date
Simon Cruanes
af05520e3b chore: try and remove travis to use github CI instead 2020-11-10 14:06:03 -05:00
Simon Cruanes
26df938968 more doc 2020-11-05 12:05:31 -05:00
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
Josh Berdine
d81cba4b06 Update contributing instructions in README
Signed-off-by: Josh Berdine <josh@berdine.net>
2020-09-21 09:47:58 -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
9a9ae12972 chore: try to fix travis 2020-08-24 10:35:40 -04:00
Simon Cruanes
a59562bed1 prepare for 3.0.1 2020-08-24 10:13:03 -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
9fe414f793 chore: small refactor of github actions
sadly the matrix thing is not expressive enough to use a
given switch only on a given OS (like, windows + mingw32).
So, 🤷
2020-08-05 14:05:12 -04:00
Simon Cruanes
38d8fc2f9a doc: update readme 2020-08-04 09:42:55 -04:00
Simon Cruanes
ade2500e68 prepare for 3.0, without further ado 2020-07-31 15:51:46 -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
8683153cc9 fix opam files 2020-07-28 20:19:58 -04:00
Simon Cruanes
01d9693a16 wip: fix travis 2020-07-28 20:17:33 -04:00
Simon Cruanes
add6a58cf5 prepare for 3.0~rc1 2020-07-28 18:15:05 -04:00
Simon Cruanes
2eb58dd6c4 prepare readme and changelog for 3.0~rc1 2020-07-28 18:12:12 -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
Simon Cruanes
4ac67a7518
chore(ci): fix bad test logic 2020-07-24 09:58:17 -04:00
Simon Cruanes
1f1b859ec7 Merge remote-tracking branch 'origin/wip-github-ci' 2020-07-23 12:56:00 -04: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
fa1f6170d1 chore: github actions: only run tests on linux 2020-07-22 18:24:12 -04:00
Simon Cruanes
aba959aa89 chore(ci): widen support for github CI 2020-07-22 18:00:54 -04:00
Simon Cruanes
c2cab292b1 chore: add github ci 2020-07-22 17:40:59 -04:00
Simon Cruanes
8b41a2bf69 doc: add missing @since 2020-07-22 17:08:48 -04:00