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

2891 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Cruanes
dd4bb3746e a tiny bit of documentation 2013-09-28 12:49:09 +02:00
Simon Cruanes
b4f3925a45 QCheck easier to use, with printing combinators module 
and simpler ('a -> bool) properties
 2013-09-28 12:43:38 +02:00
Simon Cruanes
ead09ae349 quickcheck-like property testing 2013-09-28 12:15:38 +02:00
Simon Cruanes
5e0052af14 Bij.TrBencode with more functions; 
Bencode.parse_resume function to resume parsing of buffer
 2013-09-28 10:40:25 +02:00
Simon Cruanes
e1064845a7 much simpler Bij module:removed the generic encoding/decoding 
stuff, replaced by translation to/from Bencode;
switch now based on strings rather than chars to choose branch;
fix uses a lazy value rather than a function
 2013-09-28 01:31:19 +02:00
Simon Cruanes
ec066c5386 bugfixes in Gen.of_array 2013-09-26 15:29:30 +02:00
Simon Cruanes
939e0b96d0 bugfixes in BV (off by one...) 2013-09-24 17:22:03 +02:00
Simon Cruanes
a16a2b5d2c more recent bitvectors 2013-09-24 17:08:57 +02:00
Simon Cruanes
e7075ca060 imperative bitvector module 2013-09-24 15:06:30 +02:00
Simon Cruanes
6d7472a84c ultimate monadic CLI argument parser!! 2013-09-10 12:36:10 +02:00
Simon Cruanes
3abea459cb more functions in MultiMap 2013-09-10 10:21:42 +02:00
Simon Cruanes
1a6e4fe8ad MultiMap functor 2013-09-10 10:11:37 +02:00
Simon Cruanes
bca08783e1 updated csm 2013-09-01 21:37:31 +02:00
Simon Cruanes
53b08fa542 header file for license 2013-09-01 21:20:36 +02:00
Simon Cruanes
456a46bc93 composable state machines 2013-09-01 19:38:35 +02:00
Simon Cruanes
b0f70fbd4e more paranoid decoder, with bugfix 2013-08-29 23:23:41 +02:00
Simon Cruanes
197f7eb786 more functions in B-encode, to compute the size of an 
expression in bytes, and write it into an already-existing string
 2013-08-29 14:30:42 +02:00
Simon Cruanes
7e82adf973 more doc 2013-08-29 14:11:04 +02:00
Simon Cruanes
37be810bbf updated version of Sequence 2013-08-28 15:03:05 +02:00
Simon Cruanes
2c3af875b9 new container, AbsSet, that presents an abstract view of sets 
and relational operators
 2013-08-20 23:33:14 +02:00
Simon Cruanes
32a59b7982 added filter to leftistheap 2013-08-20 12:15:35 +02:00
Simon Cruanes
1d39fd1d5b update of readme and build files 2013-08-20 11:31:30 +02:00
Simon Cruanes
1d476e3000 imperative UnionFind structure 2013-08-20 11:30:08 +02:00
Simon Cruanes
a9462cf06b small set implementation, relying on a sorted list 2013-08-20 11:10:31 +02:00
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