git.nguyen.vg Git - tatoo.git/summary

projects / tatoo.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	Tree Automata TOOlkit
last change	Mon, 17 Apr 2017 12:19:07 +0000 (14:19 +0200)
URL	http://git.nguyen.vg/~git/repository/tatoo.git
	ssh://git@git.nguyen.vg/tatoo.git

2017-04-17	Kim Nguyễn	Add a new option to choose tree model at runtime. master	commit \| commitdiff \| tree \| snapshot
2017-04-17	Kim Nguyễn	Pass correct flag to ocamlopt to take care of PIE systems.	commit \| commitdiff \| tree \| snapshot
2017-04-17	Kim Nguyễn	Add Saxon test results.	commit \| commitdiff \| tree \| snapshot
2017-04-12	Kim Nguyễn	Add Saxon benchmark.	commit \| commitdiff \| tree \| snapshot
2017-04-12	Kim Nguyễn	Add Saxon evaluator.	commit \| commitdiff \| tree \| snapshot
2017-04-12	Kim Nguyễn	Add a compact tree model.	commit \| commitdiff \| tree \| snapshot
2017-04-12	Kim Nguyễn	Add a generic deque module.	commit \| commitdiff \| tree \| snapshot
2017-04-03	Kim Nguyễn	Implement automaton simplification.	commit \| commitdiff \| tree \| snapshot
2016-10-12	Kim Nguyễn	Simplify the automaton encoding a bit (remove redundant...	commit \| commitdiff \| tree \| snapshot
2016-10-12	Kim Nguyễn	Refactor pretty printing of transitions and fix some...	commit \| commitdiff \| tree \| snapshot
2016-10-12	Kim Nguyễn	add .merlin file.	commit \| commitdiff \| tree \| snapshot
2016-10-12	Kim Nguyễn	* Seal the representation of states	commit \| commitdiff \| tree \| snapshot
2014-04-29	Kim Nguyễn	Revert the integration of menhir for the time being.	commit \| commitdiff \| tree \| snapshot
2014-03-17	Kim Nguyễn	Cherry pick use of menhir features from branch feature...	commit \| commitdiff \| tree \| snapshot
2014-03-03	Kim Nguyễn	Further simplify Remakefile. Remove some inefficiency...	commit \| commitdiff \| tree \| snapshot
2014-03-03	Kim Nguyễn	Remove passing $NATIVE on the remake command line of...	commit \| commitdiff \| tree \| snapshot
...

10 years ago	v0.1	Version 0.1 : navigational XPath.	tag	\| commit \| shortlog \| log
11 years ago	Core+FS+Self_tested			\| commit \| shortlog \| log
11 years ago	Core+Extentions+Optim-hconsed_V1			\| commit \| shortlog \| log
11 years ago	Core+FS_tested	Core + following sibling is working...	tag	\| commit \| shortlog \| log
11 years ago	Core	Working for the specified core...	tag	\| commit \| shortlog \| log

7 years ago	jit	shortlog \| log \| tree
7 years ago	master	shortlog \| log \| tree
8 years ago	ocamlbuild-port	shortlog \| log \| tree
9 years ago	feature/fast-multipass	shortlog \| log \| tree
9 years ago	feature/stage-huibo	shortlog \| log \| tree
10 years ago	feature/java-bridge	shortlog \| log \| tree
10 years ago	feature/multiple-starters	shortlog \| log \| tree
10 years ago	refactor/remake	shortlog \| log \| tree
10 years ago	refactor/sanitize-ata	shortlog \| log \| tree
10 years ago	feature/subtree-skiping	shortlog \| log \| tree
11 years ago	feature/configure-remake	shortlog \| log \| tree
11 years ago	lucca-tests-bench	shortlog \| log \| tree
11 years ago	lucca-optim	shortlog \| log \| tree
11 years ago	lucca-extentions	shortlog \| log \| tree
11 years ago	lucca-master	shortlog \| log \| tree

Tree Automata TOOlkit