projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfbd649) | patch
Change in the Ata module:
authorKim Nguyễn <kn@lri.fr>
Wed, 14 May 2014 12:01:41 +0000 (14:01 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 May 2014 12:01:41 +0000 (14:01 +0200)
commit05af95627d36110724ec6a2a6439c4842a228d19
tree92a18fa6ccc39e0176c111a416777fb7925527bctree | snapshot
parentcfbd6490c8b03b820375f79ff4d009ed2d0252c3commit | diff
Change in the Ata module:
- whole file indentation
- compute for each set of ranked states the output states, that is the states that are needed to compute following rank
- fix a bug in state_prerequisites
src/ata.ml diff | blob | history
src/ata.mli diff | blob | history
src/run.ml diff | blob | history
Tree Automata TOOlkit