projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45ca692) | patch
Refine the run to have a different set of states to satisfy while going td/bu.
authorKim Nguyễn <kn@lri.fr>
Sat, 30 Nov 2013 18:27:49 +0000 (19:27 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 30 Nov 2013 18:27:49 +0000 (19:27 +0100)
commit5f1d396f4a04c9a0c6bb3da4176fd47a4473d35d
tree4dc0a19c834b36e99019026bbcd05bca419b4a5atree | snapshot
parent45ca692d34ec370b542564a1ca195b205b1a3c6fcommit | diff
Refine the run to have a different set of states to satisfy while going td/bu.
src/ata.ml diff | blob | history
src/run.ml diff | blob | history
Tree Automata TOOlkit