Full implem of BU_over_Max and TP_max (to be tested) + my.xml from thesis + stuffs...
-rw-r--r-- 76 .gitignore
-rw-r--r-- 850 COPYING
-rw-r--r-- 70 HACKING
-rw-r--r-- 8654 LICENSE
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 5062 myocamlbuild.ml
-rw-r--r-- 444 myocamlbuild_config.ml
-rwxr-xr-x 683 run_tests
drwxr-xr-x - src
drwxr-xr-x - tests