Added first draft of FIRRTL back-end

Cleanups and fixed in write_verilog regarding reg init

Added support for hierarchical defparams

Remember global declarations and defines accross read_verilog calls

Merge pull request #268 from AlexDaniel/master

Markdownify README

Markdownify README

This is the first commit in series. There are many other things that
could be improved, this is just the first renderable version.

Minor bugfix in submod

Progress in examples/gowin/

Indenting fixes in gowin sim cell lib

Bugfix in "setundef" pass

Added examples/gowin/

Implemented "scc -set_attr"

Bugfix in "scc" command

Fixed anonymous genblock object names

Added hex constant support to write_verilog

We are now in 0.7+ development

Yosys 0.7

Bugfix in "hierarchy -check"

Updated command reference in manual

Changelog for Yosys 0.7

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