projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add a new option to choose tree model at runtime.
[tatoo.git] / tools / ocamlmoduledep.sh
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being. commit | commitdiff
2014-03-03 Kim NguyễnFurther simplify Remakefile. Remove some inefficiency... commit | commitdiff
2014-01-07 Kim NguyễnFix a bug in ocaml build script (echo -n is not support... commit | commitdiff
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files... commit | commitdiff
2013-11-30 Kim NguyễnFix a bug in the build script that was causing some... commit | commitdiff
2013-07-25 Kim NguyễnFactor Remakefie and add more tests for parallel query... feature/multiple-starters commit | commitdiff
2013-07-24 Kim NguyễnRefactor the build process. Piggyback on remake's depen... commit | commitdiff
2013-07-24 Kim NguyễnAdd more tests (broken, needs a refactoring of the... commit | commitdiff
Tree Automata TOOlkit