| .. |
|
lwt
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
quick
|
quick tests
|
2014-04-19 01:27:34 +02:00 |
|
threads
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
bench_batch.ml
|
benchmark for CCBatch on list, array, and klist
|
2014-06-11 23:27:37 +02:00 |
|
bench_conv.ml
|
split into package core (no pack, 'CC' prefix, stable)
|
2014-05-16 20:58:28 +02:00 |
|
benchs.ml
|
updated and fixed things in core/:
|
2014-05-17 01:00:00 +02:00 |
|
helpers.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
run_tests.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_bencode.ml
|
some more tests
|
2013-10-29 00:59:34 +01:00 |
|
test_bij.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_bv.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_cc.ml
|
added CC (congruence closure with curryfied terms);
|
2013-04-17 15:43:19 +02:00 |
|
test_deque.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_fHashtbl.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_flatHashtbl.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_fQueue.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_gen.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_graph.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_heap.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_leftistheap.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_levenshtein.ml
|
qchecks for Levenshtein
|
2014-03-05 22:44:41 +01:00 |
|
test_PersistentHashtbl.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_pHashtbl.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_PiCalculus.ml
|
some tests for PiCalculus
|
2013-05-20 21:44:17 +02:00 |
|
test_puf.ml
|
added CC (congruence closure with curryfied terms);
|
2013-04-17 15:43:19 +02:00 |
|
test_splayMap.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
|
test_univ.ml
|
cleanrer interface for Univ
|
2013-03-14 14:43:08 +01:00 |
|
test_vector.ml
|
udpated tests
|
2014-05-22 23:58:36 +02:00 |
