Fixed minisat include
Added recommended apt-get commands to README
Fixed parsing or liberty file statements such as 'clocked_on : "(!CLK)";'
Patch by Tim Edwards
Added map, par and bitgen to xlinx7 example
Moved dfflibmap from passes/dfflibmap to passes/techmap
Added iopadmap pass
Fixed detection of major wires in opt_clean
Avoid re-arranging signals on register outputs
Fixed bug in synthesis of memories that are never written
Added -buf, -true and -false options to blif backend
Only prefer connected signals iff they have public names
Improved way of connecting ports in techmap pass
Added $sr, $dffsr and $dlatch cell types
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_
Added techmap rules for $sr, $dffsr and $dlatch
Bugfix in dffsr techmap rules
Added RTLIL NEW_WIRE macro
Added dffsr support to proc_dff pass
Changed NEW_WIRE API to return the wire, not the signal
Added handling of multiple async paths in proc_arst