Merge branch 'lucca-tests-bench' into lucca-optim Core+Extentions+Optim-hconsed_V1
-rw-r--r-- 100 .gitignore
-rw-r--r-- 850 COPYING
-rw-r--r-- 70 HACKING
-rw-r--r-- 8654 LICENSE
-rwxr-xr-x 149 beau
-rwxr-xr-x 228 bench_test
-rwxr-xr-x 278 benchmark
-rwxr-xr-x 78 correct_test
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 5781 log_benchmark
-rw-r--r-- 1821 log_benchmark.txt
-rw-r--r-- 5062 myocamlbuild.ml
-rw-r--r-- 444 myocamlbuild_config.ml
-rwxr-xr-x 93 one_benchmark
-rwxr-xr-x 804 run_tests
drwxr-xr-x - src
drwxr-xr-x - tests