Added write_smt2 (only gate level logic supported so far)
Fixed off-by-one bug in "hierarchy -check" for positional module args
Added "write_smt2 -bv" and other write_smt2 improvements
Added support for most BV cell types to write_smt2
Fixed simplemap for $ne cells with output width > 1
Added "test_cell -w" feature
Various fixes and improvements in write_smt2
Added "test_cell -muxdiv"
Various fixes and improvements in "write_smt2 -bv"
Added Yosys::{dict,nodict,vector} container types
Added "yosys -d" command line option
Temporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict
Added new_dict (hashmap.h) and re-enabled code coverage counters
Replaced std::unordered_map as implementation for Yosys::dict
Replaced std::unordered_set (nodict) with Yosys::pool
Using Yosys::dict and Yosys::pool in sigtools.h
Some cleanups in dict/pool hashtable implementation
More hashtable finetuning
Fixed mem2reg warning message
Improved some warning messages