Add SMT2 statebv mode (inactive for now)

Merge pull request #320 from joshhead/uninstall-binpath-fix

Add missing slashes in paths for make uninstall

Add missing slashes in paths for make uninstall

Running make uninstall used to fail to remove binaries:
rm -vf /usr/local/binyosys /usr/local/binyosys-config #...etc

Fix Makefile so that it runs a command like this:
rm -vf /usr/local/bin/yosys /usr/local/bin/yosys-config #...etc

Add support for SystemVerilog unique, unique0, and priority case

Preserve string parameters

Fix mingw compile issue (2nd attempt)

Fix mingw compile issue (maybe.. I can't test it)

Added SystemVerilog support for ++ and --

Update ABC to hg rev 8da4dc435b9f

Add "yosys-smtbmc -S <opt>"

Copy attributes to _TECHMAP_REPLACE_ cells

Fix eval implementation of $_NOR_

Fix incorrect "incompatible re-declaration of wire" error in tasks/functions

Add warning about x/z bits left unconnected in EDIF output

Fix double-call of log_pop() in synth_greenpak4

Merge pull request #313 from azidar/bugfix-assign-wmask

More progress on Firrtl backend.

More progress on Firrtl backend.

Chisel -> Firrtl -> Verilog -> Firrtl -> Verilog is successful for a
simple rocket-chip design.

Do not fix port widths on any blackbox instances

Fix techmap for inout ports connected to inout ports

Do not eagerly fix port widths on parameterized cells

Add "yosys -w" for suppressing warnings

Add support for verific mem initialization

Fix another stupid bug in the same line

Add verific support for initialized variables

Improve handling of Verific warnings and error messages

Fix extremely stupid typo

Add log_wire() API

Fixed some "used uninitialized" warnings in opt_expr

Evaluate all the $(shell ...) stuff for CXXFLAGS et al only once

Merge branch 'stv0g-master'

Make MacOS Makefile stuff more compact

Merge branch 'master' of https://github.com/stv0g/yosys into stv0g-master

Add optimization of (a && 1'b1) and (a || 1'b0)

Merge pull request #308 from C-Elegans/opt_compare_fix_pr

Fix issue #306, "Bug in opt -full"

Fix issue #306, "Bug in opt -full"

Add check for whether the high bit in the constant expression is greater
than the width of the variable, and optimizes that to a constant 1 or
0

Use pkg-config for linking tcl-tk

Both MacPorts and Homebrew have a pkg-config file for TCL. So lets use it.

Dont mix Homebrew and MacPorts build options

Remove space after backslash

Applied fixes from @joshhead (thanks for your effors!)

Fix handling of init attributes with strange width

Add checker support to verilog front-end

Add "rand" and "rand const" verific support

Add SV "rand" and "const rand" support

Add PSL parser mode to verific front-end

Added notes for compilation on OS X

Fix compilation on OS X in order to support both MacPorts and Homebrew

Allow standard tools to be overwritten in make invocation

Add "read_blif -wideports"

Fix undef propagation bug in $pmux SAT model

Update ABC to hg rev a2fcd1cc61a6

Merge pull request #304 from esden/gsed-darwin

Use gsed vs sed on Darwin.

Use -E sed parameter instead of -r.

BSD sed equivalent to -r parameter is -E and it is also supported in GNU
sed thus using -E results in support on both platforms.

Add assert check in "yosys-smtbmc -c"

Improve yosys-smtbmc cover() support

Partially implement cover() support in yosys-smtbmc

Further improve cover() support

Add $cover cell type and SVA cover() support

Add assert/assume support to verific front-end

Update ABC to hg rev fe96921e5d50

Update ABC scripts to use "&nf" instead of "map"

Merge branch 'C-Elegans-opt_compare_pr'

Fix indenting and log messages in code merged from opt_compare_pr

Merge branch 'opt_compare_pr' of https://github.com/C-Elegans/yosys into C-Elegans-opt_compare_pr

use Homebrew only if installed

Improve opt_rmdff support for $dlatch cells

Refactor and generalize the comparision optimization

Generalizes the optimization to:
a < C,
a >= C,
C > a,
C <= a

Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" support

Add $ff and $_FF_ support to equiv_simple

Add "yosys-smtbmc --aig-noheader" and AIGER mem init support

Be more conservative with merging large cells into FSMs

Add warnings for quickly growing FSM table size in fsm_expand

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

Fix RTLIL::Memory::start_offset initialization

Do not use b.as_int() in calculation of bit set

Add "enum" and "typedef" lexer support

Optimize compares to powers of 2
Remove opt_compare and put comparison pass in opt_expr

assuming a [7:0] is unsigned
a >= (1<<x) becomes |a[7:x]
a <  (1<<x) becomes !a[7:x]

Additionally:
a >= 0 becomes constant true,
a < 0 becomes constant false

delete opt_compare.cc
revert opt.cc to commit b7cfb7dbd (remove opt_compare step)

Merge pull request #293 from thoughtpolice/minor-cleanup

Delete some dead code in the Hierarchy pass

passes/hierarchy: delete some dead code

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Fix issue #269, optimize signed compare with 0

add opt_compare pass and add it to opt
for a < 0:
    if a is signed, replace with a[max_bit-1]
for a >= 0:
    if a is signed, replace with ~a[max_bit-1]

Fix bug in AstNode::mem2reg_as_needed_pass2()

Fix $initstate handling bug in yosys-smtbmc

Update ABC to hg id f8cadfe3861f

Updated ABC to hg id 38b26a543f1d

Fixed handling of local memories in functions

Added "check -initdrv"

Added handling of local memories and error for local decls in unnamed blocks

Implicitly set "yosys-smtbmc --noprogress" on windows

Fixed typo in tests/simple/arraycells.v

Fixed "yosys-smtbmc --noprogress"

Added Verilog $rtoi and $itor support

Handle "always 1" like "always -1" in .smtc files

Added cell port resizing to hierarchy pass

Updated ABC to hg id 55cd83f432c0

Bugfix in RTLIL::SigSpec::remove2()

Updated ABC to hg id 8c6a635f7a20

Improved write_json help message

Updated ABC to hg id f591c081d5e7

Merge pull request #284 from azonenberg/master

greenpak4: Support for many new cell types

Merge pull request #1 from azonenberg-hk/master

Pull changes from HK trip

Merge https://github.com/cliffordwolf/yosys