projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05af956) | patch
Implement a new automaton run (non optimized) with cleaner semantics w.r.t. ranked...
authorKim Nguyễn <kn@lri.fr>
Wed, 14 May 2014 23:08:04 +0000 (01:08 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 May 2014 23:08:04 +0000 (01:08 +0200)
commit3b9dbcd9318dba41999dc6cc43093edbe5bc4c5d
treed91e0d4b3b60d0f3393ffe6531ba0957cce5e07ftree | snapshot
parent05af95627d36110724ec6a2a6439c4842a228d19commit | diff
Implement a new automaton run (non optimized) with cleaner semantics w.r.t. ranked states.
Paves the way for a "real" bottom-up run.
src/ata.ml diff | blob | history
src/ata.mli diff | blob | history
src/naive_node_list.ml [deleted file] blob | history
src/naive_node_list.mli [deleted file] blob | history
src/node_list.ml [deleted file] blob | history
src/run.ml diff | blob | history
src/run.mli diff | blob | history
src/tatoo.ml diff | blob | history
Tree Automata TOOlkit