descriptionTree Automata TOOlkit
last changeMon, 17 Apr 2017 12:19:07 +0000 (14:19 +0200)
2017-04-17 Kim NguyễnAdd a new option to choose tree model at runtime. master
2017-04-17 Kim NguyễnPass correct flag to ocamlopt to take care of PIE systems.
2017-04-17 Kim NguyễnAdd Saxon test results.
2017-04-12 Kim NguyễnAdd Saxon benchmark.
2017-04-12 Kim NguyễnAdd Saxon evaluator.
2017-04-12 Kim NguyễnAdd a compact tree model.
2017-04-12 Kim NguyễnAdd a generic deque module.
2017-04-03 Kim NguyễnImplement automaton simplification.
2016-10-12 Kim NguyễnSimplify the automaton encoding a bit (remove redundant...
2016-10-12 Kim NguyễnRefactor pretty printing of transitions and fix some...
2016-10-12 Kim Nguyễnadd .merlin file.
2016-10-12 Kim Nguyễn* Seal the representation of states
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being.
2014-03-17 Kim NguyễnCherry pick use of menhir features from branch feature...
2014-03-03 Kim NguyễnFurther simplify Remakefile. Remove some inefficiency...
2014-03-03 Kim NguyễnRemove passing $NATIVE on the remake command line of...
3 years ago v0.1 Version 0.1 : navigational XPath.
4 years ago Core+FS+Self_tested
4 years ago Core+Extentions+Optim-hconsed_V1
4 years ago Core+FS_tested Core + following sibling is working...
4 years ago Core Working for the specified core...
2 months ago jit
2 months ago master
15 months ago ocamlbuild-port
3 years ago feature/fast-multipass
3 years ago feature/stage-huibo
3 years ago feature/java-bridge
3 years ago feature/multiple-starters
3 years ago refactor/remake
3 years ago refactor/sanitize-ata
4 years ago feature/subtree-skiping
4 years ago feature/configure-remake
4 years ago lucca-tests-bench
4 years ago lucca-optim
4 years ago lucca-extentions
4 years ago lucca-master