Merge pull request #1831 from boqwxp/cleanup_sat_eval

Clean up pseudo-private member usage in `passes/sat/eval.cc`.

Merge pull request #1833 from boqwxp/cleanup_sat_freduce

Clean up pseudo-private member usage in `passes/sat/freduce.cc`.

Further clean up `passes/sat/eval.cc`.

Co-Authored-By: Eddie Hung <eddie@fpgeh.com>

Further clean up `passes/sat/freduce.cc`.

Co-Authored-By: Eddie Hung <eddie@fpgeh.com>

Merge pull request #1811 from PeterCrozier/typedef_scope

Support module/package/interface/block scope for typedef names.

Merge pull request #1778 from rswarbrick/sv-defines

Add support for SystemVerilog-style `define to Verilog frontend

Explicit include of csignal

windows - there are no stopping signals

Clean up pseudo-private member usage in `passes/sat/freduce.cc`.

Clean up pseudo-private member usage in `passes/sat/eval.cc`.

Merge pull request #1607 from whitequark/simplify-simplify-meminit

ast: avoid intermediate wires/assigns when lowering to AST_MEMINIT

Inline productions to follow house style.

Add support for SystemVerilog-style `define to Verilog frontend

This patch should support things like

  `define foo(a, b = 3, c)   a+b+c

  `foo(1, ,2)

which will evaluate to 1+3+2. It also spots mistakes like

  `foo(1)

(the 3rd argument doesn't have a default value, so a call site is
required to set it).

Most of the patch is a simple parser for the format in preproc.cc, but
I've also taken the opportunity to wrap up the "name -> definition"
map in a type, rather than use multiple std::map's.

Since this type needs to be visible to code that touches defines, I've
pulled it (and the frontend_verilog_preproc declaration) out into a
new file at frontends/verilog/preproc.h and included that where
necessary.

Finally, the patch adds a few tests in tests/various to check that we
are parsing everything correctly.

Merge pull request #1815 from boqwxp/fix-ef-optimize

Fix solver output parsing for exists-forall optimization

Do not change solver output parsing for non-exists-forall problems.

Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fix

techmap: Fix cell names with _TECHMAP_REPLACE_.*

Skip reading stdout from the solver that if it isn't a line reading only "sat", "unsat", or "unknown".

Revert part of 0fda8308 from #1746 that broke other smtbmc flows

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Error duplicate declarations of a typedef name in the same scope.

Support module/package/interface/block scope for typedef names.

Merge pull request #1763 from boqwxp/issue1762

Closes #1762. Adds warnings for `select` arguments not matching any object and for `add` command when no modules selected

Do not warn on empty selection with prefixed `arg_memb`.

Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>

Suppress warnings for empty `select` arguments when `-count` or `-assert-*` options are set.

Add tests for `select` command warnings.

Merge pull request #1803 from Grazfather/typedef

Support standard typedef grammar (Fixed)

Merge pull request #1805 from hofstee/master

fix typo in `write_smt2` help

techmap: Fix cell names with _TECHMAP_REPLACE_.*

Fixes #1804.

Merge pull request #1785 from boqwxp/mitercc_cleanup

Clean up pseudo-private member usage in `passes/sat/miter.cc`.

fix typo in `write_smt2` help

Warn on empty selection for `add` command.

Simplify was not being called for packages.  Broke typedef enums.

Build pkg_user_types before parsing in case of changes in the design.

Clear pkg_user_types if no packages following a 'design -reset-vlog'.

Revert typedef tests to standard grammar.

Parser changes to support typedef.

iopadmap: Attempt to give new wires/cells meaningful names

Merge pull request #1794 from YosysHQ/dave/mince-abc9-fix

ice40: Map unmapped 'mince' DFFs to gate level

Merge pull request #1795 from smunaut/fix_abc9_spram

ice40: Fix typos in SPRAM ABC9 timing specs

ice40: Fix typos in SPRAM ABC9 timing specs

Signed-off-by: Sylvain Munaut <tnt@246tNt.com>

Add test for abc9+mince issue

Signed-off-by: David Shah <dave@ds0.me>

ice40: Map unmapped 'mince' DFFs to gate level

Signed-off-by: David Shah <dave@ds0.me>

xilinx: Mark IOBUFDS.IOB as external pad

Merge pull request #1788 from YosysHQ/eddie/fix_ndebug

Fix NDEBUG warnings

fsm_extract: Initialize celltypes with full design.

Fixes #1781.

Merge pull request #1787 from YosysHQ/mmicko/lexer_deps

Add dependency to verilog_lexer.cc

Add one mode dependency

Fix NDEBUG warnings

Merge pull request #1774 from boqwxp/exec

Add `exec` command to allow running shell commands from inside Yosys scripts

Merge pull request #1775 from huaixv/asserts_locations

Add precise locations for asserts

Clean up pseudo-private member usage in `passes/sat/miter.cc`.

Add precise locations for asserts

Merge pull request #1780 from YosysHQ/fix-test-bash

Fix make test on macOS: add bash to brewfile & fix argument order

fix argument order for macOS compatibility

add bash to brewfile

Default bash on macOS is version 3, which does not support `define -A`, now used in `tests/arch/run-test.sh`. Use brew to install newer bash.

Update copyright and license header.

I hereby assign to Claire Wolf the copyright for all work I did on `passes/cmds/exec.cc`.
In the event that this copyright assignment is not legally valid, I offer this work under the ISC license.

Clean up `exec` code according to review.

Co-Authored-By: Miodrag Milanović <mmicko@gmail.com>

Add N:* to select language, fix some old code

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #1769 from boqwxp/select_cleanup

Clean up code style and pseudo-private member usage in `passes/cmds/select.cc`

Merge pull request #1776 from boqwxp/precise_locations

Add AST node source location information in a couple more parser rules.

Add AST node source location information in a couple more parser rules.

Further clean up `passes/cmds/select.cc`.

Co-Authored-By: Eddie Hung <eddie@fpgeh.com>

Cleanup code style and pseudo-private member usage in `passes/cmds/select.cc`.

Update Copyright

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #1771 from waldyrious/license-update

License: bump year and add title

Merge pull request #1768 from boqwxp/smt2_cleanup

Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.

Merge pull request #1746 from boqwxp/optimization

Add support for optimizing exists-forall problems.

Add test for `exec` command.

Allow specifying multiple regexes to match in `exec` command output, and also to specify regexes that must _not_ match.

Add `exec` command to run shell commands.

Merge pull request #1773 from smunaut/fix_spram_model

ice40: Fix SPRAM model to keep data stable if chipselect is low

ice40: Fix SPRAM model to keep data stable if chipselect is low

According to the official simulation model, and also cross-checked
on real hardware, the data output of the SPRAM when chipselect is
low is kept stable. It doesn't go undefined.

Signed-off-by: Sylvain Munaut <tnt@246tNt.com>

License: bump year and add title

Fix invalid verilog syntax

Merge pull request #1759 from zeldin/constant_with_comment_redux

refixed parsing of constant with comment between size and value

Add regression tests for new handling of comments in constants

Merge pull request #1754 from boqwxp/precise_locations

Set AST node source location in more parser rules.

Merge pull request #1766 from YosysHQ/mmicko/regex_gcc48

Regex support for GCC 4.8

Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.

Add support for optimizing exists-forall problems.

Modifies smt2 backend to recognize `$anyconst` etc. assigned to a wire with the `maximize` or `minimize` attribute and emit `; yosys-smt2-maximize` or `; yosys-smt2-minimize` directives as appropriate.
Modifies `backends/smt2/smtbmc.py` and `smtio.py` to recognize those directives and emit a `(maximize ...)` or `(minimize ...)` command at the end of `smt_forall_assert()`, as described in the paper "νZ - An Optimizing SMT Solver" by Nikolaj Bjørner et al.
Adds an example `examples/smtbmc/demo9.v` to show how it can be used.

exclude clang from checking

Add YS_ prefix to macros, add explanation and apply to older version as well

Merge pull request #1764 from Xiretza/fix-abcrev-check

Improve ABC repository management in Makefile

Added back tests for logger

Use boost xpressive for gcc 4.8

remove include where not used

Improve ABC repository management in Makefile

`rev-parse --short` output may have a different abbreviated hash length than
ABCREV, so a simple string comparison always fails, even if the correct
commit is checked out. Pass both commits through rev-parse and then
compare the full hashes instead.

Add an `echo-abc-rev` target so that packaging scripts can set ABCPULL=0 and
handle all the git nastiness themselves.

Added filter-out  for libyosys.so

Revert "Clean up 'install' Makefile target"

This reverts commit 2a746234fec2f6d14e9bfa40fd7f3478cdd539ea.

Revert "Improve ABC repository management in Makefile"

This reverts commit 90404e1969443a1b8a767ab8f3dc311709c5fe9d.

Merge pull request #1666 from Xiretza/improve-makefile

Makefile improvements for packaging scripts

Merge pull request #1751 from boqwxp/add_assert

Extend `add` command to allow adding $assert cells.

Add mandatory wasm file to zip file as well

Merge pull request #1757 from jiegec/fix-emcc

Fix compilation for emcc

refixed parsing of constant with comment between size and value

The three parts of a based constant (size, base, digits) are now three
separate tokens, allowing the linear whitespace (including comments)
between them to be treated as normal inter-token whitespace.

Add EXTRA_EXPORTED_RUNTIME_METHODS env for yosysjs

Fix compilation for emcc

verilog: add test

Merge pull request #1743 from YosysHQ/eddie/abc9_keep

abc9: improve (* keep *) handling

Merge pull request #1744 from YosysHQ/eddie/fix1675

Bump ABCREV to receive fix for #1675

Extend `add` command to allow adding cells for verification like $assert, $assume, etc.