Merge pull request #5 from hansiglaser/master
authorClifford Wolf <clifford@clifford.at>
Fri, 5 Apr 2013 14:04:51 +0000 (07:04 -0700)
committerClifford Wolf <clifford@clifford.at>
Fri, 5 Apr 2013 14:04:51 +0000 (07:04 -0700)
commit00a877e09b4c6cf1130e4c0a416af2d5362815b3
treec660d5517f5d6433fd67def375cfea55191c9362
parentab747063388e47eab597dad45d91acec88a4ec74
parent7ef245aa7d15195b3f4200d2d3cb2796bc695b88
Merge pull request #5 from hansiglaser/master

fsm_export: optionally use binary state encoding as state names instead of  s0, s1, ...