projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Factorise common bits of Remakefile in tools/ocamldriver.sh
[tatoo.git] / Remakefile.in
2013-07-24 Kim NguyễnFactorise common bits of Remakefile in tools/ocamldriver.sh blob | commitdiff | raw
2013-07-24 Kim NguyễnRefactor the build process. Piggyback on remake's depen... blob | commitdiff | raw | diff to current
2013-07-24 Kim NguyễnAdd more tests (broken, needs a refactoring of the... blob | commitdiff | raw | diff to current
2013-07-24 Kim NguyễnAdd tests for parallel query evaluation. blob | commitdiff | raw | diff to current
2013-07-23 Kim NguyễnChange command line options: blob | commitdiff | raw | diff to current
2013-07-10 Kim NguyễnMigrate to new remake. blob | commitdiff | raw | diff to current
2013-04-25 Kim NguyễnAdd a bitmap to keep track of whether a subtree needs... blob | commitdiff | raw | diff to current
2013-04-23 Kim NguyễnLast tweaking of the Remakefile for automated testing. blob | commitdiff | raw | diff to current
2013-04-22 Kim NguyễnTune the Remakefile to re-run tests when the binary... blob | commitdiff | raw | diff to current
2013-04-22 Kim NguyễnUse the Remakefile to perform non-regression tests. blob | commitdiff | raw | diff to current
2013-04-18 Kim NguyễnFix the Remakefile and testing script. blob | commitdiff | raw | diff to current
2013-04-18 Kim NguyễnFix the Remakefile and testing script. blob | commitdiff | raw | diff to current
2013-04-18 Kim NguyễnRe-organize the Remakefile. blob | commitdiff | raw | diff to current
2013-04-17 Kim NguyễnMake the main target more generic, to allow compilation of blob | commitdiff | raw | diff to current
2013-04-17 Kim NguyễnAdd a distclean target that removes every file generate... blob | commitdiff | raw | diff to current
2013-04-17 Kim NguyễnAdd the remake and configure infrastructure. blob | commitdiff | raw | diff to current
Tree Automata TOOlkit