5 commits

Author	SHA1	Message	Date
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)