Simon Cruanes
|
a523c63c7f
|
added a conversion example: Json (with yojson type)
|
2014-02-27 00:45:23 +01:00 |
|
Simon Cruanes
|
898d2c0492
|
added basic variants (unit,bool,float);
better support for sums with several arguments
|
2014-02-27 00:34:26 +01:00 |
|
Simon Cruanes
|
016a557a37
|
big update of Conv, with universal sources and sinks
and GADTs for describing other sources and sinks
|
2014-02-27 00:02:31 +01:00 |
|
Simon Cruanes
|
57bb863f78
|
updated oasis to 4.xxx
|
2014-02-26 12:10:17 +01:00 |
|
Simon Cruanes
|
6459258942
|
Conv module, for flexible conversion between types (to be used for serialization?)
|
2014-02-26 12:09:37 +01:00 |
|
Simon Cruanes
|
391ddfc8cc
|
disable doc for lwt
|
2014-02-10 16:04:05 +01:00 |
|
Simon Cruanes
|
11259c9297
|
cli options for benchs
|
2014-02-01 15:33:28 +01:00 |
|
Simon Cruanes
|
a3b4e28295
|
richer api for Gen
|
2014-02-01 15:26:07 +01:00 |
|
Simon Cruanes
|
2936595dbb
|
bugfix in Gen; make API change explicit for Gen.merge
|
2014-01-30 01:49:01 +01:00 |
|
Simon Cruanes
|
48ef226efd
|
use a new interface, unit -> 'a option, for Gen.
|
2014-01-30 01:41:51 +01:00 |
|
Simon Cruanes
|
660b75e0b4
|
more functions in Lwt_automaton (automaton that reads/writes on a Unix FD)
|
2013-12-30 18:00:05 +01:00 |
|
Simon Cruanes
|
53d7c7cfb8
|
expose more functions in Automaton
|
2013-12-30 17:59:39 +01:00 |
|
Simon Cruanes
|
79e40e03a8
|
Lwt_automaton, for an interface with Lwt
|
2013-12-30 16:24:18 +01:00 |
|
Simon Cruanes
|
be58673ba1
|
Automaton now with separate data types for their input and outputs
|
2013-12-30 16:18:07 +01:00 |
|
Simon Cruanes
|
e3d5b78c5e
|
more combinators for Automaton, changed some signatures
|
2013-12-30 13:52:44 +01:00 |
|
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 |
|