More flexible handling of initialization values

Added "yosys -D" feature

Fixed performance bug in "share" pass

Fixed handling of parameters and const functions in casex/casez pattern

Improvements in opt_expr

Bugfix and improvements in memory_share

Merge pull request #149 from azonenberg/master

GP_RCOSC and GP_SHREG cells plus some cleanup

Merge https://github.com/cliffordwolf/yosys

Added "shregmap -params"

Added "shregmap -zinit" and "shregmap -init"

Merge https://github.com/cliffordwolf/yosys

Improvements in "shregmap"

Merge https://github.com/cliffordwolf/yosys

Added "shregmap" pass

Fixed copy&paste error in log message in lut2mux

Minor hashlib bugfix

Added GP_SHREG cell

Refactoring: alphabetized cells_sim

Fixed missing semicolon

Merge https://github.com/cliffordwolf/yosys

Added GP_RCOSC cell

Merge pull request #147 from azonenberg/master

Added GP_BANDGAP, GP_POR, GP_RINGOSC primitives

Fixed assertion failure for non-inferrable counters in some cases

Added second divider to GP_RINGOSC

Added GP_RINGOSC primitive

Merge https://github.com/cliffordwolf/yosys

Hashlib indenting fix

Added msan origins tracking

Prefer noninverting FFs in dfflibmap

Improved formatting of "sat" output tables

Fixed some typos

Added GP_POR

Added GP_BANDGAP cell

Merge pull request #145 from laanwj/master

Add instructions for building manual on Ubuntu

Fix a few typos in the manual

Add instructions for building manual on Ubuntu

Merge pull request #144 from azonenberg/master

Added COUNT_EXTRACT constraint to greenpak4_counters pass. Added support for inferring level-resettable counters. Fixed use-after-free.

Removed more debug prints

Removed forgotten debug code

Added GreenPak inverter support

Merge https://github.com/cliffordwolf/yosys

Added support for inferring counters with asynchronous resets. Fixed use-after-free in inference pass.

Merge pull request #143 from azonenberg/master

Fixed several techmapping issues irelated to greenpak flipflops

Merge https://github.com/cliffordwolf/yosys

DFFINIT is now correctly called for all kinds of flipflop, not just DFF

Fixed incorrect port name in cells_map.v

Added ScriptPass helper class for script-like passes

Improved opt_merge support for $pmux cells

Added log_dump() support for dict<> and pool<> containers

Preserve empty $pmux default cases

Typo fixes in opt_expr and opt_merge

Fixed typo (wasn't written in 2012)

Renamed opt_share to opt_merge

Renamed opt_const to opt_expr

Fixed typo in greenpak4_counters.cc

Merge pull request #142 from azonenberg/master

Add initial GreenPak4 counter inference, misc related fixes

Renamed counters pass to greenpak4_counters

Added initial implementation of "counters" pass to synth_greenpak4. Can only infer non-resettable down counters for now.

Reduced log verbosity

Continued work on counter extraction. Can recognize compatible RTL counters but not replace with hard macros.

Merge https://github.com/cliffordwolf/yosys

Updated tech lib for greenpak4 counter with some clarifications

Fixed typo in log message

We have 2016 for a while now

Added .vhd file extension support

Initial work on greenpak4 counter extraction. Doesn't work but a decent start

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

Added support for installed plugins

Added splitnets to synth_greenpak4

Added more cell help messages

Fixed indenting in techlibs/greenpak4/gp_dff.lib

Merge pull request #141 from azonenberg/master

Add Greenpak4 SYSRESET block support

Added keep constraint to GP_SYSRESET cell

Added GP_SYSRESET block

Merge pull request #137 from ravenexp/master

Embed DATDIR make variable value into yosys binary.

Merge pull request #138 from SebKuzminsky/help-typo

fix a cut-n-paste error in the -h help

Merge pull request #139 from azonenberg/master

Add GreenPak4 LF oscillator support, renamed internal cell for consistency

Added GP_COUNT8/GP_COUNT14 cells

Changed GP_LFOSC parameter configuration

Added GP_LFOSC cell

Renamed GP4_V* cells to GP_V* for consistency

fix a cut-n-paste error in the -h help

Embed DATDIR make variable value into yosys binary.

Use it as the last resort in the share/ directory location search.

Merge pull request #136 from ravenexp/master

Minor Makefile adjustments

Optionally use ${CC} when compiling test utils.

Default to gcc when not set.

Allow redefining pkg-config Makefile command.

Example usage:

$ make CXX=i686-w64-mingw32-g++ PKG_CONFIG=i686-w64-mingw32-pkg-config

Allow redefining binary and data install locations.

Add three more Makefile variables in addition to PREFIX:

$ make BINDIR=/.../bin LIBDIR=/.../lib DATDIR=/.../share/yosys

The defaults are:

BINDIR = $(PREFIX)/bin
LIBDIR = $(PREFIX)/lib
DATDIR = $(PREFIX)/share/yosys

Do not set "nosync" on task outputs, fixes #134

Fixed handling of inverters (aka 1-input luts) in nlutmap

Added GP_DFFS, GP_DFFR, and GP_DFFSR

Added GP_DFF INIT parameter

Added ast.h to exported headers

Cleanup abstract modules at end of "hierarchy -top"

Support for abstract modules in chparam

Added support for $stop system task

Improvements in synth_greenpak4, added -part option

Improvements in ABCEXTERNAL handling

Merge pull request #130 from ravenexp/master

Support calling out to an external ABC.

Support calling out to an external ABC.

$ make ABCEXTERNAL=my-abc && make ABCEXTERNAL=my-abc install

configures yosys to use an external ABC executable instead of
building and installing the in-tree ABC copy (yosys-abc).

Added $display %m support, fixed mem leak in $display, fixes #128