Commit graph

2527 commits

Author SHA1 Message Date
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
Simon Cruanes
8be147c50b added a timer in Future 2013-03-24 19:21:43 +01:00
Simon Cruanes
d74808efe0 small api change in future 2013-03-24 17:57:02 +01:00
Simon Cruanes
b4e07e07d2 benchmark SkipList with hashtables 2013-03-23 01:45:54 +01:00
Simon Cruanes
9788d108e3 faster SkipList.find 2013-03-23 01:45:46 +01:00
Simon Cruanes
6f455c7cb1 skipList module 2013-03-23 01:00:13 +01:00
Simon Cruanes
3da4f75487 correct comments for ocamldoc 2013-03-22 17:42:09 +01:00
Simon Cruanes
a9cdce9424 Gen.intersection, to intersect 2 sorted generators 2013-03-22 09:53:54 +01:00
Simon Cruanes
09817b236a update of Bench 2013-03-21 18:55:12 +01:00
Simon Cruanes
0af36e124e added repeatedly, rand_int, of_array and to_array to Gen 2013-03-21 18:06:00 +01:00
Simon Cruanes
6ba411d7f5 lower level pp function 2013-03-21 17:51:44 +01:00
Simon Cruanes
7ed1bced9d forgot to update examples/ 2013-03-21 17:35:23 +01:00
Simon Cruanes
2033f07aff renamed Enum into Gen (for "generator"), and updated code and test to reflect so 2013-03-21 17:25:02 +01:00
Simon Cruanes
dfbce71324 Enum.reduce 2013-03-21 17:19:50 +01:00
Simon Cruanes
ebbf4a9138 more explanations about merge 2013-03-21 17:14:15 +01:00
Simon Cruanes
6a918a95dc binary sorted_merge 2013-03-21 17:11:04 +01:00
Simon Cruanes
a49b37dbdb added infix operators in the module 2013-03-21 17:03:14 +01:00