projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add .merlin file.
[tatoo.git] / tools /
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being. tree | commitdiff
2014-03-03 Kim NguyễnFurther simplify Remakefile. Remove some inefficiency... tree | commitdiff
2014-03-03 Kim NguyễnRemove passing $NATIVE on the remake command line of... tree | commitdiff
2014-01-07 Kim NguyễnFix a bug in ocaml build script (echo -n is not support... tree | commitdiff
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files... tree | commitdiff
2013-11-30 Kim NguyễnFix a bug in the build script that was causing some... tree | commitdiff
2013-11-28 Kim NguyễnUpdate to master version of remake. tree | commitdiff
2013-08-15 Kim NguyễnRewrite the HTML debugging output to generate an svg... tree | commitdiff
2013-07-25 Kim NguyễnFactor Remakefie and add more tests for parallel query... feature/multiple-starters tree | commitdiff
2013-07-24 Kim NguyễnFix invalid variable substitution in buildscript. tree | commitdiff
2013-07-24 Kim NguyễnUpdate the output of the reference implementation to... refactor/remake tree | commitdiff
2013-07-24 Kim NguyễnRemove un-needed scripts tree | commitdiff
2013-07-24 Kim NguyễnFactorise common bits of Remakefile in tools/ocamldriver.sh tree | commitdiff
2013-07-24 Kim NguyễnRefactor the build process. Piggyback on remake's depen... tree | commitdiff
2013-07-24 Kim NguyễnAdd more tests (broken, needs a refactoring of the... tree | commitdiff
2013-04-23 Kim NguyễnMake the html trace tools use colors to represent the... tree | commitdiff
2013-04-22 Kim NguyễnUse the Remakefile to perform non-regression tests. tree | commitdiff
2013-04-18 Kim NguyễnFix the Remakefile and testing script. tree | commitdiff
2013-04-18 Kim NguyễnFix the Remakefile and testing script. tree | commitdiff
2013-04-17 Kim NguyễnAdd the remake and configure infrastructure. tree | commitdiff
2013-04-04 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo tree | commitdiff
2013-03-15 Kim NguyễnRework the test script. tree | commitdiff
2013-03-15 Kim NguyễnModify the testing scripts. tree | commitdiff
2013-03-14 Kim NguyễnAdd a 'trace' mode (must be enabled at build time)... tree | commitdiff
2013-03-14 Kim NguyễnRework the testing script. tree | commitdiff
2013-03-13 Kim NguyễnMake the program report query execution time and query... tree | commitdiff
2013-03-13 Kim NguyễnRework the java test program to print out attribute... tree | commitdiff
2013-03-10 Kim NguyễnMake the test script less verbose tree | commitdiff
2013-03-10 Kim NguyễnMain program output incorrect xml tags tree | commitdiff
2013-03-10 Kim NguyễnSilence an 'unused variable' warning. tree | commitdiff
2013-03-10 Kim NguyễnAdd a missing ';' and remove some dead code and outdate... tree | commitdiff
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite' tree | commitdiff
2013-03-10 Kim NguyễnFix the xml_diff program to also check trailing events... tree | commitdiff
2013-03-10 Kim NguyễnAdds a set of testing script: tree | commitdiff
Tree Automata TOOlkit