From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 14 May 2014 23:08:04 +0000 (+0200)
Subject: Implement a new automaton run (non optimized) with cleaner semantics w.r.t. ranked... 
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=3b9dbcd9318dba41999dc6cc43093edbe5bc4c5d;hp=3b9dbcd9318dba41999dc6cc43093edbe5bc4c5d;p=tatoo.git

Implement a new automaton run (non optimized) with cleaner semantics w.r.t. ranked states.
Paves the way for a "real" bottom-up run.
---