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

2503 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Cruanes
689908f9b9 Bencode module, for the eponym encoding format 2013-06-12 17:36:45 +02:00
Simon Cruanes
d9c8007548 Behavior is now based on Lwt rather than React, using futures. 
Updated tests, doc, etc.
 2013-06-05 11:06:16 +02:00
Simon Cruanes
de7246b75c small changes 2013-05-31 12:29:59 +02:00
Simon Cruanes
a45fccca98 a few more combinators for Behavior 2013-05-31 12:20:13 +02:00
Simon Cruanes
fa40412216 changed the implementation of Behavior.Fut 2013-05-31 12:08:01 +02:00
Simon Cruanes
59fb4a0d47 terser interface for Behavior (removed mk_ prefixes) 2013-05-31 12:01:37 +02:00
Simon Cruanes
7eaf28490e some tests for Behavior; also a new constructor 2013-05-31 11:56:01 +02:00
Simon Cruanes
b1d222c3f1 more modular build system, for thread-dependent or React-dependent modules 2013-05-31 11:41:43 +02:00
Simon Cruanes
ebe6f63a2c Reactive Behavior tree implementation (for React) 2013-05-31 11:41:19 +02:00
Simon Cruanes
73073bdd0c simpler Univ.unpack implementation 2013-05-24 13:44:56 +02:00
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