Simon Cruanes
cee2c7d8e3
Merge pull request #418 from nino/master
...
Fix some typos
2022-11-28 11:30:14 -05:00
Nino Annighoefer
46e53ec85f
Fix more typos
2022-11-26 10:19:10 +00:00
Nino Annighoefer
3ccb3e16f7
Fix typos
2022-11-26 09:53:17 +00:00
Simon Cruanes
fcfd8f19b0
doc
2022-11-16 13:30:13 -05:00
Simon Cruanes
069423bb77
prepare for 3.10
2022-11-16 10:27:20 -05:00
Simon Cruanes
24fdfdf3ee
readme
2022-11-14 09:08:39 -05:00
Fardale
5227fb975c
feat(CCArray): add mapi_inplace
2022-10-19 12:07:13 +02:00
Simon Cruanes
e0a8285e17
add containers.scc
2022-10-05 10:12:50 -04:00
Simon Cruanes
5b1f2af227
chore(github): add opam deps workflow
2022-09-26 11:25:36 -04:00
Simon Cruanes
a0c8859519
list codec libraries in readme
2022-09-21 13:17:45 -04:00
Fardale
399cd6d570
fix(CCSeq): add implementation of concat_map
2022-09-21 16:20:02 +02:00
Fardale
b2ec88b0e1
feat(CCSeq): add some missing function from 4.14
2022-09-21 15:44:18 +02:00
Fardale
46fbc3b82f
doc(Unix): add example from call_full
2022-09-21 11:22:02 +02:00
Fardale
47ff9935dc
include Seq in CCSeq for ocaml >= 4.07
2022-09-20 15:09:45 +02:00
Fardale
a5f9f2b95d
chore(CI): enable dune cache
2022-09-17 21:39:04 +02:00
Fardale
15c9152795
chore(CI): bump the last version of ocaml from 4.13 to 4.14
2022-09-17 21:28:55 +02:00
Simon Cruanes
00d344e09e
fix(Int64.hash): wrong shift
...
found by @copy
2022-08-29 09:49:51 -04:00
Simon Cruanes
a3abf40bc2
add CCInt64.{hash,hash_to_int64}
2022-08-22 17:48:21 +00:00
Fardale
4e2f9220dd
doc: add details to CCResult.of_opt
2022-08-05 21:38:22 +02:00
Simon Cruanes
43f82d7668
feat(Ref): add protect function
2022-08-04 11:58:39 -04:00
Simon Cruanes
d535cfe677
detail
2022-07-21 11:54:46 -04:00
Simon Cruanes
249dc3596e
prepare for 3.9
2022-07-06 22:27:25 -04:00
Simon Cruanes
6a415e963a
fix(cbor): use int64 as main int type
2022-07-06 22:27:24 -04:00
Simon Cruanes
484aa3a1e7
Merge pull request #394 from c-cube/ccbv_bytes2
...
(continued) use bytes for CCBV
2022-07-06 16:41:21 -04:00
Simon Cruanes
b7d19e9dc5
test
2022-07-05 21:29:03 -04:00
Simon Cruanes
af77f371fd
feat(testlib): allow ?long arg
2022-07-05 21:28:54 -04:00
Simon Cruanes
8b751754ba
test: compat 4.03
2022-07-04 22:16:46 -04:00
Simon Cruanes
feaa8ecf7d
test BV.init
2022-07-04 22:15:13 -04:00
Simon Cruanes
e15971934d
feat(BV): add init
2022-07-04 22:15:06 -04:00
Simon Cruanes
b24feaf2d6
strong BV test
2022-07-04 22:09:25 -04:00
Simon Cruanes
36eb87db21
fix(BV): clear bits properly
2022-07-04 22:09:14 -04:00
Simon Cruanes
e01b758de8
more tests
2022-07-04 22:04:50 -04:00
Simon Cruanes
d9717095ef
improve doc for BV
2022-07-04 22:04:40 -04:00
Simon Cruanes
30cb40c71f
test: add strong tests for BV
...
we use the classic QCheck construction with a random list of operations, and
test:
- internal invariant after each operation
- same cardinal and content as reference implementation after each operation
2022-07-04 21:56:14 -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
75fe196d3a
feat(testlib): optional arguments for q
2022-07-04 21:47:24 -04:00
Simon Cruanes
090945c3f8
fix(BV): equal function
2022-07-04 16:08:17 -04:00
Simon Cruanes
cc55e4cdfb
feat(testlib): optional name for all tests
2022-07-04 16:07:58 -04:00
Simon Cruanes
856e73d2b2
fix
2022-07-04 14:37:24 -04:00
Simon Cruanes
2b5b2a0e02
chore: have make test be quiet
2022-07-04 14:35:32 -04:00
Simon Cruanes
3dd63964fb
Merge branch 'master' into ccbv_bytes2
2022-07-04 14:35:25 -04:00
Simon Cruanes
69f2805f10
Merge pull request #414 from c-cube/wip-testlib
...
custom testlibrary, remove qtest
2022-07-04 13:57:35 -04:00
Simon Cruanes
8d964458d9
chore: ci
2022-07-04 13:36:06 -04:00
Simon Cruanes
3c5b2329bc
tests belong in specific packages
2022-07-04 13:36:06 -04:00
Simon Cruanes
10865eaced
reformat
2022-07-04 13:36:06 -04:00
Simon Cruanes
3e2379660e
move cbor tests into tests/
2022-07-02 23:49:41 -04:00
Simon Cruanes
e242b004ad
use preproc to deal with 4.03 and others < 4.08 versions
2022-07-02 23:39:33 -04:00
Simon Cruanes
919360f96e
remove ounit
2022-07-02 23:18:16 -04:00
Simon Cruanes
55b59b5b91
move more tests into testlib
2022-07-02 22:25:29 -04:00
Simon Cruanes
3b2cd786e2
finish removing qtest
2022-07-02 22:12:40 -04:00