simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
363 commits 49 branches 82 tags 24 MiB
Commit graph

363 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Cruanes
ab83ea4827 bool and int modules 2014-05-20 19:23:46 +02:00
Simon Cruanes
48839be132 CCFun.id and const 2014-05-20 17:43:56 +02:00
Simon Cruanes
d9ccb619a1 additional utils for pairs and functions 2014-05-20 17:38:54 +02:00
Simon Cruanes
a8dc42024b bugfix in CCList.take 2014-05-20 17:27:00 +02:00
Simon Cruanes
e61039152f more functions in CCList; CCHash and CCKlist added 2014-05-20 16:22:42 +02:00
Simon Cruanes
65148bd0de merge with master (AVL) 2014-05-20 15:59:49 +02:00
Simon Cruanes
125a8e6def AVL tree now with iterators (and it compiles) 2014-05-20 15:55:46 +02:00
Simon Cruanes
17a04f5ebf fixed warnings in Levenshtein 2014-05-17 09:53:21 +02:00
Simon Cruanes
113ea6d395 updated and fixed things in core/: 
fixed warnings, updated Sequence/Gen with tests and more recent interface; added printers
 2014-05-17 01:00:00 +02:00
Simon Cruanes
2dc743965b enable warnings 2014-05-17 00:59:07 +02:00
Simon Cruanes
2674349871 more modules in containers_string (CCString, Levenshtein); CCFun.finally 2014-05-17 00:10:47 +02:00
Simon Cruanes
9a5e6e9558 many more functions in CCList 2014-05-16 23:18:26 +02:00
Simon Cruanes
3ccabcd7b0 more modules in containers Core; 
moved KMP to sublibrary containers_string
 2014-05-16 22:26:59 +02:00
Simon Cruanes
4bc6c8a008 split into package core (no pack, 'CC' prefix, stable) 
and misc where oneshot ideas go
 2014-05-16 20:58:28 +02:00
Simon Cruanes
33bf5f269c wip: AVL tree with iterators (yay quadrarotaphilia) and BSD license... 2014-05-16 18:01:41 +02:00
Simon Cruanes
05d21db298 formatting and minor details 2014-05-12 17:42:11 +02:00
Simon Cruanes
1f36c9e02b qtest 2014-05-12 15:30:13 +02:00
Simon Cruanes
fcde09ca24 start using qtest 2014-05-12 15:24:15 +02:00
Simon Cruanes
0fc209d4b3 moved some files into lwt/ subdir; 
use oasis setup-dynamic feature
 2014-05-12 15:23:54 +02:00
Simon Cruanes
9edb610132 minor details 2014-05-12 14:57:28 +02:00
Simon Cruanes
88f006171f circular lists 2014-05-12 14:45:12 +02:00
Simon Cruanes
0375c0f721 KMP with sequences 2014-05-11 18:52:05 +02:00
Simon Cruanes
cd35c46a58 KMP algorithm (as a functor on the string type) 2014-05-10 14:36:21 +02:00
Simon Cruanes
23a5dc1756 Cause: debugging experiment, tracking why values exist and actions were performed 2014-04-23 17:59:43 +02:00
Simon Cruanes
e740f9ff63 quick tests 2014-04-19 01:27:34 +02:00
Simon Cruanes
097106d259 rational terms improved, with unification, equality, substitution and De Bruijn index 2014-04-19 01:27:21 +02:00
Simon Cruanes
3167afe929 merge 2014-04-18 23:55:30 +02:00
Simon Cruanes
65c4c05938 progress in BencodeStream.Encode, and basic features in Tell 2014-04-18 23:55:08 +02:00
Simon Cruanes
8404b167f5 rational terms with unification 2014-04-18 01:59:57 +02:00
Simon Cruanes
9c18698b22 preparation for Tell and BencodeStream 2014-04-10 19:36:26 +02:00
Simon Cruanes
cfed1c44a9 build system 2014-04-09 00:23:04 +02:00
Simon Cruanes
10b72019d7 small draft for Ty (dynamic types) from a gist of Gabriel Scherer 2014-04-09 00:23:04 +02:00
Simon Cruanes
ce7e44498a lift operators for CSM; interface to gen/sequence 2014-04-07 23:54:31 +02:00
Simon Cruanes
72efa794fe more instances and mutable automata 2014-04-07 23:03:01 +02:00
Simon Cruanes
aec15be316 CSM is now a Mealy machine implementation 2014-04-07 22:22:37 +02:00
Simon Cruanes
86fa8eeb8f Iteratee (stoppable folds) 2014-03-31 22:54:49 +02:00
Simon Cruanes
629879ec25 Bidir module, early draft of bidirectional iterators 2014-03-21 23:38:57 +01:00
Simon Cruanes
4a68729485 iteration over Levenshtein indexes 2014-03-05 23:38:49 +01:00
Simon Cruanes
49dd2f9054 qchecks for Levenshtein 2014-03-05 22:44:41 +01:00
Simon Cruanes
054a83abfb bugfix in the translation NDA -> DFA in Levenshtein 2014-03-05 22:44:25 +01:00
Simon Cruanes
b6310ae17d functor interface to Levenshtein automaton/index 2014-03-05 16:49:10 +01:00
Simon Cruanes
c5473857f8 small example in lenvenshtein 2014-03-05 01:09:48 +01:00
Simon Cruanes
8e5cde6f29 trie for indexing strings, to be later retrieved using Lenvenshtein automaton, 
implemented (with add,remove,retrieve ops)
 2014-03-05 00:45:53 +01:00
Simon Cruanes
99dfaecd64 better debug of DFA; 
fixed annoying bug (resizing array)!
 2014-03-04 23:17:02 +01:00
Simon Cruanes
4af415cecd removed useless "rec" 2014-03-04 13:20:44 +01:00
Simon Cruanes
ea92877a0a bugfixes and improved API (not implemented yet) for Levenshtein; 
some bugs remain in DFA construction
 2014-03-04 01:01:41 +01:00
Simon Cruanes
387ec86560 Levenshtein automaton for fuzzy string searching 2014-03-03 23:09:56 +01:00
Simon Cruanes
a2e0d85dca benchmark Conv.from (from json) 2014-03-02 16:06:33 +01:00
Simon Cruanes
3c4270b3a1 added a Conv.Point.t benchmark to bench_conv (recursive type) 2014-03-01 19:31:10 +01:00
Simon Cruanes
d794b6f726 more efficient and simple serialization, using 
function combinators instead of a single GADT
 2014-03-01 18:53:26 +01:00