projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a089738) | patch
Implement the bridge to call Tatoo from java. Very slow at the moment.
authorKim Nguyễn <kn@lri.fr>
Tue, 10 Dec 2013 19:28:06 +0000 (20:28 +0100)
committerKim Nguyễn <kn@lri.fr>
Tue, 17 Dec 2013 10:12:55 +0000 (11:12 +0100)
commit33cc91c072d0c3ee3f17911f6484a24f55a3408b
tree1c1e90e5c4fcdef8b4b8a02b74d88e08b2711f5etree | snapshot
parenta089738aa464521c0ae79944eb00fc147cc37ac9commit | diff
Implement the bridge to call Tatoo from java. Very slow at the moment.
19 files changed:
.gitignore diff | blob | history
src/bindings/java/HACKING [new file with mode: 0644] blob
src/bindings/java/Makefile [new file with mode: 0644] blob
src/bindings/java/TatooEngine.cc [new file with mode: 0644] blob
src/bindings/java/TatooTest.java [new file with mode: 0644] blob
src/bindings/java/fxslt/memory/MutableNodeList.java [new file with mode: 0644] blob
src/bindings/java/fxslt/memory/TatooEngine.java [new file with mode: 0644] blob
src/bindings/java/fxslt_memory_TatooEngine.h [new file with mode: 0644] blob
src/bindings/java/fxslt_memory_TatooEngine_Automaton.h [new file with mode: 0644] blob
src/bindings/java/fxslt_memory_TatooEngine_CustomBlock.h [new file with mode: 0644] blob
src/bindings/java/fxslt_memory_TatooEngine_Tree.h [new file with mode: 0644] blob
src/bindings/java/tatoo.h [new file with mode: 0644] blob
src/bindings/java/tatoo_driver.ml [new file with mode: 0644] blob
src/naive_node_list.ml [new file with mode: 0644] blob
src/naive_node_list.mli [new file with mode: 0644] blob
src/node_list.ml [new file with mode: 0644] blob
src/run.ml diff | blob | history
src/run.mli diff | blob | history
src/tatoo.ml diff | blob | history
Tree Automata TOOlkit