projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b653ed) | patch
Add a 'trace' mode (must be enabled at build time) that saves the
authorKim Nguyễn <kn@lri.fr>
Thu, 14 Mar 2013 20:29:39 +0000 (21:29 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 14 Mar 2013 20:49:57 +0000 (21:49 +0100)
commitce09a30489dce8ac9e389c8c1525a34d1e02354e
tree23aac22892565ba471f5f3dc0d6cdbef3c11b7d0tree | snapshot
parent3b653edd20248b66a005637c2b1e217042cef62bcommit | diff
Add a 'trace' mode (must be enabled at build time) that saves the
tree and all information to a browsable svg.
.gitignore diff | blob | history
build diff | blob | history
myocamlbuild.ml diff | blob | history
src/auto.mlpack diff | blob | history
src/auto/ata.ml diff | blob | history
src/auto/eval.ml diff | blob | history
src/auto/html.ml [new file with mode: 0644] blob
src/auto/html.mli [new file with mode: 0644] blob
tests/trace/trace.css [new file with mode: 0644] blob
tools/add_onclick.sh [new file with mode: 0755] blob
Tree Automata TOOlkit