13 commits

Author	SHA1	Message	Date
Simon Cruanes	e7075ca060	imperative bitvector module	2013-09-24 15:06:30 +02:00
Simon Cruanes	b70c94377e	fixed .odocl and minor stuff	2013-06-12 17:36:59 +02:00
Simon Cruanes	7eaf28490e	some tests for Behavior; also a new constructor	2013-05-31 11:56:01 +02:00
Simon Cruanes	79dbf5e843	some tests for PiCalculus	2013-05-20 21:44:17 +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	6c1f7fb950	functional SplayTree as Maps	2013-04-24 00:32:04 +02:00
Simon Cruanes	b6212bea7c	leftistheap	2013-04-23 20:27:33 +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	a82ebf7d59	added PersistentHashtbl, adapted from persistent arrays of J-C Filliatre	2013-03-26 17:23:19 +01:00
Simon Cruanes	2033f07aff	renamed Enum into Gen (for "generator"), and updated code and test to reflect so	2013-03-21 17:25:02 +01:00
Simon Cruanes	170c1031a9	some basic tests for Future	2013-03-20 18:04:04 +01:00
Simon Cruanes	a3182f131b	start testing of Enum	2013-03-18 23:59:52 +01:00
Simon Cruanes	ef08010c6f	renamed tests/tests.ml into tests/run_tests.ml; ... added some tests for Vector; added Sequence functions to Vector	2013-03-17 18:36:51 +01:00

Renamed from tests/tests.ml (Browse further)