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

Make the html trace tools use colors to represent the round at
which an node was satisfied.

src/ata.ml		diff \| blob \| history
src/ata.mli		diff \| blob \| history
src/eval.ml		diff \| blob \| history
src/html.ml		diff \| blob \| history
src/html.mli		diff \| blob \| history
tests/alphabet.xml.summary		diff \| blob \| history
tests/comments00.xml.summary		diff \| blob \| history
tests/xmark_small.xml.summary		diff \| blob \| history
tools/add_onclick.sh		diff \| blob \| history
tools/do_jaxp.sh		diff \| blob \| history

Tree Automata TOOlkit