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
2893 commits 49 branches 82 tags 24 MiB
Commit graph

2893 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Cruanes
93eb787082 better Sequence.pp_seq, with trailing separator 2013-05-24 13:44:56 +02:00
Simon Cruanes
79dbf5e843 some tests for PiCalculus 2013-05-20 21:44:17 +02:00
Simon Cruanes
3d199eeffb PiCalculus module, to emulate the Pi-calculus concurrency model; 
it uses only one thread on one machine though
 2013-05-20 19:17:20 +02:00
Simon Cruanes
c6975eaf8a export Bij.t as a private type 2013-05-20 17:31:43 +02:00
Simon Cruanes
ec41b0397d added a few helpers to Bij 2013-05-20 12:36:55 +02:00
Simon Cruanes
44bd29766c in bij, EOF -> DecodingError 2013-05-15 18:09:24 +02:00
Simon Cruanes
5c11f945b9 update of Bij.version 2013-05-15 17:59:19 +02:00
Simon Cruanes
a893e6c0eb 4-ary and 5-ary tuples in Bij 2013-05-15 16:41:32 +02:00
Simon Cruanes
9d1843ecf8 Bij.{guard,fix} helpers 2013-05-15 15:11:54 +02:00
Simon Cruanes
9774added9 small update of the makefile 2013-05-15 13:42:20 +02:00
Simon Cruanes
1fa268138e another test, using more Bij features 2013-05-15 12:29:45 +02:00
Simon Cruanes
5701df09ad more tests for Bij, using random structures 2013-05-15 12:22:19 +02:00
Simon Cruanes
98ce2aa394 removed the useless argument of Bij.BranchTo 2013-05-15 12:09:29 +02:00
Simon Cruanes
fb04d0e1c5 better, although more complicated, system for switch 2013-05-15 12:05:02 +02:00
Simon Cruanes
1e72332ac6 easier to use interface for Bij.Sexpr 2013-05-15 11:23:36 +02:00
Simon Cruanes
a570a34951 modules everywhere for sources, sinks, encoders, decoders...; 
more primitives in Sink; direct access to eof/cur/junk in Source
 2013-05-15 11:12:53 +02:00
Simon Cruanes
a41baa1174 Bij.decode starts to work; 
more thorough tests (for big int lists)
 2013-05-15 10:31:12 +02:00
Simon Cruanes
7628ed9954 build lib when tests are built 2013-05-15 10:27:21 +02:00
Simon Cruanes
20097ddae3 Bij module, a try at the serialization problem using GADT 2013-05-14 18:32:23 +02:00
Simon Cruanes
d7b3f45f3c functorial version of SplayMap 2013-05-01 17:21:09 +02:00
Simon Cruanes
6118e61edc update of containers.mllib to include SplayMap; update of README; 
SplayMap.iter/fold now traverse in ascending order
 2013-04-24 10:04:50 +02:00
Simon Cruanes
6c1f7fb950 functional SplayTree as Maps 2013-04-24 00:32:04 +02:00
Simon Cruanes
d0bb88e365 minor update of Leftistheap 2013-04-24 00:31:47 +02:00
Simon Cruanes
b6212bea7c leftistheap 2013-04-23 20:27:33 +02:00
Simon Cruanes
32985129e0 update of Vector, with more functions (length, rev, append_seq...) 
and better performance (using unsafe_set/unsafe_get in Array)
 2013-04-22 18:32:23 +02:00
Simon Cruanes
7a0605d96f added CC (congruence closure with curryfied terms); 
added Puf (persistent Union-Find, used in CC);
added their unit tests
 2013-04-17 15:43:19 +02:00
Simon Cruanes
dd434c9ef7 forgot the case for strings 2013-04-12 18:19:55 +02:00
Simon Cruanes
5ddff35b8d basic json parser/printer using Genlex 2013-04-12 18:12:33 +02:00
Simon Cruanes
62248928b2 small changes 2013-04-05 17:34:06 +02:00
Simon Cruanes
66f5a97f92 added arrays to benchs; 
updated README
 2013-04-05 17:19:47 +02:00
Simon Cruanes
e924d0639a changed the benchmarks for hashtables 2013-04-05 16:58:29 +02:00
Simon Cruanes
1e35fc7ecb doc for infix functions of Gen 2013-04-03 00:14:48 +02:00
Simon Cruanes
92a04ac727 more doc for Gen 2013-04-03 00:12:37 +02:00
Simon Cruanes
85b3ca233b target for documentation of some modules 2013-04-03 00:01:52 +02:00
Simon Cruanes
0a58a380d8 added Gen.compare and Gen.eq functions 2013-04-02 23:48:51 +02:00
Simon Cruanes
41fc94afe6 example updated 2013-03-31 22:46:14 +02:00
Simon Cruanes
1644640075 LazyGraph.limit_depth implemented 2013-03-31 22:23:26 +02:00
Simon Cruanes
ffbe617c86 LazyGraph.is_dag_full, with several starting vertices 2013-03-31 21:28:40 +02:00
Simon Cruanes
856eacb8fc flatMap for LazyGraph.t! hey, why not? 2013-03-31 21:14:01 +02:00
Simon Cruanes
3c572559b7 play with the crawler! 2013-03-30 15:04:20 +01:00
Simon Cruanes
c582e18cfa more robust crawler 2013-03-30 14:53:13 +01:00
Simon Cruanes
a5d9a39afd example using LazyGraph and Futures to search a path between two urls 2013-03-30 14:41:07 +01:00
Simon Cruanes
69d75de295 additional handler for LazyGraph algorithms that search for paths 2013-03-30 14:40:44 +01:00
Simon Cruanes
ddd3175185 LazyGraph: 
- Dijkstra and A* algorithms implemented, for minimal path search;
- is_dag predicate for finite graphs;
- simple "heap_graph" example (i -> 2*i,2*i+1)
 2013-03-30 13:21:01 +01:00
Simon Cruanes
fe0b4d653f removed some non implemented functions from LazyGraph 2013-03-29 23:19:10 +01:00
Simon Cruanes
974df85321 cleanup of LazyGraph 2013-03-29 23:16:17 +01:00
Simon Cruanes
5553ed4699 updated benchs with persistentHashtbl 2013-03-27 21:47:24 +01:00
Simon Cruanes
a82ebf7d59 added PersistentHashtbl, adapted from persistent arrays of J-C Filliatre 2013-03-26 17:23:19 +01:00
Simon Cruanes
f992f279bc Gen.lexico for lexicographic comparison 2013-03-25 14:37:27 +01:00
Simon Cruanes
bc38851de6 added a test for Future.Timer 2013-03-24 20:27:27 +01:00