Added support for fsm_encoding="user"

Added "fsm_expand -full"

Some fixes in handling of signed arrays

iCE40 flow is not experimental anymore

Added initial version of "synth_gowin"

Adde "write_verilog -renameprefix -v"

Added support for (single-clock) transparent memories to bram tests

Bugfix in fsm_map for FSMs without reset state

Added avail params to ilang format, check module params in 'hierarchy -check'

Added "setparam -type"

No limit for length of lines in BLIF front-end

Merge pull request #250 from azonenberg/master

Add support for more GreenPak cells (edge detector, delay, pattern generator)

Fixed typo in last commit

greenpak4: Added GP_PGEN cell definition

Added GLITCH_FILTER parameter to GP_DELAY

greenpak4: added model for GP_EDGEDET block

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

Ignore L_pi nets in "yosys-smtbmc --cex"

Use init value "2" for all uninitialized FFs in BLIF back-end

Added "yosys-smtbmc --cex <filename>"

Bugfix in "miter -assert" handling of assumptions

Added clk2fflogic support for $dffsr and $dlatch

greenpak4: Changed parameters for GP_SYSRESET

Improvements and bugfixes in clk2fflogic

cleanup in write_smt2 log messages (-bv and -mem are now default)

Build fixes for VS 2015

Some minor build fixes for Visual C

Avoid using strcasecmp()

Fixed version string for out-of-tree builds

Added notes about some formal features to README

Added $anyseq cell type

Added clk2fflogic

Added opt_rmdff support for $ff cells

Added $global_clock verilog syntax support for creating $ff cells

Added MEMID handling to "flatten" pass

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

Merge pull request #246 from set-soft/abc_external_ovr

Allow to overwrite ABCEXTERNAL from the environment.

Added YOSYS_VER_STR make variable

Ugh! extra patches got here, reverting

Allow to overwrite ABCEXTERNAL from the environment.
In this way Debian scripts can define it as berkeley-abc from the shell.

Modified test target name (to test-all)
As this target depends on external tools, and packagers run "make test",
I think the name should be less generic.

Added  a new configuration variable GIT_REV_WHERE
It determines from where we get the gits SHA1 value. By default is HEAD,
suitable for Clifford, but for Debian we can define it as upstream/master

Added "zinit" pass

Added $ff and $_FF_ cell types

Fixed "make test" for git head of iverilog

define PATH_MAX if not defined by limits.h

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

Added smtc support for top-level state with [], [N:] syntax

Bugfix in yosys-smtbmc --noincr

yosys-smtbmc: ABC is a QF_BV solver

Added "yosys-smtbmc --noincr"

Update ABV to hg rev eb6eca6807cc

yosys-smtbmc: added smtc [...] support for cells

Added "yosys-smtbmc -s abc"

Updated ABV to hg rev 6b74de13c57f

Added "prep -nokeepdc"

Added "opt_rmdff -keepdc"

Updated ABV to hg rev 2bc57cc30593

Minor improvements in yosys-smtbmc

Added liberty parser support for types within cell decls

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

Add optional SEED=n command line option to Makefile, and -S n command line option to test scripts, for deterministic regression tests.

Added autotest.sh -I

Cosmetic fix in test_autotb.cc

Added yosys-smtbmc --noinfo and --dummy

Avoid creating very long strings in test_autotb

Added $past, $stable, $rose, $fell SVA functions

Improved handling of SMT2 logics in yosys-smtbmc

Added support for bus interfaces to "read_liberty -lib"

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

yosys-smtbmc: added -i support smtc files

Bugfix in techmap parameter handling

Work-around for boolector bug

Merge pull request #228 from Kmanfi/test

Fix for modules with big interfaces.

Fix for modules with big interfaces.

Added missing :produce-models setting to smtio.py

Minor improvements to smtio.py vcd writer

fixed write_smt2 for (non-combinatorial) loops through hierarchical cells

smt2 mem init bugfix

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

yosys-smtbmc meminit support

Merge pull request #225 from Kmanfi/test

Typo fix.

Typo fix.

Bugfix in "yosys-smtbmc --unroll"

Added "yosys-smtbmc --unroll"

Install celledges.h

Improvements in assertpmux

Updated ABC to hg 8e08604f8ad3

Added assertpmux

Added "tee +INT -INT"

Run log_flush() before solving in sat command

Bugfix in parsing of BLIF latch init values

Avoid creation of bogus initial blocks for assert/assume in always @*

Fix spelling and grammar in README

yosys-smtbmc: flush stdout after each log msg

Minor bugfix in write_smt2

Minor README updates

Added boolector support to yosys-smtbmc

Merge branch 'smtbmc-kmanfi'

Made examples/smtbmc/demo1.v more interesting