Strictly zero-extend unsigned A-inputs of shift operations
Improved techmap of shift with wide B inputs
Added techmap -max_iter option
Strictly zero-extend unsigned A-inputs of shift operations in techmap
Fixed use of frozen literals in SatGen
Fixes for improved techmap of shifts with large B inputs
Fixed undef handling in opt_reduce
Fixed gcc compiler warning
Added freduce -stop
Added freduce -dump
Use log_abort() and log_assert() in BTOR backend
Bugfix in ilang frontend autoidx recovery
Some minor code cleanups in freduce command
Fixed bug in freduce command
Verbose reading of liberty and constr files in ABC pass
Fixed dumping of timing() { .. } block in libparse
Added "verific" command
Added RTLIL::Module::add... helper methods
Improvements in verific command
Improved verific command (added support for some operators)