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] / Remakefile.in
2016-10-12 Kim Nguyễn* Seal the representation of states commit | commitdiff
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being. commit | commitdiff
2014-03-17 Kim NguyễnCherry pick use of menhir features from branch feature... commit | commitdiff
2014-03-03 Kim NguyễnFurther simplify Remakefile. Remove some inefficiency... commit | commitdiff
2014-03-03 Kim NguyễnRemove passing $NATIVE on the remake command line of... commit | commitdiff
2014-03-03 Kim NguyễnModify configure.in and Remakefile.in to use menhir... commit | commitdiff
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files... commit | commitdiff
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom... 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ễnAdd a target to run tests with the bytecode version... commit | commitdiff
2013-11-28 Kim NguyễnUpdate to master version of remake. commit | commitdiff
2013-08-18 Kim NguyễnAdd the .mly and .mll files as dependencies of the... 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ễnAdd a Makefile to drive the build process. commit | commitdiff
2013-07-24 Kim NguyễnFactorise common bits of Remakefile in tools/ocamldriver.sh 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
2013-07-24 Kim NguyễnAdd tests for parallel query evaluation. commit | commitdiff
2013-07-23 Kim NguyễnChange command line options: commit | commitdiff
2013-07-10 Kim NguyễnMigrate to new remake. commit | commitdiff
2013-04-25 Kim NguyễnAdd a bitmap to keep track of whether a subtree needs... commit | commitdiff
2013-04-23 Kim NguyễnLast tweaking of the Remakefile for automated testing. commit | commitdiff
2013-04-22 Kim NguyễnTune the Remakefile to re-run tests when the binary... commit | commitdiff
2013-04-22 Kim NguyễnUse the Remakefile to perform non-regression tests. commit | commitdiff
2013-04-18 Kim NguyễnFix the Remakefile and testing script. commit | commitdiff
2013-04-18 Kim NguyễnFix the Remakefile and testing script. commit | commitdiff
2013-04-18 Kim NguyễnRe-organize the Remakefile. commit | commitdiff
2013-04-17 Kim NguyễnMake the main target more generic, to allow compilation of commit | commitdiff
2013-04-17 Kim NguyễnAdd a distclean target that removes every file generate... commit | commitdiff
2013-04-17 Kim NguyễnAdd the remake and configure infrastructure. commit | commitdiff
Tree Automata TOOlkit