Use State::S{0,1}
authorEddie Hung <eddie@fpgeh.com>
Tue, 6 Aug 2019 23:22:47 +0000 (16:22 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 6 Aug 2019 23:22:47 +0000 (16:22 -0700)
commit046e1a52147dd4a0e1f23e4aa7cb71b0a4d1b497
tree900ad3764a73cb81396bcf0c0be1bc92c4df135d
parent3486235338faa1377bb4e1a8981a45b4ee6edfa9
Use State::S{0,1}
backends/btor/btor.cc
backends/firrtl/firrtl.cc
backends/verilog/verilog_backend.cc
frontends/verific/verificsva.cc
passes/fsm/fsm_map.cc
passes/memory/memory_collect.cc
passes/memory/memory_map.cc
passes/sat/eval.cc
passes/sat/miter.cc
passes/techmap/simplemap.cc