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

217 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Cruanes
07480c6a82 is_empty in Multiset 2013-07-07 00:19:47 +02:00
Simon Cruanes
f93c5865a4 Merge pull request #1 from nbraud/multiset 
multiSet: Add contains function
 2013-07-06 15:17:58 -07:00
Nicolas Braud-Santoni
97caff7ec1 multiSet: Add contains function 2013-07-07 00:14:22 +02:00
Simon Cruanes
ab087334e1 more operations in MultiSet 2013-07-06 13:06:19 +02:00
Simon Cruanes
ec94ca1864 MultiSet on top of Map 2013-07-06 12:58:36 +02:00
Simon Cruanes
4f08badd84 updated README 2013-07-02 10:17:26 +02:00
Simon Cruanes
fa559395a6 added Random-Access list implementation 2013-07-01 14:22:09 +02:00
Simon Cruanes
e7e1d1bb6a cosmetic changes in Bencode 2013-06-27 16:13:10 +02:00
Simon Cruanes
171f12a322 Sexp module, for parsing and printing S-expressions incrementally 2013-06-25 16:22:34 +02:00
Simon Cruanes
b0dd49afc1 in Sequence, adaptators for Map and Set now keep type t (instead of map/set) 2013-06-13 15:59:19 +02:00
Simon Cruanes
a636c73f6d renamed Graph to PersistentGraph, not to collide with OCamlGraph 2013-06-13 15:17:52 +02:00
Simon Cruanes
97451b48a9 function Bencode.reset to clear a decoder's state 2013-06-13 13:33:26 +02:00
Simon Cruanes
4dd3c63ba5 aesthetic in Bencode 2013-06-12 19:35:48 +02:00
Simon Cruanes
b70c94377e fixed .odocl and minor stuff 2013-06-12 17:36:59 +02:00
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