Commit graph

313 commits

Author SHA1 Message Date
Simon Cruanes
bedf9ecc1e prepare for 1.3 2017-07-29 18:08:58 +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
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
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
43bccceac7 add test and bugfix for CCBV 2017-04-27 22:33:58 +02:00
Simon Cruanes
57d460ecde style 2017-04-19 22:28:02 +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
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
e6221d7e50 add test 2017-03-27 21:05:37 +02:00
Simon Cruanes
b5be1d71a9 bugfix and test for CCZipper.is_focused (closes #102) 2017-03-14 22:45:11 +01:00
Simon Cruanes
48bb1e24c6 update header, and use more (==) in CCIntMap 2017-03-09 22:51:33 +01:00
Simon Cruanes
207a5725de fix the bug in CCGraph 2017-02-13 15:26:52 +01:00
Simon Cruanes
38f5692e21 add test for regression in CCGraph 2017-02-13 15:26:44 +01:00
Simon Cruanes
56462a862b Merge branch 'master' into prepare-1.0 2017-01-25 00:15:03 +01:00
Simon Cruanes
03fd42e67d reindentation 2017-01-25 00:08:12 +01:00
Simon Cruanes
6823015b63 update headers 2017-01-24 15:25:57 +01:00
Simon Cruanes
9b53e3c2a5 use Labels versions of CCList and CCArray 2016-12-29 11:07:44 +01:00
Simon Cruanes
e8cd571005 prepare 0.22 2016-12-18 01:32:52 +01:00
Jacques-Pascal Deplaix
5279304b40 Add CCMultiSet.remove_all 2016-12-06 18:29:50 +01:00
Simon Cruanes
a8babbd941 add labels to CCList 2016-11-11 00:52:44 +01:00
Simon Cruanes
2d718b93ad remove CCHashconsedSet 2016-11-03 23:51:01 +01:00
Simon Cruanes
6943771bdf remove CCAllocCache 2016-11-03 23:49:50 +01:00
Simon Cruanes
d849b51892 remove CCBloom 2016-11-03 23:49:19 +01:00
Simon Cruanes
13b34f4fcf simplify and cleanup of CCGraph 2016-11-03 23:25:39 +01:00
Simon Cruanes
7229f04981 detail 2016-11-03 23:25:35 +01:00
Simon Cruanes
2c00983262 split CCList.Zipper into its own module, CCZipper in containers.data 2016-11-03 22:06:41 +01:00
Simon Cruanes
ad1513e36c remove CCList.Idx, rename its functions to toplevel 2016-11-03 21:57:24 +01:00
Simon Cruanes
5a1a88d3f5 rewrite CCBitField with a much simpler interface 2016-11-03 21:35:53 +01:00
Simon Cruanes
13b283a91d remove buffer printers, rename pretty-printers to pp 2016-11-03 18:24:11 +01:00
Simon Cruanes
c89186a100 remove CCPrint (also, update tests relying on it) 2016-11-03 17:57:41 +01:00
Simon Cruanes
4ff174ce18 (breaking) make default start/stop arguments empty in printers (#82) 2016-11-03 15:19:50 +01:00
Simon Cruanes
913cfcacea prepare for 0.19 2016-08-22 09:58:09 +02:00
Simon Cruanes
e704020e35 additional functions in CCMultiSet 2016-07-20 17:48:32 +02:00
Simon Cruanes
6784608496 headers 2016-07-20 17:48:32 +02:00
Carmelo Piccione
3c6f77b67a show ocaml array type concretely in Make sig 2016-07-09 10:59:01 -04:00
Simon Cruanes
3731b9d42f a few longer tests for CCFlatHashtbl 2016-06-20 16:19:09 +02:00