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

2939 commits

This branch
This branch
All branches
Author SHA1 Message Date
Simon Cruanes
cf592e2c77 Automaton module, for finite automata 2013-12-30 12:20:28 +01:00
Simon Cruanes
74735a7ad9 moved cgi in a subdir (would not build with oasis 0.4 otherwise) 2013-12-30 12:20:05 +01:00
Simon Cruanes
239f6af59f smallish parser for HGraph 2013-12-01 23:36:23 +01:00
Simon Cruanes
aeaedd049a updated HGraph 2013-12-01 22:49:05 +01:00
Simon Cruanes
396a1779bf merged BV tests in tests/test_bv.ml 2013-11-26 17:41:18 +01:00
Simon Cruanes
79d4129d11 added BV.select/selecti (break api) functions 2013-11-26 15:46:40 +01:00
Simon Cruanes
8e6a648502 HGraph draft, a generalized hypergraph structure. Yay. 2013-11-25 17:48:03 +01:00
Simon Cruanes
c829d1f7fe updated caches to handle exceptions 2013-11-20 12:33:59 +01:00
Simon Cruanes
20ac91f532 small fix in doc of Gen 2013-11-12 15:53:48 +01:00
Simon Cruanes
5ad2b2df83 doc 2013-11-11 23:30:48 +01:00
Simon Cruanes
11611894e9 heavy modification of Gen's API. Now the default 'a Gen.t is a transient, consumable generator 
of 'a, and 'a Gen.Restart.t can be used for restartable generators.
 2013-11-11 23:04:10 +01:00
Simon Cruanes
e36fc5275a use skew heap in Gen 2013-11-11 20:33:17 +01:00
Simon Cruanes
38257ddc50 fair cartesian product for Gen 2013-11-11 20:29:02 +01:00
Simon Cruanes
ac1cd31f0a type declarations for the TTree associative structure 2013-11-08 00:20:29 +01:00
Simon Cruanes
e5e95bb97b in bench, compare Map to hashtables 2013-11-08 00:06:00 +01:00
Simon Cruanes
d7845e55c6 update of persistent hashtable 2013-11-05 15:50:41 +01:00
Simon Cruanes
c2931edb4e some more tests 2013-10-29 00:59:34 +01:00
Simon Cruanes
b202db7049 tests for PersistentHashtbl 2013-10-29 00:32:01 +01:00
Simon Cruanes
82c1ded882 updated QCheck 2013-10-29 00:31:42 +01:00
Simon Cruanes
b9d38ff624 updated tests 2013-10-28 22:27:13 +01:00
Simon Cruanes
61ab1ab2cd updated PersistentHashtbl 2013-10-28 11:20:13 +01:00
Simon Cruanes
f25d3bf7b5 gitignore 2013-10-28 11:04:39 +01:00
Simon Cruanes
dd3320f4e8 update sequence 2013-10-20 22:03:10 +02:00
Simon Cruanes
7765e7599b updated _oasis and .gitignore 2013-10-20 19:54:58 +02:00
Simon Cruanes
25ea9bc8e4 specify a socket file in ToWeb 2013-10-18 23:52:22 +02:00
Simon Cruanes
a860e67443 rewrote the HTTP encoding, and missing functions 2013-10-18 23:29:47 +02:00
Simon Cruanes
7313a258b4 use oasis to build files, splitted into libraries, including 
a Container module that packs everything;
ToWeb module (depends on CamlGI) to expoert values on the web
 2013-10-18 22:27:43 +02:00
Simon Cruanes
9dc91cec65 Show: printing combinators 2013-10-11 22:22:23 +02:00
Simon Cruanes
fe86ffcbb8 Bencode: sequence bencode <-> sequence string; 
BencodeOnDisk: ability to write a list of values in one atomic operation
 2013-10-09 19:01:19 +02:00
Simon Cruanes
204cb0dacb BencodeOnDisk module, to write Bencode values in a file in an 
append-only, concurrent manner
 2013-10-09 18:40:45 +02:00
Simon Cruanes
0465040c7f implemented LazyGraph.from_enum, and added from_list (simple interface); 
LazyGraph.find_cycle can be used on cyclic graphs
 2013-10-07 16:00:22 +02:00
Simon Cruanes
ba49d959be fixed test_bij, definitely 2013-10-06 23:14:11 +02:00
Simon Cruanes
e4bc1277a8 by default, use a constant random seed 
so that qcheck tests are repeatable
 2013-10-05 13:09:31 +02:00
Simon Cruanes
9003d26a60 fixed test_bij 2013-10-05 12:24:55 +02:00
Simon Cruanes
3aae03b3dd QCheck: nicer output (with time and number of failures and unicode); 
also, infix operator for arbitrary ints
 2013-10-04 23:50:53 +02:00
Simon Cruanes
3e46b3193d improvements in QCheck (monadic bind) 2013-10-04 15:19:47 +02:00
Simon Cruanes
3f9a33e1d0 updated doc 2013-10-04 14:50:39 +02:00
Simon Cruanes
4c46f9a697 updated QCheck, adding test/suite types, more Arbitrary, PP and Prop functions 2013-10-04 14:45:48 +02:00
Simon Cruanes
b3c76eb897 bugfix in Sequence.take 2013-10-03 21:53:56 +02:00
Simon Cruanes
0f972ba6a2 reverse collatz graph; also export Heap 2013-10-03 21:53:45 +02:00
Simon Cruanes
d828eca3f6 updated LazyGraph to use Sequence rather than Gen (simpler) 2013-10-03 21:21:34 +02:00
Simon Cruanes
7fa9ddfbcf fixed obsolete comment 2013-10-03 20:41:06 +02:00
Simon Cruanes
5405db1e52 better doc 2013-09-30 22:24:57 +02:00
Simon Cruanes
94f823fa4a documentation for Bij 2013-09-30 09:25:18 +02:00
Simon Cruanes
7e9b0e101b doc for QCheck 2013-09-30 08:59:49 +02:00
Simon Cruanes
77233c3750 doc 2013-09-29 18:38:51 +02:00
Simon Cruanes
a2df859a36 put back helpers in Bij that were removed by mistake 2013-09-29 17:22:07 +02:00
Simon Cruanes
1bbdc943b4 more examples in QCheck; 
changed the interface of QCheck.Arbitrary.fix so that it
can use several instances of itself (build trees)
 2013-09-28 16:22:32 +02:00
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