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