Simon Cruanes
|
074234c47f
|
remove warning from .merlin
|
2015-05-19 03:10:25 +02:00 |
|
Simon Cruanes
|
14c814e6fd
|
another bugfix
|
2015-05-18 22:06:31 +02:00 |
|
Simon Cruanes
|
4c4f7995c1
|
bugfix in PrintBox for unicode text
|
2015-05-18 21:55:57 +02:00 |
|
Simon Cruanes
|
153cababb3
|
add CCList.{find_pred,find_pred_exn}
|
2015-05-17 19:18:40 +02:00 |
|
Simon Cruanes
|
fc7f1a661a
|
bugfix in CCUnix.escape_str
|
2015-05-07 15:16:14 +02:00 |
|
Simon Cruanes
|
1fab81a832
|
update readme
|
2015-05-07 14:21:19 +02:00 |
|
Simon Cruanes
|
57f65bd140
|
add methods and accessors to CCUnix
|
2015-05-07 14:00:10 +02:00 |
|
Simon Cruanes
|
78fb6c53f2
|
in CCUnix, use Unix.environment as the default environment
|
2015-05-07 11:19:16 +02:00 |
|
Simon Cruanes
|
d2a02793e2
|
add CCList.partition_map
|
2015-05-05 23:47:22 +02:00 |
|
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 |
|