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
script added