17 commits

Author	SHA1	Message	Date
Simon Cruanes	fc329fa118	rename print to pp for Format printers (closes #153)	2018-01-14 17:58:20 -06:00
Simon Cruanes	d6f7f1570e	prepare for 1.4	2017-10-11 09:29:31 +02:00
Simon Cruanes	62d76ce555	change signature of CCWBTree.get_rank	2017-08-11 00:41:26 +02:00
Simon Cruanes	cf09112f79	add CCWBTree.get_rank{,_exn}	2017-08-09 10:05:55 +02:00
Simon Cruanes	03fd42e67d	reindentation	2017-01-25 00:08:12 +01:00
Simon Cruanes	73eecfb10d	prepare for 0.17	2016-04-22 23:01:37 +02:00
jkloos	ec3c881939	Added @since tags.	2016-04-05 17:55:36 +02:00
jkloos	de859a844d	Added map/mapi to some of the map types.	2016-04-05 16:27:30 +02:00
Fourchaux	44387de784	Correction typos (fichiers src)	2015-11-08 22:27:59 +01:00
Simon Cruanes	044cbf0c20	prepare for 0.13	2015-09-23 16:26:07 +02:00
Simon Cruanes	3c233d9cf3	use more labels in CCHashtrie,CCRAL,CCWBTree	2015-09-21 17:18:43 +02:00
Simon Cruanes	e9a3cbdc62	variance annotation	2015-09-15 01:27:54 +02:00
Simon Cruanes	3d035e05cd	wip: fix CCWBTree.{split,merge}; add tests	2015-09-09 23:13:56 +02:00
Simon Cruanes	5e5d192448	implement merge and split for CCWBTree	2015-09-09 19:29:17 +02:00
Simon Cruanes	dab3ea6052	add a few function in CCWBTree	2015-09-07 22:40:54 +02:00
Simon Cruanes	3aef755a28	detail	2015-09-07 14:32:55 +02:00
Simon Cruanes	f1dd17d1aa	new module CCWBTree, a weight-balanced tree. WIP.	2015-09-07 01:06:45 +02:00