Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

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

Merge pull request #1639 from YosysHQ/eddie/fix_read_xaiger

read_aiger: $lut prefix in front

Update README.md for (* abc9_required *)

abc9: aAdd test to check $_NOT_s are absorbed

read_aiger: $lut prefix in front

abc9_ops: -write_box is empty, output a dummy box to prevent ABC error

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

write_xaiger: skip abc9_flop only if abc_box_seq present

Merge pull request #1636 from YosysHQ/eddie/fix_synth_xilinx_W

synth_xilinx: fix default W value for non-xc7

abc9_ops: cope with (* abc9_flop *) in place of (* abc9_box_id *)

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

write_xaiger: do not export flop inputs as POs

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

abc9_ops: -check to check abc9_{arrival,required}

abc9_ops: implement a requireds_cache

abc9_ops: generate flop box ids, add abc9_required to FD* cells

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

abc9_ops: -reintegrate to not trim box padding anymore

Merge pull request #1635 from YosysHQ/eddie/print_stats

print_stats footer to return peak memory, option for including children

abc9_ops: fix -reintegrate handling of $__ABC9_DELAY

abc9_ops: -prep_times -> -prep_delays; add doc

abc9_ops: cleanup

abc9_ops: discard $__ABC9_DELAY boxes

write_xaiger: skip if no arrival times

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

abc9_ops/write_xaiger: update doc

abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger

Adding (* techmap_autopurge *) to FD* in abc9_map.v

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

Merge pull request #1633 from YosysHQ/eddie/fix_autoname

autoname: do not rename ports

Merge pull request #1632 from YosysHQ/eddie/fix1630

read_aiger: uniquify wires with $aiger<autoidx> prefix

As before, only display MEM if Linux or FreeBSD

synth_xilinx: fix default W value for non-xc7

print_stats footer to return peak memory, option for including children

Merge pull request #1623 from YosysHQ/mmicko/edif_attr

Export wire properties in EDIF

autoname: do not autoname ports

autoname: add testcase with $-prefix-ed port

read_aiger: also rename "$0"

abc9_ops: -break_scc -> -mark_scc using (* keep *), remove -unbreak_scc

abc9_ops: ignore inouts of all cell outputs for topo ordering

write_xaiger: fix case of PI and CI and (* keep *)

abc9: break SCC by setting (* keep *) on output wires

read_aiger: uniquify wires with $aiger<autoidx> prefix

Add #1630 testcase

abc9: add -run option

abc9: respect (* keep *) on cells

write_xaiger: add support and test for (* keep *) on wires

read_aiger: make $and/$not/$lut the prefix not suffix

write_xaiger: cache arrival times

abc9: log which module is being operated on

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

Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpad

abc9: add some scripts/options into "scratchpad"

Merge pull request #1627 from YosysHQ/eddie/fix1626

synth_ice40: -abc2 to always use `abc` even if `-abc9`

Add #1626 testcase

Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required

synth_ice40: -abc2 to always use `abc` even if `-abc9`

Another conflict

cleanup

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

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

write_xaiger: create holes_sigmap before modifications

MIssed this merge conflict

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

Merge branch 'eddie/abc9_refactor' of github.com:YosysHQ/yosys into eddie/abc9_refactor

Merge pull request #1625 from YosysHQ/eddie/abc9_mfs

abc9: re-enable "&mfs" optimisation for synth_{xilinx,ecp5}

abc9: fix help message, found by @nakengelhardt

write_xaiger: sort holes by offset as well as port_id

abc9: cleanup

abc9: remove -nomfs option

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

Bump ABCREV for upstream fix

Merge pull request #1622 from YosysHQ/clifford/onpassreg

Add Pass::on_register() and Pass::on_shutdown()

log_debug() for abc9_{arrival,required} times

Add abc9_required to DSP48E1.{A,B,C,D,PCIN}

Copy-pasta

synth_xilinx: synth_xilinx.abc9.xc7.W to replace XC7_WIRE_DELAY macro

abc9: add abc9.verify and abc9.debug options

abc9_ops -prep_times: generate flop boxes from abc9_required attr

abc9_ops -prep_times: update comment

Add abc9_ops -check, -prep_times, -write_box for required times

Merge pull request #1624 from YosysHQ/eddie/abc9_leak

abc9: fix memory leak

abc9: fix memory leak

abc9: fix typos

this one is fine

Fix tests

remove whitespace

Use CARRY4 for abc1 as well, preventing issues with Vivado

Export wire properties as well in EDIF

Add abc9 sanity test

Tune abc9.script.flow

Add '-v' to &if for abc9.script.default.fast

abc9: start post-fix with semicolon

abc9.script.* constpad entries to start with '+'

Revert "abc9: if -script value is a file, then source it, otherwise commands"

This reverts commit 0696b7bc9e4bd86eadd0e0b92696392cc5dc6172.

Move abc9.* constpad entries to Abc9Pass::on_register()

Merge remote-tracking branch 'origin/clifford/onpassreg' into eddie/abc9_scratchpad

abc9_exe: -box to not require -lut

write_xaiger: cleanup

Bump version

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