Added "abc -luts" option, Improved Xilinx logic mapping

Improvements in dfflibmap (FFs with Q/QN outputs, DFFs from ADFFs)

SigMap performance improvement

hashlib mfp<> performance improvements

Added reserve() method to haslib classes and
calculate hashtable size based on entries capacity, not size

Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys

More clang sanitizer stuff

rtlil: Improve performance of SigSpec::extract(SigSpec, SigSpec*)

Converting to a pool<SigBit> is fairly expensive due to inserts somewhat
frequently causing rehashing.  Instead, walk through the pattern SigSpec
directly on a chunk-by-chunk basis and apply it to this SigSpec's
individual bits.  Using chunks for the pattern minimizes the number of
iterations in the outer loop.

rtlil: speed up SigSpec::sort_and_unify()

std::set<> internally is often a red-black tree which is fairly
expensive to create but fast to lookup.  In the case of
sort_and_unify(), a set<> is constructed as a temporary object to
attempt to speed up lookups.  Being a temporarily, however, the cost of
creation far outweights the lookup improvement and is a net performance
loss.  Instead, sort the vector<> that already exists and then apply
std::unique().

rtlil: improve performance of SigSpec::replace(SigSpec, SigSpec, SigSpec*)

genrtlil: avoid converting SigSpec to set<SigBit> when going through removeSignalFromCaseTree()

rtlil: improve performance of SigSpec::remove2(SigSpec, SigSpec*)

Meaningless coding style change

Merge branch 'rtlil_remove2_speedup' of https://github.com/kc8apf/yosys

Addedd clang sanitizers

rtlil: rewrite remove2() to avoid copying

rtlil: duplicate remove2() for std::set<>

rtlil: change IdString comparison operators to take references instead of copies

Added "equiv_struct -fwonly"

Bugfixes in equiv_struct

Added "submod -copy"

Added "write_blif -cname" mode

Added "equiv_struct -maxiter <N>"

Added "equiv_add -try" mode

Fixed "splitnets -ports" for hierarchical designs

Re-run ice40_opt in "synth_ice40 -abc2"

Improvements in ice40_opt

Bugfix in ice40_ffinit

Improved ice40_ffinit

Run opt_const before check in default scripts

Added %R select expression

Various improvements in BLIF front-end

Added yosys-smtbmc -S

Merge pull request #110 from scanlime/master

Trivial changes to fix Mac OS build

Mac build fix, gsed -> sed

Homebrew is calling its GNU sed just 'sed' now.

Remove nonportable "-r" option from xargs

On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.

Added "synth_ice40 -abc2"

Merge pull request #108 from cseed/master

Added LO to ICESTORM_LC for LUT cascade route.

Added LO to ICESTORM_LC for LUT cascade route.

Improved proc_mux performance for huge always blocks

Added default values for hashlib at() methods

Re-added SigMap::allbits()

Added tests/simple/graphtest.v

Fixed oom bug in ilang parser

Fixed performance bug in ilang parser

Merge branch 'master' of github.com:cliffordwolf/yosys

Removed dangling ';' in rtlil.h

Added ice40_ffinit pass

Added PRIM_DLATCHRS support to verific front-end

Fixed WE/RE usage in iCE40 BRAM mapping

Fixed handling of re-declarations of wires in tasks and functions

Added torder command

Fixed performance bug in Verific importer

Changes for Verific 3.16_484_32_151112

Link to vlsitechnology.org for liberty files

More bugfixes in handling of parameters in tasks and functions

Fixed handling of parameters and localparams in functions

Added "abc -g"

Merge pull request #97 from zeldin/master

Fix a segfault in dffinit when the value has too few bits

Fix a segfault in dffinit when the value has too few bits

The code was already trying to add the required number of bits, but
fell one short of the mark.

Added "singleton" pass

Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling

Bugfix in mapping $tribuf to $_TBUF_

Bugfix in memory_dff

Improvements in wreduce

Bugfix in Xilinx LUT mapping

Improved SigMap performance

Improvements in new SigMap

Use mfp<> in equiv_mark

Removed old SigMap implementation

Added hashlib::mfp and new SigMap

Improvements in equiv_struct

Major refactoring of equiv_struct

Import more std:: stuff into Yosys namespace

Added "equiv_add -cell"

equiv_struct now creates equiv_merged attributes

Improvements in equiv_struct

renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()

improvement in "stat"

Fixed driver conflict handling (various cmds)

equiv_purge bugfix, using SigChunk in Yosys namespace

Fixed handling of driver-driver conflicts in wreduce

Added equiv_mark command

Disabled "Skipping blackbox module" msg in show command

Added support for ":" as comment symbol after ;-parsing

Also merge $equiv cells in equiv_struct

Improvements in equiv_struct

Added equiv_purge

Added equiv_struct command

Improved inout handling in equiv_make

Progress on cell help messages

Progress on cell help messages

Progress in yosys-smtbmc

Fixed bug in verilog parser

Improvements in yosys-smtbmc

Bugfixes in handling of "keep" attribute on wires

More "yosys-smtbmc -c" fixes

Fixed yosys-smtbmc -c

Added "prep" command

Added more cell descriptions