Tagging Yosys 0.3.0

Updated ABC to 7600ffb9340c

added tests for new verilog features

fixed cell array handling of positional arguments

Add support for cell arrays

Added support for repeat stmt in const functions

further improved const function support

made the generate..endgenrate keywords optional

improved const function support

fix functions with no block (but single statement, loop, etc.)

Added tests/simple/repwhile.v

improved ast simplify of const functions

added while and repeat support to verilog parser

Improved error message for options after front-end filename arguments

added tee cmd

Fixed log messages in memory_dff

Updated ABC to rev fa4404b395f0

Merge pull request #36 from hansiglaser/master

Various changes merged

added log_header to miter and expose pass, show cell type for exposed ports

new flags -ignore_miss_func and -ignore_miss_dir for read_liberty

be more verbose when techmap yielded processes

Fixed bug in opt_reduce (see vloghammer issue_044)

fixed syntax error in dot file created by "show" command

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

Updated ABC to 67c84cdd49e4

Progress in presentation

Improved ezsat stand-alone tests

workaround for OpenBSD 'stdout' implementation

workaround for OpenBSD 'stdin' implementation

Merge pull request #35 from bentley/dox

Typos and grammar fixes through chapter 4.

Typos and grammar fixes through chapter 4.

Fixed clang -Wdeprecated-register warnings

Replaced depricated %name-prefix= bison directive

minisat compile fix

Updated README

Merge pull request #33 from bentley/dox

Typos and grammar fixes through chapter 2.

Typos and grammar fixes through chapter 2.

Merge pull request #31 from bentley/posix-rm

Remove non-POSIX 'rm -v'.

POSIX find requires a path argument.

Remove non-POSIX 'rm -v'.

Added SIMLIB_NOLUT to simlib.v

Added SIMLIB_NOSR to simlib.v

Added support for dlatchsr cells

Fixed mapping of Verific WIDE_DFFRS operator

Fixed mapping of Verific FADD primitive with unconnected outputs

Fixed performance problem in opt_mux with nets driven by many conflicting drivers

Progress in Verific bindings

Fixed typo in RTLIL::Module::addAdff()

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