projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0cf8def) | patch
Usable version:
authorKim Nguyễn <kn@lri.fr>
Thu, 28 Jun 2012 12:46:11 +0000 (14:46 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 28 Jun 2012 12:46:11 +0000 (14:46 +0200)
commitcba2938d929fd5119b1491686ddc224d5af618c6
tree2a5199ec24fc44209deac8093d295d43f8d98bbftree | snapshot
parent0cf8def92c8c6e708ec333b13dbe46decf554d81commit | diff
Usable version:
       - use ocamlbuild
       - cherry pick Pretty, State, StateSet and Formula from SXSI
       - Parsing of XML documents
40 files changed:
HACKING [new file with mode: 0644] blob
Makefile.am [deleted file] blob | history
autogen.sh [deleted file] blob | history
configure.ac [deleted file] blob | history
include/utils.ml [new file with mode: 0644] blob
include/utils32.ml [new file with mode: 0644] blob
include/utils64.ml [new file with mode: 0644] blob
m4/ocaml.m4 [deleted file] blob | history
myocamlbuild.ml [new file with mode: 0644] blob
myocamlbuild_config.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/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/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/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/sigs.ml [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/test.ml [new file with mode: 0644] blob
src/tree.ml [new file with mode: 0644] blob
src/tree.mli [new file with mode: 0644] blob
src/uid.ml [new file with mode: 0644] blob
src/uid.mli [new file with mode: 0644] blob
src/ulexer.ml [new file with mode: 0644] blob
src/ulexer.mli [new file with mode: 0644] blob
src/utils.ml [new file with mode: 0644] blob
src/xPath.ml [new file with mode: 0644] blob
src/xPath.mli [new file with mode: 0644] blob
tests/docs/tiny.xml [new file with mode: 0644] blob
Tree Automata TOOlkit