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 / ocamldriver.sh
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being. commit | commitdiff
2014-03-03 Kim NguyễnRemove passing $NATIVE on the remake command line of... commit | commitdiff
2013-11-30 Kim NguyễnFix a bug in the build script that was causing some... commit | commitdiff
2013-11-28 Kim NguyễnUpdate to master version of remake. 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ễnFix invalid variable substitution in buildscript. commit | commitdiff
2013-07-24 Kim NguyễnFactorise common bits of Remakefile in tools/ocamldriver.sh commit | commitdiff
Tree Automata TOOlkit