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

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

Merge pull request #1036 from YosysHQ/eddie/xilinx_dram

Add "min bits" and "min wports" to xilinx dram rules

Fix spacing

Add "min bits" and "min wports" to xilinx dram rules

Add opt_rmdff tests

opt_rmdff to work on $dffe and $_DFFE_*

Add whitebox support to DRAM