Merge remote-tracking branch 'origin/xaig' into xc7mux

Fix for abc_scc_break is bus

More meaningful error message

Re-enable dist RAM boxes for ECP5

Revert "Re-enable dist RAM boxes for ECP5"

This reverts commit ca0225fcfaa8c9c68647034351a1569464959edf.

Do not use log_id as it strips \\, also fix scc for |wire| > 1

Re-enable dist RAM boxes for ECP5

Add Xilinx dist RAM as comb boxes

Fix abc9's scc breaker, also break on abc_scc_break attr

Add tests/various/abc9.{v,ys} with SCC test

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

Merge remote-tracking branch 'origin/eddie/ram32x1d' into xc7mux

Add RAM32X1D support

Reduce MuxFx resources in mux techmapping

Reduce number of decomposed muxes during techmap

Revert "Fix techmapping muxes some more"

This reverts commit 0aae3b4f4361db6d2c6b9c8d69df041f40519cec.

Move comment

Fix techmapping muxes some more

Fix mux techmapping

Modify costs for muxcover

Revert Makefile

Change synth_xilinx's -nomux to -minmuxf <int>

Merge pull request #1124 from mmicko/json_ports

Add upto and offset to JSON ports

Merge remote-tracking branch 'origin/xaig' into xc7mux

Add comments to ecp5 box

Add comment to xc7 box

Fix and cleanup ice40 boxes for carry in/out

Carry in/out box ordering now move to end, not swap with end

Remove DFF and RAMD box info for now

Merge branch 'master' into xaig

Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG

Remove $_MUX4_ techmap rule

Fix wreduce call (!!!), tweak muxcover costs

Merge remote-tracking branch 'origin/xaig' into xc7mux

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

Fix CHANGELOG

Merge remote-tracking branch 'origin/xaig' into xc7mux

Reduce log_debug spam in parse_xaiger()

Merge remote-tracking branch 'origin/xaig' into xc7mux

Do not rename non LUT cells in abc9

Replace assert with error message

Add log_push()/log_pop() inside write_xaiger

Add log_push()/log_pop() inside write_xaiger

Merge pull request #1108 from YosysHQ/clifford/fix1091

Add support for partial matches to muxcover

Constrain wreduce only if wide mux

Simplify and comment out mux_map.v

synth_xilinx to now wreduce except $mux, remove extra peepopt

mux_map to no longer copy last value into 1'bx

Fix spacing

Fix spacing again, A_forward -> A_backward

Restore wreduce to synth_xilinx, after muxcover

Revert B_SIGNED optimisation, since only works for Y_WIDTH==1

Fix spacing

synth_xilinx to use _ABC macro, and perform muxpack again

Add $__XILINX_MUXF78 to preserve entire box

Do not rename non LUT cells in abc9

Replace assert with error message

Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wip

Fix alignment

Merge branch 'xc7mux' into xc7mux_wip

One more workaround for gcc-4.8

One more workaround for gcc-4.8

Workaround issues exposed by gcc-4.8

No point logging constant bit

Move comment

Revert "autotest.sh to cat *.err on error"

This reverts commit 21fa8972f3d04f717d0d4afbfa252e842c807619.

Revert "Cat more stuff"

This reverts commit 638557de3ec600ebe240e2f25e337028ce453ba2.

Workaround issues exposed by gcc-4.8

Revert "Stab in the dark with aig_map from dict -> std::map"

This reverts commit 70ee10b650e01b7b262baa5c6fda934fb860dfce.

Cat more stuff

No point logging constant bit

Move comment

Stab in the dark with aig_map from dict -> std::map

Add FIXME about need for -mux4

Since muxcover uses MUX4s, blast them back to gates here

Expand synth -coarse without wreduce, move muxcover

Fix json formatting

Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip

Add upto and offset to JSON ports

autotest.sh to cat *.err on error

Merge pull request #1123 from mmicko/fix_typo

Fix json frontend loading upto

Replace "muxcover -freedecode" with "muxcover -dmux=cost"

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

Fix typo

Merge pull request #1085 from YosysHQ/eddie/shregmap_improve

Improve shregmap to handle case where first flop is common to two chains

Merge pull request #1122 from YosysHQ/clifford/jsonports

Added JSON upto and offset

Added JSON upto and offset

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

Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv

ecp5: Improve mapping of $alu when BI is used

ecp5: Improve mapping of $alu when BI is used

Signed-off-by: David Shah <dave@ds0.me>

Merge pull request #1117 from bwidawsk/more-home

Add a few more filename rewrites

Merge pull request #1119 from YosysHQ/eddie/fix1118

Make genvar a signed type

Merge pull request #1116 from YosysHQ/eddie/fix1115

Sign extend unsized 'bx and 'bz values

Add "muxcover -freedecode"

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

Fix spacing

Revert Makefile

Fix spacing

Revert Makefile

Refactor bit2aig for less lookups

Fix gcc invalidation behaviour for write_aiger

Fix gcc error, due to dict invalidation during recursion

Fix gcc warning of potentially uninitialised