summaryrefslogtreecommitdiff
path: root/techlibs
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-08-30 14:43:06 +0200
committerClifford Wolf <clifford@clifford.at>2014-08-30 14:43:06 +0200
commit3a7d5d188d4b9cfeb225e0f5dea07ee7a40eceed (patch)
tree21ae31ab348b710986149d74ee5bd60544b3a6f6 /techlibs
parentf910481f35109d7333088ac79bb25729e516fa00 (diff)
Don't change existing binary FSM encoding if it is already optimal
Diffstat (limited to 'techlibs')
0 files changed, 0 insertions, 0 deletions