Merge branch 'master' into btor-ng

Add clk2fflogic memory support

Add smt2 back-end support for async write memories

Add RTLIL::Const::is_fully_ones()

Add SigSpec::is_fully_ones()

Merge pull request #469 from kkiningh/master

Use quote includes for yosys.h

Use quote includes for yosys.h

Check for memories in clk2fflogic

Merge pull request #468 from grahamedgecombe/fix-sb-io-od

Fix SB_IO_OD module

Add "write_btor -s" mode

Add state initval handling to btor back-end

Add btor back-end support for 'x' constants

Add SigSpec::is_fully_ones()

Add warnings for driver-driver conflicts between FFs (and other cells) and constants

Add btor $shift/$shiftx support

Fix port names in SB_IO_OD

Remove trailing comma from SB_IO_OD port list

This isn't compatible with Icarus Verilog.

Fix btor back-end shift handling

Add support for $pmux in btor back-end

Add support for more cell types to btor back-end

Merge branch 'master' into btor-ng

Add support for Verific PRIM_SVA_NOT properties

Add Verific OPER_SVA_STABLE support

Refactoring Verific SVA rewriter

Fix btor concat

Merge branch 'master' into btor-ng

Merge pull request #467 from mithro/patch-1

Fix spelling in -vpr help for synth_ice40

Fix spelling in -vpr help for synth_ice40

Use "hg ... --insecure" for cloning/pulling ABC

Update ABC to hg rev 31fc97b0aeed

Fix error handling for nested always/initial

Merge branch 'master' into btor-ng

Merge pull request #462 from daveshah1/up5k

Add remaining UltraPlus cells to ice40 techlib

Add remaining UltraPlus cells to ice40 techlib

Merge branch 'master' into btor-ng

Fixed "yosys-smtbmc -g" handling of no solution

Fixed "yosys-smtbmc -g" handling of no solution

Merge pull request #460 from mithro/g3-fixes

Bunch of small fixes

Merge pull request #461 from mithro/travis-rework

travis: Print branches before fetching, try both locations.

travis: Print branches before fetching, try both locations.

minisat: Make update script executable.

minisat: Only define __STDC_XXX_MACROS if not already defined.

Replace;
 #define __STDC_LIMIT_MACROS
 #define __STDC_FORMAT_MACROS

With
 #ifndef __STDC_LIMIT_MACROS
 #define __STDC_LIMIT_MACROS
 #endif
 #ifndef __STDC_FORMAT_MACROS
 #define __STDC_FORMAT_MACROS
 #endif

This fixes a compile warning if you are defining these macros in your
CXXFLAGS (as some distros do).

minisat: Remove template with gzFile specialization.

All the other gzFile functions have been removed but this template was
still left around.

subcircuit: Class with virtual methods should have virtual destructor.

Fixes a compile warning.

* https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual

Merge branch 'master' into btor-ng

Bugfixes in new BTOR back-end

Merge pull request #446 from mithro/travis-rework

Reworking the Travis CI for Yosys.

travis: Use the cache.

travis: Adding gcc-4.8 and gcc-6 on Linux.

travis: Reworking travis setup.

 * Move the code into scripts inside .travis directory.
 * Build on multiple compiler versions.

Fixes #442 - Make travis build pass
Fixes #441 - Fix git version information on travis build
Fixes #440 - Make travis cache the iverilog build

Progress in new BTOR back-end

Progress in new BTOR back-end

Progress in new BTOR back-end

Merge branch 'master' into btor-ng

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

Add Verilog "automatic" keyword (ignored in synthesis)

Progress with new BTOR backend

Add skeleton for new BTOR back-end

Remove old BTOR back-end

Merge pull request #455 from daveshah1/up5k

Add UltraPlus specific cells to ice40 techlib

Remove unnecessary keep attributes

Accept real-valued delay values

Merge pull request #452 from cr1901/master

Accommodate Windows-style paths during include-file processing.

Merge pull request #453 from dh73/master

Updating Intel FPGA subsystem with Cyclone 10, minor changes in examples/intel directory and Speedster cells

Merge branch 'master' into up5k

Add "synth_ice40 -vpr"

Add some UltraPlus cells to ice40 techlib

Fixed the -vout flag to -vqm in examples/intel directory

Accommodate Windows-style paths during include-file processing.

Initial Cyclone 10 support

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

Organizing Speedster file names

Add support for editline as replacement for readline

Add "ltp" command

Fix SMT2 handling of initstate in sub-modules

Fix memory corruption bug in opt_rmdff

Fix typo in opt_clean log message

Improve smtio performance by using reader thread, not writer thread

Use separate writer thread for talking to SMT solver to avoid read/write deadlock

Improve p_* functions in smtio.py

Disable OSX in .travis.yml

Add ENABLE_DEBUG config flag

Update ABC to hg rev f6838749f234

Remove vhdl2verilog

Capsulate smt-solver read/write in separate functions

Fix a bug in yosys-smtbmc in ROM handling

Remove PSL example from tests/sva/

Remove all PSL support code from verific.cc

Merge pull request #437 from mithro/master

Adding COPYING file with license information.

Adding COPYING file with license information.

This allows GitHub and other tools to detect the license info. Providing
a COPYING for LICENSE file is also pretty standard.

Revert 90be0d8 as it causes endless loops for some designs

Add "verific -vlog-libdir"

Add "verific -vlog-incdir" and "verific -vlog-define"

Update Verific README

Merge pull request #434 from Kmanfi/vector_fix

Fix input vector for reduce cells.

Fix input vector for reduce cells.

Add Verific fairness/liveness support

Update ABC to hg rev 6283c5d99b06

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

Start work on pre-processor for Verific SVA properties