added concat and slice cell translation
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
register output corrected
disabling splice command in the script
renamed ilang "scope error" to "ilang error"
Updated ABC to rev e97a6e1d59b9
Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)
modified btor synthesis script for correct use of splice command.
Added support for functions returning integer
Merge branch 'master' of github.com:cliffordwolf/yosys
Merge pull request #26 from ahmedirfan1983/btor

Btor
Updated ABC and some related changes
Merge branch 'master' of github.com:cliffordwolf/yosys
Removed double blanks in ABC default command sequences
Implemented read_verilog -defer
Updated ABC
updated default ABC command strings
Added abc -keepff option
Created basic support for function calls in parameter values
Added support for FOR loops in function calls in parameters