Commit graph

993 commits

Author SHA1 Message Date
Simon Cruanes
61c5e5ec3f RingBuffer.{of_array, to_array} convenience functions 2015-05-04 22:45:36 +02:00
Simon Cruanes
378a22c8ab containers.misc.RAL: more efficient in memory (unfold list) 2015-05-04 12:33:44 +02:00
Simon Cruanes
7605bacdc3 add a few tests 2015-04-30 15:56:37 +02:00
Bernardo da Costa
84e77fddcf pow pow pow
Voilà un petit commit en annexe.

--
Bernardo

>From f11b65e1d282467d2dca8612a6fafa718c66e022 Mon Sep 17 00:00:00 2001
From: Bernardo Freitas Paulo da Costa <bernardo.da-costa@m4x.org>
Date: Thu, 30 Apr 2015 10:24:21 -0300
Subject: [PATCH] Add CCInt.pow

Binary exponentiation for positive numbers.
2015-04-30 15:56:09 +02:00
Simon Cruanes
531134d754 add CCList.group_succ 2015-04-28 17:34:09 +02:00
Simon Cruanes
b66caf67bf wip: Mixset 2015-04-28 13:05:28 +02:00
Simon Cruanes
5208579b9d wip: containers.data.CCMixset, set of values indexed by poly keys 2015-04-28 11:00:19 +02:00
Simon Cruanes
de4ee9ce61 disable warning 32 (unused val) in .merlin 2015-04-28 11:00:15 +02:00
Simon Cruanes
fe1f4f653a some infix operators for CCUnix 2015-04-25 12:56:00 +02:00
Simon Cruanes
4f44308445 add CCUnix.async_call for spawning and communicating with subprocess 2015-04-24 16:04:09 +02:00
Simon Cruanes
8195f035fc add CCList.Set.{add,remove} 2015-04-22 13:45:09 +02:00
Simon Cruanes
02252c076f details in changelog 2015-04-10 16:59:40 +02:00
Simon Cruanes
24e15b4cee fix doc of CCstring.Split.list_ 2015-04-10 16:56:51 +02:00
Simon Cruanes
c051966690 opam file 2015-04-10 16:54:07 +02:00
Simon Cruanes
0efc342177 preparing version 0.10 2015-04-10 16:40:45 +02:00
Simon Cruanes
136df67606 documentation stuff 2015-04-10 16:30:09 +02:00
Simon Cruanes
c71595f691 add a few functions to CCPersistentArray 2015-04-10 16:29:27 +02:00
Simon Cruanes
d0c270504a update benchmark: add CCIntMap to tbl bench 2015-04-06 19:50:02 +02:00
Simon Cruanes
c8005f388a a few todos 2015-03-31 17:18:17 +02:00
Simon Cruanes
e22c29c27f doc 2015-03-31 15:55:46 +02:00
Simon Cruanes
ef92ef19fd add CCString.{lines,unlines} that work on lines 2015-03-31 15:24:10 +02:00
Simon Cruanes
0b38c9e272 fix in oasis 2015-03-31 00:40:18 +02:00
Simon Cruanes
ceb68ee15f small fixes 2015-03-31 00:25:03 +02:00
Simon Cruanes
1d2780794f wip: a few simplifications in backtrack 2015-03-30 23:41:10 +02:00
Simon Cruanes
9002694aab wip: toy backtracking monad with lots'a GADTs (cc @aspiwack) 2015-03-30 23:33:38 +02:00
Simon Cruanes
26b4b14979 fix build system 2015-03-30 23:33:09 +02:00
Simon Cruanes
814aaadab5 fix in Puf.iter 2015-03-30 22:42:06 +02:00
Simon Cruanes
ff956b9cc2 add containers_misc.Puf.iter 2015-03-30 21:05:58 +02:00
Simon Cruanes
e3b4c5eaf9 add CCString.{lines,unlines,concat_gen} 2015-03-30 14:43:05 +02:00
Simon Cruanes
1da809c596 fix CCUnix.escape_str 2015-03-30 11:53:55 +02:00
Simon Cruanes
6fb26288ad richer CCUnix.call API, with tests 2015-03-28 12:55:56 +01:00
Simon Cruanes
62426ed4dc wip: CCUnix (with a small subprocess API, not working well yet) 2015-03-27 23:36:43 +01:00
Simon Cruanes
4ab5a709ad add CCList.{sorted_merge_uniq, uniq_succ} 2015-03-25 14:50:31 +01:00
Simon Cruanes
da8566910b breaking: fix documentation of CCList.sorted_merge (different semantics) 2015-03-25 14:50:13 +01:00
Simon Cruanes
3b3a697168 benchmark 2015-03-24 13:49:25 +01:00
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