Commit graph

414 commits

Author SHA1 Message Date
Simon Cruanes
161c192bff
prepare for 3.11 2023-02-07 12:39:35 -05:00
Simon Cruanes
d4e582e829
add CCHet.Tbl.{clear,reset} 2022-11-30 09:21:35 -05:00
Simon Cruanes
249dc3596e
prepare for 3.9 2022-07-06 22:27:25 -04:00
Simon Cruanes
e15971934d
feat(BV): add init 2022-07-04 22:15:06 -04:00
Simon Cruanes
36eb87db21
fix(BV): clear bits properly 2022-07-04 22:09:14 -04:00
Simon Cruanes
d9717095ef
improve doc for BV 2022-07-04 22:04:40 -04:00
Simon Cruanes
60b9ece69e
feat(BV): correct many bugs, clarify parts of the API 2022-07-04 21:49:50 -04:00
Simon Cruanes
090945c3f8
fix(BV): equal function 2022-07-04 16:08:17 -04:00
Simon Cruanes
856e73d2b2
fix 2022-07-04 14:37:24 -04:00
Simon Cruanes
3dd63964fb
Merge branch 'master' into ccbv_bytes2 2022-07-04 14:35:25 -04:00
Simon Cruanes
10865eaced reformat 2022-07-04 13:36:06 -04:00
Simon Cruanes
919360f96e
remove ounit 2022-07-02 23:18:16 -04:00
Simon Cruanes
1e4a22fbf2
refactor: finish migration to qtest 2022-07-02 22:09:25 -04:00
Simon Cruanes
1111c0fa9a
wip: convert tests into testlib 2022-07-02 14:47:03 -04:00
Simon Cruanes
58ac755f82
chore: move to ounit2
see if that fixes the windows build.
2022-06-09 21:39:09 -04:00
Simon Cruanes
ef9851983f
update dune to 1.10, condition some rules to unix 2022-02-20 22:01:39 -05:00
Simon Cruanes
b23e075762
fix occurrences of warning 50 2022-02-20 22:01:02 -05:00
Simon Cruanes
2a1c7cd8f0
fix warning 2022-02-11 21:15:04 -05:00
Simon Cruanes
8c9d7016b8
perf: uniformize ocamlopt_flags
we don't need codegen which depends on >= 4.03, it's assumed. Also
include a reasonable value for `-inline` when flambda isn't available.
2022-02-03 18:54:59 -05:00
Simon Cruanes
3960ea3792
feat(BV): add set_bool 2022-01-02 21:58:45 -05:00
Simon Cruanes
3d57a5c86e
feat(CCBV): prevent resize from shrinking underlying array
also add `BV.resize_minimize_memory` to force shrinking. This shouldn't
be the default because it can allocate a lot in case of repeated
shrinkings.
2022-01-02 21:57:53 -05:00
Simon Cruanes
92463d33c5
perf(BV): make more functions inline, use raise_notrace 2022-01-02 21:56:33 -05:00
Simon Cruanes
ced66a76e1
perf(CCBV): better bitwise operations
- a 8-bit popcount
- simpler logic for LSB masks
2022-01-02 21:45:26 -05:00
Fardale
099f2e176f chore(doc): adapt module docstring for the index page 2021-11-11 14:40:35 +01:00
Fardale
302dba6cb5 chore(CCOption): rename CCOpt to CCOption and deprecate CCOpt
In the stdlib the module associated with the option type is called
Option and in containers it was called CCOpt. Renaming CCOpt to CCOption
make the name of containers module uniforme with respect to the stdlib.
2021-09-22 23:07:05 +02:00
Simon Cruanes
aa05f69471 prepare for 3.5 2021-08-04 16:49:29 -04:00
Simon Cruanes
40a6c17548 small changes in CCIntMap, some cleanup 2021-06-06 14:14:05 -04:00
Fardale
19c65b5472 apply comments from the review 2021-05-23 15:01:36 +02:00
Fardale
6a3e446d27 use precomputed table for count_bits_ 2021-05-23 14:49:31 +02:00
Fardale
8ff253f18d chore(CCBV): clean comments 2021-05-22 22:09:24 +02:00
Fardale
8f65bf639b use bytes instead of int array for CCBV 2021-05-22 21:38:36 +02:00
Simon Cruanes
795ae5c546 bv: also refactor inter 2021-05-17 10:03:58 -04:00
Simon Cruanes
1c8265c3f3 bv: refactor for performance and readability 2021-05-17 10:01:35 -04:00
Simon Cruanes
92519b4843 fix(bv): index error in union
close #370
2021-05-17 10:00:59 -04:00
Simon Cruanes
a642aa6f6b bv: add more tests, including regression for #370 2021-05-17 10:00:32 -04:00
Simon Cruanes
1b0639886d feat(bv): add equal 2021-05-17 10:00:05 -04:00
Simon Cruanes
6bfd7f125e test: fix too broad test 2021-05-04 08:54:08 -04:00
Josh Berdine
9211a01f35 code review 2021-04-16 15:15:11 +01:00
Josh Berdine
9e6f453aff feat(CCRAL): add get_and_remove_exn operation
It seems like a waste to repeat the search for an index to both get
the element at that index and then to remove it. The added
`get_and_remove_exn` operation performs a `remove` but returns the
found element rather than forgetting it.
2021-04-16 14:48:14 +01:00
Josh Berdine
0ab8597b78 fix: CCRAL.remove does not remove 2021-04-15 17:56:36 -04:00
Simon Cruanes
b19cd0db5f add regression test for #364 2021-04-15 17:54:18 -04:00
Simon Cruanes
2440092eb5 fix invalid test in intmap 2021-04-03 17:42:17 -04:00
Kye W. Shi
fd1a43497d
CCImmutArray: add tests (#344)
CCImmutArray: add tests
2020-12-16 23:39:46 -05:00
Simon Cruanes
f9ee8d0e89 prepare for 3.1 2020-12-04 18:39:54 -05:00
Simon Cruanes
87a9937938 doc: indicate that ccmutheap is experimental 2020-11-04 12:29:15 -05: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
e0f14837ac fix warning 2020-09-23 21:34:14 -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