Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor

makefile

btor

Added correct handling of $memwr priority

Fixed more complex undef cases in freduce

Now */ is optional in */<mode>:<arg> selections

Added "rename -hide" command

Added SAT undef model for $pmux and $safe_pmux

More "freduce" related fixes and improvements

Added support for module->connections to select %ci, %co and %x handling

Some cleanups in freduce -inv mode (and switched from -noinv to -inv)

Added autotest.sh -p option

Major rewrite of "freduce" command

Updated CHANGELOG

Fixed use of limited length buffer in ABC blif parser

Use "abc -dff" in "make test"

Added abc -dff and -clk support

Various small cleanups in stdcells.v techmap code

Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint

Updated ABC to hg rev 57517e81666b

Now using BLIF as ABC input format

Fixed commented out techmap call in tests/tools/autotest.sh

Always use BLIF as ABC output format

Fixed a stupid access after delete bug

Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)

Updated manual/command-reference-manual.tex

Added new cell types to manual

Added $bu0 cell (for easy correct $eq/$ne mapping)

Added sat -prove-x and -set-def-inputs

Improved $_MUX_ handling in opt_const

More conservastive $eq/$ne/$eqx/$nex opt_const code

Fixed sat handling of $eqx and $nex with unequal port widths

Fixed parsing of non-arg macro calls followed by "("

Small cleanup in SatGen

More $eq/$ne/$eqx/$nex fixes in opt_const

Fixed parsing of macros with no arguments and expansion text starting with "("

Fixed sat handling of $eqx and $nex cells

Fixed/improved opt_const $eq/$ne/$eqx/$nex handling

Added support for non-const === and !== (for miter circuits)

Added proper === and !== support in constant expressions

Added sat -set-def/-set-*-undef support

Renamed sat -set-undef to -set-any-undef

Fixed dfflibmap for unused output ports

Now prefer smallest cells in dfflibmap

Cleanup of dfflibmap cellmap exploration code

Further improved dfflibmap cellmap exploration

Fixed dfflibmap endless-loop bug

Added log_dump() API

Prefer non-inverted clocks in dfflibmap

Added multiplier test case from eda playground

Added elsif preproc support

Added support for macro arguments

Fixes and other changes in README

Finished AppNote 011

Progress on AppNote 011

Added sat -max_undef feature

Progress on AppNote 011

Added "sat" undef support and "sat -set-init" options

Fixed uninitialized const flags bug

Fixed compiler warining in passes/sat/eval.cc

Progress on AppNote 011

Progress on AppNote 011

Added eval -set-undef and eval -table

Fixes and improvements in RTLIL::SigSpec::parse

Fixes in fsm detect/extract for better detection of non-fsm circuits

Fixed bug in example prog in appnote 011

Keep strings as strings in const ternary and concat

Added const folding support for $signed and $unsigned

Added AstNode::mkconst_str API

Fixed generate-for (and disabled double warning for auto-wire)

Added support for $clog2 system function

Various improvements in support for generate statements

Replaced signed_parameters API with CONST_FLAG_SIGNED

Replaced RTLIL::Const::str with generic decoder method

Fix in sincos testbench gen

Added sincos test case

Added support for local regs in named blocks

Fixed gentb_constant handling in autotest backend

More ABC releated Makefile changes

Minor improvements in ABc build

Progress on AppNote 011

Fixed submod for non-primitive cells

Fixed submod for non-cleaned designs

Added Pass:call_newsel API

Added "history" command

A fix in memory_dff for write ports with static addresses

Progress on AppNote 011

Progress on AppNote 011

Progress on AppNote 011

Using RTLIL::id2cstr for prompt printing

Added dump -m and -n options

Progress on AppNote 011

Merge pull request #17 from mschmoelzer/master

Include unistd.h in svgview.cpp (required for getcwd() function)

Fixed temp net name generation in rtlil process generator for abbreviated name matching

Added pattern support to "ls" command

Improved ID matching scheme in select (and thus for all commands)

Fixes and improvements in "show" command

Include unistd.h in svgview.cpp (required for getcwd() function)

This fixes compilation on Arch Linux, which otherwise fails.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>

More progress on AppNote 011

Added "src" attribute to processes