908 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Simon Cruanes	4c22a770f8	rename benchmarks; doc	2015-03-24 13:39:39 +01:00
Simon Cruanes	76f966aed3	ccpersistentArray.copy	2015-03-24 12:21:14 +01:00
Simon Cruanes	adee01be65	due reference to Jean-Christophe Filliâtre in CCPersistentArray	2015-03-24 10:06:41 +01:00
Simon Cruanes	045b81e93f	Merge pull request #43 from Gbury/persistent_array ... add CCPersistentArray (merge from @gbury)	2015-03-23 18:12:36 +01:00
Guillaume Bury	9a9eb486a8	Updated authors	2015-03-23 18:07:19 +01:00
Guillaume Bury	ab110b694d	New module for Persistent Arrays	2015-03-23 18:05:45 +01:00
Simon Cruanes	26c1f87311	wip: inter/union for CCIntMap	2015-03-21 22:47:14 +01:00
Simon Cruanes	1cdd678eb3	fix: CCIntMap not a search tree for negative keys, apparently	2015-03-21 22:14:29 +01:00
Simon Cruanes	a5a45efa8c	kind of fix the highest_bit function	2015-03-21 22:11:26 +01:00
Simon Cruanes	2a2250faa6	wip: CCIntMap (big-endian patricia trees) in containers.data	2015-03-21 21:44:27 +01:00
Simon Cruanes	4b409ca34f	bugfix in CCFQueue.add_seq_front	2015-03-21 16:10:48 +01:00
Simon Cruanes	c1313e094d	more tests! yay!	2015-03-17 01:01:06 +01:00
Simon Cruanes	d4ccbccbb8	add CCFQueue.rev	2015-03-17 00:36:43 +01:00
Simon Cruanes	27e63e6cfa	many more tests for CCFQueue	2015-03-17 00:36:43 +01:00
Simon Cruanes	2d9988f080	add tests to CCFQueue	2015-03-17 00:36:42 +01:00
Simon Cruanes	adcff57e4c	add -- to CCFQueue	2015-03-17 00:36:42 +01:00
Simon Cruanes	0e62f9a345	a few fixes, including implementing quoted	2015-03-17 00:36:42 +01:00
Simon Cruanes	0dc8b90d66	refactor internals of app_parse (simpler compilation, less duplication, fix pfc computation)	2015-03-17 00:36:42 +01:00
Simon Cruanes	cb68e1ae66	app_parse: expose "junk" combinator	2015-03-17 00:36:42 +01:00
Simon Cruanes	dccb1499f4	doc	2015-03-17 00:36:42 +01:00
Simon Cruanes	3e769750b6	wip: app_parse, now with both definition and compiled AST, lazy ... compilation, printer	2015-03-17 00:36:42 +01:00
Simon Cruanes	5c7cb55378	wip: parser combinators, trying to fix fix	2015-03-17 00:36:42 +01:00
Simon Cruanes	ee8c7c03f2	wip: App_parse in containers_string, a draft of efficient applicative parser combinators	2015-03-17 00:36:41 +01:00
Simon Cruanes	af4bf49156	remove junk in .merlin	2015-03-17 00:36:41 +01:00
Simon Cruanes	0a20cf0e3d	update doc of Containers module	2015-03-17 00:36:41 +01:00
Simon Cruanes	5427e9db31	remove containers.pervasives, add the module Containers to core/	2015-03-17 00:36:41 +01:00
Simon Cruanes	0fc8aa59f6	bugfix in CCFQueue	2015-03-17 00:36:30 +01:00
Simon Cruanes	ac180aa339	remove trailing whitespace	2015-03-02 23:39:10 +01:00
Simon Cruanes	f24d03ddb9	remove useless CCPrint.kfprintf	2015-03-02 17:22:55 +01:00
Simon Cruanes	88fca4efa1	bugfix in CCFormat.to_file	2015-03-02 16:42:19 +01:00
Simon Cruanes	a389b49f43	small fix in doc	2015-02-27 15:37:47 +01:00
Simon Cruanes	95295b834c	version 0.9	2015-02-27 14:39:58 +01:00
Simon Cruanes	c5354c792e	some "status: experimental" annotations on new modules	2015-02-27 14:31:17 +01:00
Simon Cruanes	125484a9c4	add Float, Ref, Set, Format to CCPervasives	2015-02-27 14:30:59 +01:00
Simon Cruanes	45a35aa646	fix in oasis	2015-02-27 13:42:07 +01:00
Simon Cruanes	fa09029e8a	Lwt_pipe.Reader: more combinators	2015-02-26 16:20:23 +01:00
Simon Cruanes	cf6d730998	CCRingBuffer.append (simple implementation)	2015-02-25 23:17:41 +01:00
Simon Cruanes	536f3152af	bugfix in CCRingBuffer (syntax?)	2015-02-25 23:17:37 +01:00
Simon Cruanes	fe234e3dba	containers.data now depends on bytes	2015-02-25 22:52:13 +01:00
Simon Cruanes	14f593d246	wip: qtests for containers.lwt	2015-02-25 22:03:30 +01:00
Simon Cruanes	050514a326	change a bit the interface of CCRingBuffer, indentation, names	2015-02-25 19:22:09 +01:00
Simon Cruanes	60159bdd75	merge from struktured: shiny new CCRingBuffer	2015-02-25 18:57:02 +01:00
carm	6f788d3a2a	ringbuffer doc updates	2015-02-22 21:03:16 -05:00
carm	7c0ed782e4	make some tests more random	2015-02-22 20:29:13 -05:00
carm	67eae77105	final set of qtests for ringbuffer	2015-02-22 20:27:26 -05:00
carm	356f6934dd	ringbuffer get front/back qtests	2015-02-22 20:10:16 -05:00
carm	ec92dfaa94	remove debugging, better is_empty test	2015-02-22 20:01:47 -05:00
carm	ed126fa6bb	check for non-negative length	2015-02-22 19:58:46 -05:00
carm	d66a5bc86f	ringbuffer create qtest	2015-02-22 19:57:17 -05:00
carm	420f7c6bcc	fix to blit_from_bounded, several more qtests	2015-02-22 19:52:15 -05:00