btor
makefile
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
splitnet -driver feature

Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Merge pull request #1 from cliffordwolf/master

Added "opt_const -mux_undef"
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
BTOR backend
Merge pull request #2 from cliffordwolf/master

hierarchy
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
width issues
dff cell for more than one registers
slice error corrected
Merge pull request #3 from cliffordwolf/master

memory_unpack
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
Merge pull request #4 from cliffordwolf/master

verilog defaults
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
verilog default options pull
shift operator width issues
pmux2mux
Merge branch 'master' of https://github.com/cliffordwolf/yosys
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor