- libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13).

 - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)

Merge branch 'master' of https://github.com/Siesh1oo/yosys

 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

 - Makefile: resolve merge conflict.

Fixed dependencies of "make test"

Added libs/minisat (copy of minisat git master)

 - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS

Rebase to cliffordwolf repo HEAD finished.

 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

 - Makefile: resolve merge conflict.

OSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

Merged addition of SED makefile variable from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

Added support for `line compiler directive

 - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead. Replace awk by simple shell commands for portability.

Fixed memory corruption in passes/abc/blifparse.cc

Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh

Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)

 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

 - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RESTART flag for improved robustness of code that is not signal-aware.

 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.

 - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climits> for PATH_MAX.

 - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX (for extended regular expressions).

 - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().

 - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation of open_memstream()/fmemopen() for pre-POSIX.2008 systems.
 - Makefile: OSX build rules (Apple's gcc and clang have no -rdynamic option and no librt).
 - Makefile: Generate debugger symbols and don't optimize for size in debug target (otherwise the debugger pretty hard to use).
 - Makefile: Reorder target concatenation in order to avoid use-before-built problems for source-include and linker dependencies.
 - Makefile: On OSX/macports, qmake-qt4 is named 'qmake' (the default Qt4 installation name, unless the distribution changes it).
 - Makefile: For OSX/Macports, we need to pass -I/opt/local/include and -L/opt/local/lib to give GNU libraries precedence over Apple's.
 - Makefile: Build a local minisat copy just like abc (to avoid dependency on broken/unmaintained distribution header files).
 - .gitignore: Ignore minisat directory.

 - README: fix typo in sed-command for minisat-include fix.

 - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use POSIX getcwd() for portability.

 - kernel/register.cc: need to #include <cerrno> or errno.h for errno.

 - kernel/driver.cc: need to #include <cerrno> or errno.h for errno.

 - kernel/log.h: add rusage()-based fallback for systems without clock_gettime().

 - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.

 - passes/abc/abc.cc: #include <cerrno> for errno; use POSIX getcwd() for portability (get_current_dir_name() does not exist on BSD).

 - passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode.cc, passes/cmds/select.cc: #include <cerrno> for errno, use c++-style includes.

Fixed a typo in RTLIL::Module::addReduce...

Improved verific command (added support for some operators)

Improvements in verific command

Added RTLIL::Module::add... helper methods

Added "verific" command

Fixed dumping of timing() { .. } block in libparse

Verbose reading of liberty and constr files in ABC pass

Fixed bug in freduce command

Some minor code cleanups in freduce command

Bugfix in ilang frontend autoidx recovery

Use log_abort() and log_assert() in BTOR backend

Added freduce -dump

Added freduce -stop

Fixed gcc compiler warning

Fixed undef handling in opt_reduce

Fixes for improved techmap of shifts with large B inputs

Fixed use of frozen literals in SatGen

Strictly zero-extend unsigned A-inputs of shift operations in techmap

Added techmap -max_iter option

Improved techmap of shift with wide B inputs

Strictly zero-extend unsigned A-inputs of shift operations

Switched to EZMINISAT_SIMPSOLVER as default SAT solver

Include id2ast pointers when dumping AST

Fixed merging of compatible wire decls in AST frontend

Bugfix in recursive AST simplification

fixed freduce for Minisat::SimpSolver: use frozen_literal()

ezSAT: Added frozen_literal() API

ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions

Added ezSAT::eliminated API to help the SAT solver remember eliminated variables

ezSAT bugfix: don't call virtual methods in base class constructor

Removed ezSAT::assumed() API

Removed ezSAT built-in brute-froce solver

Fixed vhdl2verilog temp dir name

Fixed vhdl2verilog help message

Fixed const folding of $bu0 cells

Fixed bit-extending in $mux argument (use $bu0 instead of $pos)

Added support for $bu0 to SatGen

Don't blow up constants unneccessarily in Verilog frontend

Added support for Minisat::SimpSolver + ezSAT frezze() API

Fixed small memory leak in Pass::call()

Fixed bug in generation of undefs for $memwr MUXes

Fixed bug (typo) in passes/opt/opt_const.cc

Added $lut support to blif backend (by user eddiehung from reddit)

Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option

Made MiniSat solver backend configurable in ezminisat.h

Added workaround for vhdl-style edge triggers from vhdl2verilog to proc_arst

Added vhdl2verilog

Progress in presentation

Better handling of nameDef and nameRef in edif backend

Fixed instantiating multi-bit ports in edif backend

Use private namespace in mem_simple_4x1_map

Added tests/techmap/mem_simple_4x1

Renamed "write_blif -subckt" to "write_blif -icells" and added -gates and -param

Progress in presentation

Progress in presentation

Added _TECHMAP_REPLACE_ feature to techmap

Added "extract -ignore_parameters" and "extract -ignore_param ..."

Added "extract -map %<design_name>"

Added "design -push" and "design -pop"

Progress in presentation

Added connwrappers command