Create branch trace-refactor
-rw-r--r-- 108 .gitignore
-rw-r--r-- 1689 INSTALL
-rw-r--r-- 7639 LICENSE
-rwxr-xr-x 2072 build
-rwxr-xr-x 1339 configure
drwxr-xr-x - include
-rw-r--r-- 4894 myocamlbuild.ml
-rw-r--r-- 357 myocamlbuild_config.ml.in
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - utils