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

author	Kim Nguyễn <kn@lri.fr>
	Thu, 4 Apr 2013 16:48:43 +0000 (18:48 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Thu, 4 Apr 2013 16:48:43 +0000 (18:48 +0200)
commit	b00bff88c7902e828804c06b7f9dc55222fdc84e
tree	fe80904b5c10bf17550f9a9fd423e22fa1d48c7a	tree \| snapshot
parent	03b6a364e7240ca827585e7baff225a0aaa33bc6	commit \| diff

Flatten the sources, only leave the XPath module packed.

87 files changed:

_tags		diff \| blob \| history
src/ata.ml	[new file with mode: 0644]	blob
src/ata.mli	[new file with mode: 0644]	blob
src/auto.mlpack	[deleted file]	blob \| history
src/auto/ata.ml	[deleted file]	blob \| history
src/auto/ata.mli	[deleted file]	blob \| history
src/auto/eval.ml	[deleted file]	blob \| history
src/auto/formula.ml	[deleted file]	blob \| history
src/auto/formula.mli	[deleted file]	blob \| history
src/auto/html.ml	[deleted file]	blob \| history
src/auto/html.mli	[deleted file]	blob \| history
src/auto/state.ml	[deleted file]	blob \| history
src/auto/state.mli	[deleted file]	blob \| history
src/auto/stateSet.ml	[deleted file]	blob \| history
src/auto/stateSet.mli	[deleted file]	blob \| history
src/cache.ml	[new file with mode: 0644]	blob
src/cache.mli	[new file with mode: 0644]	blob
src/common_sig.ml	[new file with mode: 0644]	blob
src/eval.ml	[new file with mode: 0644]	blob
src/finiteCofinite.ml	[new file with mode: 0644]	blob
src/finiteCofinite.mli	[new file with mode: 0644]	blob
src/finiteCofinite_sig.ml	[new file with mode: 0644]	blob
src/formula.ml	[new file with mode: 0644]	blob
src/formula.mli	[new file with mode: 0644]	blob
src/hcons.ml	[new file with mode: 0644]	blob
src/hcons.mli	[new file with mode: 0644]	blob
src/hcons_sig.ml	[new file with mode: 0644]	blob
src/hlist.ml	[new file with mode: 0644]	blob
src/hlist.mli	[new file with mode: 0644]	blob
src/hlist_sig.ml	[new file with mode: 0644]	blob
src/html.ml	[new file with mode: 0644]	blob
src/html.mli	[new file with mode: 0644]	blob
src/misc.ml	[new file with mode: 0644]	blob
src/naive_tree.ml	[new file with mode: 0644]	blob
src/naive_tree.mli	[new file with mode: 0644]	blob
src/pretty.ml	[new file with mode: 0644]	blob
src/pretty.mli	[new file with mode: 0644]	blob
src/ptset.ml	[new file with mode: 0644]	blob
src/ptset.mli	[new file with mode: 0644]	blob
src/ptset_sig.ml	[new file with mode: 0644]	blob
src/qName.ml	[new file with mode: 0644]	blob
src/qName.mli	[new file with mode: 0644]	blob
src/qNameSet.ml	[new file with mode: 0644]	blob
src/qNameSet.mli	[new file with mode: 0644]	blob
src/state.ml	[new file with mode: 0644]	blob
src/state.mli	[new file with mode: 0644]	blob
src/stateSet.ml	[new file with mode: 0644]	blob
src/stateSet.mli	[new file with mode: 0644]	blob
src/tatoo.ml		diff \| blob \| history
src/tree.ml	[new file with mode: 0644]	blob
src/tree.mlpack	[deleted file]	blob \| history
src/tree/common.ml	[deleted file]	blob \| history
src/tree/naive.ml	[deleted file]	blob \| history
src/tree/naive.mli	[deleted file]	blob \| history
src/tree/sig.ml	[deleted file]	blob \| history
src/uid.ml	[new file with mode: 0644]	blob
src/uid.mli	[new file with mode: 0644]	blob
src/utils.mlpack	[deleted file]	blob \| history
src/utils/cache.ml	[deleted file]	blob \| history
src/utils/cache.mli	[deleted file]	blob \| history
src/utils/common_sig.ml	[deleted file]	blob \| history
src/utils/finiteCofinite.ml	[deleted file]	blob \| history
src/utils/finiteCofinite.mli	[deleted file]	blob \| history
src/utils/finiteCofinite_sig.ml	[deleted file]	blob \| history
src/utils/hcons.ml	[deleted file]	blob \| history
src/utils/hcons.mli	[deleted file]	blob \| history
src/utils/hcons_sig.ml	[deleted file]	blob \| history
src/utils/hlist.ml	[deleted file]	blob \| history
src/utils/hlist.mli	[deleted file]	blob \| history
src/utils/hlist_sig.ml	[deleted file]	blob \| history
src/utils/misc.ml	[deleted file]	blob \| history
src/utils/pretty.ml	[deleted file]	blob \| history
src/utils/pretty.mli	[deleted file]	blob \| history
src/utils/ptset.ml	[deleted file]	blob \| history
src/utils/ptset.mli	[deleted file]	blob \| history
src/utils/ptset_sig.ml	[deleted file]	blob \| history
src/utils/qName.ml	[deleted file]	blob \| history
src/utils/qName.mli	[deleted file]	blob \| history
src/utils/qNameSet.ml	[deleted file]	blob \| history
src/utils/qNameSet.mli	[deleted file]	blob \| history
src/utils/uid.ml	[deleted file]	blob \| history
src/utils/uid.mli	[deleted file]	blob \| history
src/xpath/ast.ml		diff \| blob \| history
src/xpath/ast.mli		diff \| blob \| history
src/xpath/compile.ml		diff \| blob \| history
src/xpath/compile.mli		diff \| blob \| history
src/xpath/xpath_internal_parser.mly		diff \| blob \| history

Tree Automata TOOlkit

RSS Atom