Progress in Verific bindings

Progress in Verific bindings

Added support for memories to verific bindings

Use Verific Net::{IsGnd,IsPwr} API in Verific bindings

Fixed typo in RTLIL::Module::{addSshl,addSshr}

Progress in Verific bindings

Progress in Verific bindings

Progress in Verific bindings

Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API

Progress in Verific bindings

Added log_dump() support for generic pointers

Progress in Verific bindings

Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API

Progress in Verific bindings

Copy Verific vdbs files to Yosys "share" data directory

Small improvement in SAT log messages

Added test_navre.ys for verific frontend

Hotfix for kernel/compatibility.h

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

Merged OSX fixes from Siesh1oo with some modifications

 - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compatibility patch.

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

Conflicts:
Makefile
libs/minisat/System.cc

 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

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

 - 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.

 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

 - 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.

Some fixes in libs/minisat (thanks to Siesh1oo)

 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.

 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

 - Makefile: follow changes in https://github.com/cliffordwolf/yosys

 - 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