Add FD*E_1 -> FD*E techmap rules

Techmap flops before ABC again

parse_xaiger to cope with flops

ABC9 to understand flops

Merge branch 'xaig' into xc7mux

Throw out unused code inherited from abc

Fix issue where keep signal became PI, but also box was adding CI driver

read_xaiger() to name box signals

Fix spelling

Remove whitebox attribute from DRAMs for now

Do not re-sort box_module ports

Remove whitespace

Revert "Re-enable &dc2"

This reverts commit 8c58c728a79954603289abf3520139da0a9bbb26.

Do not double count LUT1s

Carry in/out to be the last input/output for chains to be preserved

Re-enable &dc2

Reduce -W to 160

Some more realistic delays...

Erase all boxes before stitching

Call &if with -W 250

Bump ABC

Rename to #23

Add abc_test024

Fix abc_test024

Add some debug to abc9

Add abc9_test022

Fix for abc9_test022

Small improvement

From master

From master

Typo

Update from master

Update README.md from master

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

read_aiger to only clean own design

Misspell

Merge pull request #1050 from YosysHQ/clifford/wandwor

Refactored wand/wor support

Merge pull request #1048 from mmicko/fix_enable_pyosys

Moved pyosys block in Makefile

Refactor hierarchy wand/wor handling

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

Add actual wandwor test that is part of "make test"

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

Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandwor

Remove info line in 2nd load of conf file

Moved pyosys block in Makefile

Merge pull request #1045 from mmicko/afl-gcc-target

afl-fuzzer compile config

If driver not found, use LUT2

Parse "a" extension and boxes from map file

Map file to include boxes not CI/CO

Make MUXF{7,8} and CARRY4 whitebox

Re-enable lib_whitebox

Disconnect all ABC boxes too

Remove unused function

parse_xaiger to not parse symbol table

Parse without wideports

Remove mapped_mod when done

Instantiate cell type (from sym file) otherwise 'clean' warnings

make config-afl-gcc to help creating conf file

Add 'cinput' and 'coutput' to symbols file for boxes

Added afl-gcc as target for fuzzer

Merge branch 'master' into wandwor

reformat wand/wor test

remove port direction workaround from test case

update README.md with wand/wor information

remove leftovers from ast data structures

move wand/wor resolution into hierarchy pass

Merge pull request #1044 from mmicko/invalid_width_range

Give error instead of asserting for invalid range, fixes #947

Merge pull request #1043 from mmicko/unsized_constant

Added support for unsized constants, fixes #1022

Merge pull request #1026 from YosysHQ/clifford/fix1023

 Keep zero-width wires in opt_clean if and only if they are ports

Merge pull request #1030 from Kmanfi/makefile_osx

OS X related Makefile fixes.

Give error instead of asserting for invalid range, fixes #947

Added support for unsized constants, fixes #1022
Includes work from @sumit0190 and @AaronKel

Guard all Python-api related items.

Fix "a" connectivity

Blackboxes

ABC9 to call &sweep

Fix padding, remove CIs from undriven_bits before erasing undriven POs

Typo

Muck about with LUT delays some more

Combine ABC_COMMAND_LUT

Fix "a" extension

Merge pull request #1035 from YosysHQ/eddie/opt_rmdff

opt_rmdff to work on $dffe and $_DFFE_*

Merge pull request #1042 from mmicko/git_ignore_python

Add files to ignore for python build

Add files to ignore for python build

Fix "write_xaiger", and to write each box contents into holes

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

Revert enable check

Merge pull request #1041 from YosysHQ/clifford/fix1040

Fix handling of offset and upto module ports in write_blif

Fix handling of offset and upto module ports in write_blif, fixes #1040

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

Try new LUT delays

Fix init

Fix typos

Add more tests

Call proc

opt_rmdff to optimise even in presence of enable signal, even removing

Fix duplicate driver

Add comments

Resolve @cliffordwolf review, set even if !has_init

Add &fraig and &mfs back

Transpose CARRY4 delays

Add proper error message for btor recursion_guard

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

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