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

author	Kim Nguyễn <kn@lri.fr>
	Thu, 7 Feb 2013 09:36:30 +0000 (10:36 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Thu, 7 Feb 2013 09:37:23 +0000 (10:37 +0100)
commit	30bc0bb1291426e5e26eb2dee1ffc41e4c246349
tree	a477db80ccb2c6b4f6579c28fb5a085df1104d55	tree \| snapshot
parent	d9c0e4863807eaf472e875a4bad35cfefe985c95	commit \| diff

Refactor module organisation and build process.

71 files changed:

Makefile		diff \| blob \| history
_tags		diff \| blob \| history
myocamlbuild.ml		diff \| blob \| history
myocamlbuild_config.ml	[deleted file]	blob \| history
scripts/gen_mlpack.sh	[new file with mode: 0755]	blob
src/XPath/ast.ml	[deleted file]	blob \| history
src/XPath/ast.mli	[deleted file]	blob \| history
src/XPath/parser.ml	[deleted file]	blob \| history
src/XPath/ulexer.ml	[deleted file]	blob \| history
src/XPath/xpath_internal_parser.mly	[deleted file]	blob \| history
src/ata.ml	[deleted file]	blob \| history
src/auto.mlpack	[new file with mode: 0644]	blob
src/auto/ata.ml	[new file with mode: 0644]	blob
src/auto/formula.ml	[new file with mode: 0644]	blob
src/auto/formula.mli	[new file with mode: 0644]	blob
src/auto/state.ml	[new file with mode: 0644]	blob
src/auto/state.mli	[new file with mode: 0644]	blob
src/auto/stateSet.ml	[new file with mode: 0644]	blob
src/auto/stateSet.mli	[new file with mode: 0644]	blob
src/finiteCofinite.ml	[deleted file]	blob \| history
src/finiteCofinite.mli	[deleted file]	blob \| history
src/formula.ml	[deleted file]	blob \| history
src/formula.mli	[deleted file]	blob \| history
src/hcons.ml	[deleted file]	blob \| history
src/hcons.mli	[deleted file]	blob \| history
src/pretty.ml	[deleted file]	blob \| history
src/pretty.mli	[deleted file]	blob \| history
src/ptset.ml	[deleted file]	blob \| history
src/ptset.mli	[deleted file]	blob \| history
src/qName.ml	[deleted file]	blob \| history
src/qName.mli	[deleted file]	blob \| history
src/qNameSet.ml	[deleted file]	blob \| history
src/qNameSet.mli	[deleted file]	blob \| history
src/sigs.ml	[deleted file]	blob \| history
src/state.ml	[deleted file]	blob \| history
src/state.mli	[deleted file]	blob \| history
src/stateSet.ml	[deleted file]	blob \| history
src/stateSet.mli	[deleted file]	blob \| history
src/test.ml		diff \| blob \| history
src/tree.ml	[deleted file]	blob \| history
src/tree.mli	[deleted file]	blob \| history
src/tree.mlpack	[new file with mode: 0644]	blob
src/tree/naive.ml	[new file with mode: 0644]	blob
src/tree/naive.mli	[new file with mode: 0644]	blob
src/uid.ml	[deleted file]	blob \| history
src/uid.mli	[deleted file]	blob \| history
src/utils.ml	[deleted file]	blob \| history
src/utils.mlpack	[new file with mode: 0644]	blob
src/utils/finiteCofinite.ml	[new file with mode: 0644]	blob
src/utils/finiteCofinite.mli	[new file with mode: 0644]	blob
src/utils/hcons.ml	[new file with mode: 0644]	blob
src/utils/hcons.mli	[new file with mode: 0644]	blob
src/utils/misc.ml	[new file with mode: 0644]	blob
src/utils/pretty.ml	[new file with mode: 0644]	blob
src/utils/pretty.mli	[new file with mode: 0644]	blob
src/utils/ptset.ml	[new file with mode: 0644]	blob
src/utils/ptset.mli	[new file with mode: 0644]	blob
src/utils/qName.ml	[new file with mode: 0644]	blob
src/utils/qName.mli	[new file with mode: 0644]	blob
src/utils/qNameSet.ml	[new file with mode: 0644]	blob
src/utils/qNameSet.mli	[new file with mode: 0644]	blob
src/utils/sigs.ml	[new file with mode: 0644]	blob
src/utils/uid.ml	[new file with mode: 0644]	blob
src/utils/uid.mli	[new file with mode: 0644]	blob
src/xPath.mlpack	[deleted file]	blob \| history
src/xpath.mlpack	[new file with mode: 0644]	blob
src/xpath/ast.ml	[new file with mode: 0644]	blob
src/xpath/ast.mli	[new file with mode: 0644]	blob
src/xpath/parser.ml	[new file with mode: 0644]	blob
src/xpath/ulexer.ml	[new file with mode: 0644]	blob
src/xpath/xpath_internal_parser.mly	[new file with mode: 0644]	blob

Tree Automata TOOlkit

RSS Atom