projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e80e269) | patch
Add queries states
authorLucca Hirschi <lucca.hirschi@gmail.com>
Mon, 2 Jul 2012 15:35:40 +0000 (17:35 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Mon, 2 Jul 2012 15:35:40 +0000 (17:35 +0200)
commit91c3b3585a018dd5f98949e4838ef3d6c5c120fc
treee46bda3ae9c01a5d77560d30acca659ee14fededtree | snapshot
parente80e269c313952b4d427fa6a5a9729ea15e43f39commit | diff
  Add queries states
+ last_step from compilation works (one step paths)
+ print QNameSet works
+ try boxes from Format
src/asta.ml diff | blob | history
src/asta.mli diff | blob | history
src/compil.ml diff | blob | history
src/qNameSet.ml diff | blob | history
src/test.ml diff | blob | history
Tree Automata TOOlkit