From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 13 Mar 2013 17:41:06 +0000 (+0100)
Subject: Implement runtime optimisation via Hashing of transitions.
X-Git-Tag: v0.1~125
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=738218592e41da4ceb46f4dba41f292a60ba1f7b;hp=738218592e41da4ceb46f4dba41f292a60ba1f7b

Implement runtime optimisation via Hashing of transitions.
---