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 |
|
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 |
|