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

projects / tatoo.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: d1f3da0) | patch

author	Kim Nguyễn <kn@lri.fr>
	Mon, 22 Apr 2013 12:48:11 +0000 (14:48 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Mon, 22 Apr 2013 12:48:11 +0000 (14:48 +0200)
commit	e8132686a926c6be4599c7c2496d8e6a5b42a243
tree	7cf5c9e536f0c4be96925da4c3f952dfc9eb325d	tree \| snapshot
parent	d1f3da0c53bda042ec95e1e377ced671296df35c	commit \| diff

Store a summary of the node (kind, topology) in the Ata.Config.t type.

src/ata.ml		diff \| blob \| history
src/ata.mli		diff \| blob \| history
src/eval.ml		diff \| blob \| history

Tree Automata TOOlkit