| .. |
|
_tags
|
changed comments, add _tags file
|
2014-06-23 23:29:47 +02:00 |
|
CCArray.ml
|
CCArray.lookup for divide-and-conquer search
|
2014-07-03 15:08:59 +02:00 |
|
CCArray.mli
|
CCArray.lookup for divide-and-conquer search
|
2014-07-03 15:08:59 +02:00 |
|
CCBatch.ml
|
fix benchmark broken by Drup;
|
2014-06-12 11:56:57 +02:00 |
|
CCBatch.mli
|
fix benchmark broken by Drup;
|
2014-06-12 11:56:57 +02:00 |
|
CCBool.ml
|
tests for bitvectors
|
2014-06-24 18:52:38 +02:00 |
|
CCBool.mli
|
tests for bitvectors
|
2014-06-24 18:52:38 +02:00 |
|
CCBV.ml
|
tests for bitvectors
|
2014-06-24 18:52:38 +02:00 |
|
CCBV.mli
|
tests for bitvectors
|
2014-06-24 18:52:38 +02:00 |
|
CCCat.ml
|
details in CCCat
|
2014-07-17 10:11:02 +02:00 |
|
CCCat.mli
|
details in CCCat
|
2014-07-17 10:11:02 +02:00 |
|
CCDeque.ml
|
split into package core (no pack, 'CC' prefix, stable)
|
2014-05-16 20:58:28 +02:00 |
|
CCDeque.mli
|
split into package core (no pack, 'CC' prefix, stable)
|
2014-05-16 20:58:28 +02:00 |
|
CCError.ml
|
CCError.fail_printf
|
2014-07-11 23:05:13 +02:00 |
|
CCError.mli
|
CCError.fail_printf
|
2014-07-11 23:05:13 +02:00 |
|
CCFQueue.ml
|
constructors for 1 or 2 elements fqueues
|
2014-07-04 02:02:03 +02:00 |
|
CCFQueue.mli
|
constructors for 1 or 2 elements fqueues
|
2014-07-04 02:02:03 +02:00 |
|
CCFun.ml
|
monad instance for CCFun
|
2014-06-26 15:01:34 +02:00 |
|
CCFun.mli
|
monad instance for CCFun
|
2014-06-26 15:01:34 +02:00 |
|
CCGen.ml
|
updated and fixed things in core/:
|
2014-05-17 01:00:00 +02:00 |
|
CCGen.mli
|
updated and fixed things in core/:
|
2014-05-17 01:00:00 +02:00 |
|
CCHash.ml
|
make a distinction between Hash.state and Hash.t (and private type is bad here)
|
2014-06-23 23:44:53 +02:00 |
|
CCHash.mli
|
random generators in several modules, and CCRandom to bind them all with fuel
|
2014-06-24 14:06:48 +02:00 |
|
CCHashtbl.ml
|
some unrolling in CCHashtbl
|
2014-07-16 14:20:56 +02:00 |
|
CCHashtbl.mli
|
CCHashtbl: open-addressing table (Robin-Hood hashing)
|
2014-07-08 17:15:42 +02:00 |
|
CCHeap.ml
|
fix type mismatch
|
2014-06-25 23:34:43 +02:00 |
|
CCHeap.mli
|
fix type mismatch
|
2014-06-25 23:34:43 +02:00 |
|
CCInt.ml
|
random generators in several modules, and CCRandom to bind them all with fuel
|
2014-06-24 14:06:48 +02:00 |
|
CCInt.mli
|
random generators in several modules, and CCRandom to bind them all with fuel
|
2014-06-24 14:06:48 +02:00 |
|
CCIO.ml
|
CCIO: explicit finalizer system, to use a >>>= operator rather than callbacks.
|
2014-07-23 12:25:00 +02:00 |
|
CCIO.mli
|
details (comments)
|
2014-08-05 00:15:17 +02:00 |
|
CCKList.ml
|
tests
|
2014-07-18 02:55:53 +02:00 |
|
CCKList.mli
|
CCKList: group,uniq,sort,sort_uniq,repeat and cycle
|
2014-07-18 02:51:23 +02:00 |
|
CCKTree.ml
|
CCKTree, abstract tree structure with dot printing
|
2014-06-25 03:28:41 +02:00 |
|
CCKTree.mli
|
CCKTree, abstract tree structure with dot printing
|
2014-06-25 03:28:41 +02:00 |
|
CCLinq.ml
|
bugfix
|
2014-06-15 23:10:16 +02:00 |
|
CCLinq.mli
|
much better error handling in CCLinq
|
2014-06-14 13:51:50 +02:00 |
|
CCList.ml
|
CCList.Ref to help use references on lists
|
2014-07-22 00:01:43 +02:00 |
|
CCList.mli
|
CCList.Ref to help use references on lists
|
2014-07-22 00:01:43 +02:00 |
|
CCMultiMap.ml
|
split into package core (no pack, 'CC' prefix, stable)
|
2014-05-16 20:58:28 +02:00 |
|
CCMultiMap.mli
|
split into package core (no pack, 'CC' prefix, stable)
|
2014-05-16 20:58:28 +02:00 |
|
CCMultiSet.ml
|
sequence and CCMultiSet
|
2014-07-18 02:14:02 +02:00 |
|
CCMultiSet.mli
|
sequence and CCMultiSet
|
2014-07-18 02:14:02 +02:00 |
|
CCOpt.ml
|
CCopt.pure
|
2014-06-28 04:06:58 +02:00 |
|
CCOpt.mli
|
CCopt.pure
|
2014-06-28 04:06:58 +02:00 |
|
CCOrd.ml
|
small change in CCOrd
|
2014-06-14 02:16:14 +02:00 |
|
CCOrd.mli
|
small change in CCOrd
|
2014-06-14 02:16:14 +02:00 |
|
CCPair.ml
|
more functions in CCPair
|
2014-07-17 10:37:58 +02:00 |
|
CCPair.mli
|
more functions in CCPair
|
2014-07-17 10:37:58 +02:00 |
|
CCPersistentHashtbl.ml
|
updated CCPersistentHashtbl with new functions;
|
2014-06-28 03:53:21 +02:00 |
|
CCPersistentHashtbl.mli
|
updated CCPersistentHashtbl with new functions;
|
2014-06-28 03:53:21 +02:00 |
|
CCPrint.ml
|
registered printers for CCError.guard,wrap1,etc.
|
2014-07-08 00:35:48 +02:00 |
|
CCPrint.mli
|
registered printers for CCError.guard,wrap1,etc.
|
2014-07-08 00:35:48 +02:00 |
|
CCRandom.ml
|
refactored CCrandom (hide fuel, too complicated, but provide a fix operator);
|
2014-06-24 16:24:19 +02:00 |
|
CCRandom.mli
|
refactored CCrandom (hide fuel, too complicated, but provide a fix operator);
|
2014-06-24 16:24:19 +02:00 |
|
CCSequence.ml
|
updated and fixed things in core/:
|
2014-05-17 01:00:00 +02:00 |
|
CCSequence.mli
|
changed comments, add _tags file
|
2014-06-23 23:29:47 +02:00 |
|
CCString.ml
|
CCString.init
|
2014-07-11 23:07:26 +02:00 |
|
CCString.mli
|
CCString.init
|
2014-07-11 23:07:26 +02:00 |
|
CCTrie.ml
|
CCTrie.above/below: ranges of items
|
2014-07-18 02:05:37 +02:00 |
|
CCTrie.mli
|
CCTrie.above/below: ranges of items
|
2014-07-18 02:05:37 +02:00 |
|
CCVector.ml
|
a few more functions in CCVector, including in-place filtering
|
2014-06-15 19:36:15 +02:00 |
|
CCVector.mli
|
a few more functions in CCVector, including in-place filtering
|
2014-06-15 19:36:15 +02:00 |
