Some improvements in opt_rmdff
Fixed show command for constant assignments
Added support for processes to show command
Added labels to "help -write-tex-command-reference-manual" output
Added missing newline to some error messages
Fixed memory leak in ilang frontend
Only initialize TCL interpreter when needed
Fixed memory corruption bug in opt_rmunused
Fixed a gcc vs. clang determinism problem in abc pass
Added log_abort() api
Added log_assert() api
Improved FSM one-hot encoding, added binary encoding
Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v
Added -nodetect option to fsm pass
Improved log messages generated by hierarchy pass
Fixed techmap/flatten for positional module arguments
Added "dump" command (part ilang backend)
Implemented technology mapping for multipliers (using array multiplier)
Renamed opt_rmunused to opt_clean
Added ezSAT library