Updated ABC to 5b5af75f1dda

Changelog for Yosys 0.4

Fixed typo in "log_cmd_error_exception"

Made "cover" a compile-time option (disabled by default)

Removed QMAKE variable from Makefile

Added "abc" label in synth script

Added "opt -full" alias for all more aggressive optimizations

Fixed parsing of "module mymod #( parameter foo = 1, bar = 2 ..."

Improved nomem2reg documentation

Added support for empty lines to here documents

AST simplifier: optimize constant AST_CASE nodes before recursively descending

Added support for task and function args in parentheses

Improvements in $readmem[bh] implementation

Added support for $readmemh/$readmemb

Fixed constant "cond ? string1 : string2" with strings of different size

Re-introduced Yosys::readsome() helper function
(f.read() + f.gcount() made problems with lines > 16kB)

minor indenting corrections

Merge pull request #40 from parvizp/compile_mac_10.9.2

Builds on Mac 10.9.2 with LLVM 3.5.

Builds on Mac 10.9.2 with LLVM 3.5.

Improved new_id() for win32

Also look for yosys-abc in parent dir on win32

Various improvements to version reporting on win32

Disabled READLINE in MXE cross build

Fixed typo in test_cell

Fixed shell prompt and proc_self_dirname() for win32

Fixed various VS warnings

Create vcxsrc in mxe build "make dist"

Moved yosys-config.in to misc/

Added notes regarding building in VS

Added vcxproj_files.txt to MXE "make dist"

More win32 (mxe and vs) build fixes

Various win32 / vs build fixes

Added genfiles.zip to MXE "make dist"

Various MXE build fixes

Header changes so it will compile on VS

Wrapped math in int constructor

Fixed a few VS warnings

Don't be too smart with $dff cells with "init" attribute on out signal

Some cleanups in opt_clean

Print "SystemVerilog" in "read_verilog -sv" log messages

Fixed RTLIL::SigSpec::parse() for out-of-range bit- and part-selects

Fixed handling of invalid array access in mem2reg code

Replaced log_assert() do { ... } while (0) hack with a static inline function

Fixed gcc warning

Fixed MXE build

Merge branch 'win32'

Check for _YOSYS_ in yosys.h

Updated .gitignore file for ilang and verilog frontends

Replaced readsome() with read() and gcount()

A few indent fixes

Changed from "and" to "&&"

Changed to explicit heap allocated memory

Wrapped init in std::set constructor

Made iterators extend std::iterator and added == operator

Define empty __attribute__ macro for non-gcc, non-clang compilers

Fixed log so it will compile under Visual Studio
- Included an implementation of gettimeofday

Updated lexers & parsers to include prefixes

Updated ABC, enabled ABC in mxe builds

Removed CHECK() macro from libparse.cc (was using non-std c features)

Fixed ABC ARCHFLAGS for win32 cross build

More win32/abc fixes

Various Makefile changes for cross-compiling ABC for Win32

Various small fixes for non-win32 builds

Added make_temp_{file,dir}() and remove_directory() APIs

Using stringf() instead of asprintf() in "abc" pass

Added run_command() api to replace system() and popen()

Renamed "log.cc" to "logcmd.cc" so there aren't two "log.cc" in the source tree

Shrinked the copyright banner by 1 character

Added "make dist" for mxe builds

Fixed Makefile PRETTY=1 for MXE (win32) and EMCC (js) builds

Do not the 'z' modifier in format string (another win32 fix)

Fixed win32 troubles with f.readsome()

Strip win32 executeables

Added proc_self_dirname() for win32

Fixed MXE readline support

Fixed ifdefs for plugin unloading

Disabled "cover -d" on win32

Not using std::to_string in ezsat (problems with mingw)

Disabled vhdl2verilog command for win32 builds

Disabled ezminisat timeout feature for Win32

Using next_token() to parse commands

Fixed next_token()

More Win32 build fixes

Added next_token() function (strtok() replacement)

Various win32 build fixes in yosys.cc

Moved patmatch() to yosys.cc

Replaced fnmatch() with patmatch()

Added format __attribute__ to stringf()

Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32

Renamed SIZE() to GetSize() because of name collision on Win32

Replaced "#ifdef WIN32" with "#ifdef _WIN32"

Added API for generic cell cost calculations

added .exe and .html output files to .gitignore

No rusage on win32

Added mxe-based cross build for win32

Fixes in "hilomap" help message

sort cell types in "stat" output by name

sat encoding for exclusive $pmux ctrl inputs in "share" pass

satgen import sigbit api

added resource sharing of $macc cells