| .. |
|
benchs.ml
|
added arrays to benchs;
|
2013-04-05 17:19:47 +02:00 |
|
helpers.ml
|
test file for Graph
|
2013-03-05 11:25:08 +01:00 |
|
run_tests.ml
|
Bij module, a try at the serialization problem using GADT
|
2013-05-14 18:32:23 +02:00 |
|
test_bij.ml
|
Bij.{guard,fix} helpers
|
2013-05-15 15:11:54 +02:00 |
|
test_cc.ml
|
added CC (congruence closure with curryfied terms);
|
2013-04-17 15:43:19 +02:00 |
|
test_deque.ml
|
rewrote Deque to be safe (no Obj anymore);
|
2013-03-14 14:14:13 +01:00 |
|
test_fHashtbl.ml
|
added a is_empty function for FHashtbl;
|
2013-03-10 15:04:38 +01:00 |
|
test_flatHashtbl.ml
|
some tests for functional hashtables
|
2013-03-07 12:41:45 +01:00 |
|
test_fQueue.ml
|
added a functional Queue implementation
|
2013-03-09 20:35:45 +01:00 |
|
test_future.ml
|
added a test for Future.Timer
|
2013-03-24 20:27:27 +01:00 |
|
test_gen.ml
|
renamed Enum into Gen (for "generator"), and updated code and test to reflect so
|
2013-03-21 17:25:02 +01:00 |
|
test_graph.ml
|
more graph tests
|
2013-03-05 11:39:34 +01:00 |
|
test_heap.ml
|
copied code of SplayTree into Heap, to reduce dependencies
|
2013-03-20 15:49:52 +01:00 |
|
test_leftistheap.ml
|
minor update of Leftistheap
|
2013-04-24 00:31:47 +02:00 |
|
test_PersistentHashtbl.ml
|
added PersistentHashtbl, adapted from persistent arrays of J-C Filliatre
|
2013-03-26 17:23:19 +01:00 |
|
test_pHashtbl.ml
|
small test change
|
2013-03-05 09:55:38 +01:00 |
|
test_puf.ml
|
added CC (congruence closure with curryfied terms);
|
2013-04-17 15:43:19 +02:00 |
|
test_splayMap.ml
|
functional SplayTree as Maps
|
2013-04-24 00:32:04 +02:00 |
|
test_univ.ml
|
cleanrer interface for Univ
|
2013-03-14 14:43:08 +01:00 |
|
test_vector.ml
|
renamed tests/tests.ml into tests/run_tests.ml;
|
2013-03-17 18:36:51 +01:00 |
