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

swallat/yosys,YosysHQ/yosys,swallat/yosys,cliffordwolf/yosys,SymbiFlow/yosys,antmicro/yosys,antmicro/yosys,YosysHQ/yosys,swallat/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,cliffordwolf/yosys,YosysHQ/yosys,azonenberg/yosys,SymbiFlow/yosys,azonenberg/yosys,swallat/yosys,antmicro/yosys,cliffordwolf/yosys,cliffordwolf/yosys,SymbiFlow/yosys,azonenberg/yosys,cliffordwolf/yosys,cliffordwolf/yosys,SymbiFlow/yosys,azonenberg/yosys,cliffordwolf/yosys,SymbiFlow/yosys,azonenberg/yosys,antmicro/yosys,swallat/yosys,swallat/yosys,YosysHQ/yosys,azonenberg/yosys,antmicro/yosys,azonenberg/yosys,SymbiFlow/yosys,antmicro/yosys,swallat/yosys,antmicro/yosys,cliffordwolf/yosys,azonenberg/yosys,cliffordwolf/yosys,SymbiFlow/yosys,SymbiFlow/yosys,swallat/yosys,YosysHQ/yosys,swallat/yosys,azonenberg/yosys,antmicro/yosys