projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update to remake version 0.11 (support for .PHONY targets).
[tatoo.git] / Remakefile.in
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files... blob | commitdiff | raw
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom... blob | commitdiff | raw | diff to current
2013-11-30 Kim NguyễnFix a bug in the build script that was causing some... blob | commitdiff | raw | diff to current
2013-11-28 Kim NguyễnAdd a target to run tests with the bytecode version... blob | commitdiff | raw | diff to current
2013-11-28 Kim NguyễnUpdate to master version of remake. blob | commitdiff | raw | diff to current
2013-08-18 Kim NguyễnAdd the .mly and .mll files as dependencies of the... blob | commitdiff | raw | diff to current
2013-07-25 Kim NguyễnFactor Remakefie and add more tests for parallel query... feature/multiple-starters blob | commitdiff | raw | diff to current
2013-07-24 Kim NguyễnAdd a Makefile to drive the build process. blob | commitdiff | raw | diff to current
2013-07-24 Kim NguyễnFactorise common bits of Remakefile in tools/ocamldriver.sh blob | commitdiff | raw | diff to current
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