Add 'abc_arrival' attribute for flop outputs

Update box timings

Move from cell attr to module attr

Merge remote-tracking branch 'origin/master' into xaig_dff

Use attributes instead of params

Set abc_flop and use it in toposort

Use %d

Merge pull request #1290 from YosysHQ/eddie/pr1266_again

Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER (retry)

Merge branch 'master' into eddie/pr1266_again

Merge pull request #1283 from YosysHQ/clifford/fix1255

Fix various NDEBUG compiler warnings

Merge pull request #1303 from YosysHQ/bogdanvuk/opt_share

Implement opt_share from @bogdanvuk

Merge pull request #1300 from YosysHQ/eddie/cleanup2

Use ID::{A,B,Y,keep,blackbox,whitebox} instead of ID()

Fix erroneous ifndef-NDEBUG in verific.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge branch 'eddie/abc9_refactor' into xaig_dff

Use ID()

Add doc for abc_* attributes

Update abc_* attr in ecp5 and ice40

Compute abc_scc_break and move CI/CO outside of each abc9

Attach abc_scc_break, abc_carry_{in,out} attr to ports not modules

Merge pull request #1250 from bwidawsk/master

techlibs/intel: Clean up Makefile

Use ID() macro

Add 'opt_share' to CHANGELOG

Add 'opt_share' to 'opt -full'

Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_share

Remove unused variable

Move namespace alias

Remove `using namespace RTLIL;`

Merge pull request #1302 from mmicko/dfflibmap_regression

DFFLIBMAP pass regression fix

Do not use Verific in tests/various/write_gzip.ys

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Regression in abc9

Just needed IDs to be IdString

Add missing NMUX to "abc -g" handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Try this for gcc-4.8?

Fix spacing

Use ID::keep more liberally too

Use more ID::{A,B,Y,blackbox,whitebox}

Merge pull request #1299 from YosysHQ/eddie/cleanup2

More cleanup, more use of ID() inside passes/techmap

Merge branch 'master' into clifford/fix1255

Fix

Change signature of parse_blif to take IdString

ID(\\.*) -> ID(.*)

Convert a few more to ID

Transform all "\\*" identifiers into ID()

Transform "$.*" to ID("$.*") in passes/techmap

More use of IdString::in()

Merge pull request #1297 from YosysHQ/eddie/fix_1284_again

extract_fa: Un-inverting AND with an inverted input also inverts input to X{,N}OR

Merge remote-tracking branch 'origin/master' into eddie/fix_1284_again

Merge pull request #1275 from YosysHQ/clifford/ids

New ID() macro and now also use it

Merge branch 'master' into clifford/ids

Merge pull request #1295 from YosysHQ/eddie/fix_travis

Fix Travis CI

AND with an inverted input, causes X{,N}OR output to be inverted too

Revert "Only sort leaves on non-ANDNOT/ORNOT cells"

This reverts commit 5ec5f6dec7d4cdcfd9e1a2cda999886605778400.

Revert earliest to gcc-4.8, compile iverilog with default compiler

Revert "Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!"

This reverts commit c82b2fa31f8965be2680c87af6cd9ac5d26ead4d.

Remove .0 from clang-8.0

Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!

bionic -> xenial as its on whitelist

Bump gcc from 4.8 to 4.9 as undefined reference

... to `__warn_memset_zero_len'.
Also remove gcc-6, bump gcc-7 to gcc-9, clang from 5.0 to 8.0

Only sort leaves on non-ANDNOT/ORNOT cells

Merge pull request #1294 from YosysHQ/revert-1288-eddie/fix_1284

Revert "Since $_ANDNOT_ is not symmetric, do not sort leaves"

Revert "Since $_ANDNOT_ is not symmetric, do not sort leaves"

Merge pull request #1288 from YosysHQ/eddie/fix_1284

Since $_ANDNOT_ is not symmetric, do not sort leaves

Fix various NDEBUG compiler warnings, closes #1255

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix $lut pin ordering inside $__ICE40_CARRY_WRAPPER

Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"

This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing
changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.

Since $_ANDNOT_ is not symmetric, do not sort leaves

Merge pull request #1152 from 1138-4EB/feat-docker

Dockerfile

Merge pull request #1277 from YosysHQ/eddie/fix_1262

opt_expr -fine to now trim LSBs of $alu cells too

Merge remote-tracking branch 'origin/master' into eddie/fix_1262

Add YOSYS_NO_IDS_REFCNT configuration macro

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Use ID() in kernel/*, add simple ID:: hack (to be improved upon later)

Signed-off-by: Clifford Wolf <clifford@clifford.at>

More improvements and cleanups in IdString subsystem

- better use of "inline" keyword
- deprecate "sticky" IDs feature
- improve handling of empty ID
- add move constructor

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Use ID() macro in all of passes/opt/

This was obtained by running the following SED command in passes/opt/
and then using "meld foo.cc foo.cc.orig" to manually fix all resulting
compiler errors.

sed -i.orig -r 's/"\\\\([a-zA-Z0-9_]+)"/ID(\1)/g; s/"(\$[a-zA-Z0-9_]+)"/ID(\1)/g;' *.cc

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Improve API of ID() macro

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder

Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"

Wrong way around

Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"

cover_list -> cover as per @cliffordwolf

Merge pull request #1258 from YosysHQ/eddie/cleanup

Cleanup a few barnacles across codebase

Merge pull request #1261 from YosysHQ/clifford/verific_init

Automatically prune init attributes in verific front-end

Merge pull request #1263 from ucb-bar/firrtl_err_on_unsupported_cell

FIRRTL error on unsupported cell

Merge pull request #1270 from YosysHQ/eddie/alu_lcu_doc

Add a few comments to document $alu and $lcu

Merge pull request #1272 from mmicko/travis_fix

Propagate parameters for Travis build

Merge pull request #1274 from YosysHQ/eddie/fix_1271

Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro

Merge pull request #1276 from YosysHQ/clifford/fix1273

Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default gate lib

Grammar

Reformat so it shows up/looks nice when "help $alu" and "help $alu+"

Separate $alu handling

Add $alu tests

opt_expr -fine to trim LSBs of $alu too

Add alumacc versions of opt_expr tests

Add new $alu test, remove wreduce

Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default gate lib, add "abc -g all", fixes #1273

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Cleanup some more

Merge pull request #1267 from whitequark/proc_prune-fix-1243

proc_prune: fix handling of exactly identical assigns

Simplify opt_expr tests using equiv_opt

A bit more on where $lcu comes from

Add more comments

Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro

ABC requires it like this