Added boolector support to yosys-smtbmc

Merge branch 'smtbmc-kmanfi'

Made examples/smtbmc/demo1.v more interesting

Don't re-create hex_dict for each value

More PEP 8 fixes.

Indentation and PEP 8 fixes. CamelCase and white space after semicolon.

Use dict lookup instead of many ifs.

Fix: Unresolved reference.

Some syntax fixes. Generator and comma separated list modifications.

Added "prep -nomem"

Added $anyconst support to yosys-smtbmc

Removed $aconst cell type

Fixed memory bug in write_smt2

Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"

Added $anyconst support to smt2 back-end

Improved init spec handling in opt_rmdff, modernized the code a bit

Added "yosys-smtbmc --dump-all"

More yosys-smtbmc bugfixes

Various fixes and improvements in yosys-smtbmc

Removed $predict again

Improved "show" help message

Some changes to yosys-smtbmc cmd line options, add --final-only

Fixed handling of transparent bram rd ports on ROMs

Added smtc "final" statement

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

Merge pull request #215 from frznchckn/to_upstream

Add some useful flexibility to build process

Added read_verilog -norestrict -assume-asserts

Relax test to see if yosys dir is a git repository in Makefile

This prevents the test from failing in the case that yosys is a
submodule of a repository since for a submodule the .git is actually a
file containing the location of the submodule's .git directory

Allow redefining of the ABC repository URL

For persons or organizations that prefer to keep their own mirrors of
repositories, users may now specify the URL of the ABC Mercurial
repository that yosys clones during build.

The URL may be set in the Makefile directly, on the
command-line, or in the environment

Various fixes and improvements in smt2 back-end

Improved verilog parser errors

More yosys-smtbmc smtc features

yosys-smtbmc --smtc -g

Added SV "restrict" keyword

Minor yosys-smtbmc bugfix

Added "yosys-smtbmc --constr"

Added "yosys-smtbmc --dump-constr"

Added glob support to all front-ends

Fixed bug with memories that do not have a down-to-zero data width

Fixed bug in memory_share for memory ports with different ABITS

yosys-smtbmc: improved --dump-vlogtb handling of memories

Added another mem2reg test case

Another bugfix in mem2reg code

Minor improvements to AstNode::dumpAst() and AstNode::dumpVlog()

Added examples/smtbmc/demo2.v

Added "yosys-smtbmc --dump-vlogtb"

Added support for memories to smtio.py

Deprecated "write_smt2 -regs" (by default on now), and some other smt2 back-end improvements

Added "yosys-smtbmc -g"

Added smtbmc longopt support

Fixed finish_addr handling in $readmemh/$readmemb

Bugfix in partial mem write handling in verilog back-end

Added "wreduce -memx"

Added memory_memx pass, "memory -memx", and "prep -memx"

Optimize memory address port width in wreduce and memory_collect, not verilog front-end

Added missing support for mem read enable ports to verilog back-end

Bugfix in test_autotb

Improved smtbmc vcd generation performance

Added printing of code loc of failed asserts to yosys-smtbmc

Fixed default build config

Merge pull request #203 from cr1901/master

Add MSYS2-compatible build.

Add MSYS2-compatible build.

Use _Exit(0) on win32, always use _Exit(1) in log_error()

Updated ABC to hg rev a86455b00da5

Fixed use-after-free dict<> usage pattern in hierarchy.cc

Updated ABC to hg rev 760ba358e790

ABC mxe cross-build fix

Minor fixes in show command

Added greenpak4_dffinv

Fixed upto handling in verilog back-end

Merge pull request #200 from azonenberg/master

Updates to GP_RCOSC, new GP_DFF*I cells

greenpak4: Changed name of inverted output ports for consistency

greenpak4: Added GP_DFFxI cells

greenpak4: Renamed ports for better consistency (see azonenberg/openfpga:#6)

Merge pull request #198 from whitequark/master

synth_greenpak4: use attrmvcp to move LOC from wires to cells

synth_greenpak4: use attrmvcp to move LOC from wires to cells.

Only allow posedge/negedge with 1 bit wide signals

Fixed some compiler warnings in attrmap command

Added "attrmap" command

Added log_const() API

Added "attrmvcp" pass

Use /proc/self/exe on Cygwin as well.

Undo "preserve wire attributes in iopadmap" change (it was OK before)

Added "test_autotb -seed" (and "autotest.sh -S")

preserve wire attributes in iopadmap

Fixed bug in parsing real constants

Added "insbuf" command

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

Added "write_verilog -defparam"

Added "write_verilog -nodec -nostr"

Added $initstate support to smtbmc flow

Added SatGen support for $anyconst

Removed $predict support from SatGen

Added $anyconst and $aconst

Added "read_verilog -dump_rtlil"

Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()

Fixed a verilog parser memory leak

Fixed parsing of empty positional cell ports

Improvements in CellEdgesDatabase

Added CellEdgesDatabase API