aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Implement `-write-solution` option for the `qbfsat` command.Alberto Gonzalez2020-04-041-7/+28
|
* Clean up `passes/sat/qbfsat.cc`.Alberto Gonzalez2020-04-041-86/+101
|
* Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole ↵Alberto Gonzalez2020-04-041-29/+39
| | | | value recovery using that mode.
* Hole value recovery and specialization implementation for `qbfsat` command.Alberto Gonzalez2020-04-041-20/+63
|
* Barebones implementation of `qbfsat` command.Alberto Gonzalez2020-04-041-32/+157
|
* Initial skeleton for `qbfsat` command.Alberto Gonzalez2020-04-042-0/+207
|
* Rename `-duplicate` to `-push-copy`.Alberto Gonzalez2020-04-041-6/+6
| | | | Co-Authored-By: whitequark <whitequark@whitequark.org>
* Add `-duplicate` option to the `design` command.Alberto Gonzalez2020-04-031-2/+13
|
* Merge pull request #1835 from boqwxp/cleanup_sat_exposeEddie Hung2020-03-301-85/+66
|\ | | | | Clean up pseudo-private member usage in `passes/sat/expose.cc`.
| * Remove unused function parameter.Alberto Gonzalez2020-03-301-2/+2
| |
| * Simplify iterating over selected modules or cells.Alberto Gonzalez2020-03-301-16/+4
| | | | | | | | Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
| * Clean up more in `passes/sat/expose.cc`.Alberto Gonzalez2020-03-301-64/+59
| | | | | | | | Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
| * Clean up pseudo-private member usage in `passes/sat/expose.cc`.Alberto Gonzalez2020-03-281-11/+9
| |
* | Merge pull request #1832 from boqwxp/cleanup_passes_cmds_designEddie Hung2020-03-301-31/+33
|\ \ | | | | | | Clean up pseudo-private member usage in `passes/cmds/design.cc`.
| * | Replace `RTLIL::id2cstr()` with `log_id()`.Alberto Gonzalez2020-03-301-1/+1
| | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | Clean up pseudo-private member usage in `passes/cmds/design.cc`.Alberto Gonzalez2020-03-281-31/+33
| |/
* | Merge pull request #1786 from boqwxp/hierarchycc_cleanupEddie Hung2020-03-301-69/+63
|\ \ | | | | | | Clean up pseudo-private member usage in `passes/hierarchy/hierarchy.cc`.
| * | Fix double deletion in `passes/hierarchy/hierarchy.cc`.Alberto Gonzalez2020-03-301-1/+0
| | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | Clean up pseudo-private member usage in `passes/hierarchy/hierarchy.cc`.Alberto Gonzalez2020-03-191-68/+63
| | |
* | | Merge pull request #1831 from boqwxp/cleanup_sat_evalEddie Hung2020-03-301-46/+44
|\ \ \ | | | | | | | | Clean up pseudo-private member usage in `passes/sat/eval.cc`.
| * | | Further clean up `passes/sat/eval.cc`.Alberto Gonzalez2020-03-301-16/+15
| | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | Clean up pseudo-private member usage in `passes/sat/eval.cc`.Alberto Gonzalez2020-03-281-35/+34
| | |/ | |/|
* | | Merge pull request #1833 from boqwxp/cleanup_sat_freduceEddie Hung2020-03-301-15/+13
|\ \ \ | | | | | | | | Clean up pseudo-private member usage in `passes/sat/freduce.cc`.
| * | | Further clean up `passes/sat/freduce.cc`.Alberto Gonzalez2020-03-301-3/+2
| | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | Clean up pseudo-private member usage in `passes/sat/freduce.cc`.Alberto Gonzalez2020-03-281-13/+12
| |/ /
* | | Merge pull request #1778 from rswarbrick/sv-definesN. Engelhardt2020-03-301-1/+2
|\ \ \ | | | | | | | | Add support for SystemVerilog-style `define to Verilog frontend
| * | | Add support for SystemVerilog-style `define to Verilog frontendRupert Swarbrick2020-03-271-1/+2
| |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | Explicit include of csignalMiodrag Milanovic2020-03-281-0/+1
| | |
* | | windows - there are no stopping signalsMiodrag Milanovic2020-03-281-0/+1
|/ /
* | Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fixClaire Wolf2020-03-261-1/+1
|\ \ | | | | | | techmap: Fix cell names with _TECHMAP_REPLACE_.*
| * | techmap: Fix cell names with _TECHMAP_REPLACE_.*Marcin Kościelnicki2020-03-231-1/+1
| | | | | | | | | | | | Fixes #1804.
* | | Merge pull request #1763 from boqwxp/issue1762N. Engelhardt2020-03-232-12/+53
|\ \ \ | | | | | | | | 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`.Alberto Gonzalez2020-03-231-1/+2
| | | | | | | | | | | | | | | | Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
| * | | Suppress warnings for empty `select` arguments when `-count` or `-assert-*` ↵Alberto Gonzalez2020-03-231-4/+5
| | | | | | | | | | | | | | | | options are set.
| * | | Warn on empty selection for `add` command.Alberto Gonzalez2020-03-232-6/+40
| | | |
| * | | Add N:* to select language, fix some old codeClaire Wolf2020-03-171-4/+9
| | |/ | |/| | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* | | Merge pull request #1785 from boqwxp/mitercc_cleanupN. Engelhardt2020-03-231-60/+56
|\ \ \ | | | | | | | | Clean up pseudo-private member usage in `passes/sat/miter.cc`.
| * | | Clean up pseudo-private member usage in `passes/sat/miter.cc`.Alberto Gonzalez2020-03-191-60/+56
| |/ /
* | / iopadmap: Attempt to give new wires/cells meaningful namesR. Ou2020-03-221-6/+18
| |/ |/|
* | fsm_extract: Initialize celltypes with full design.Marcin Kościelnicki2020-03-191-5/+1
| | | | | | | | Fixes #1781.
* | Merge pull request #1774 from boqwxp/execN. Engelhardt2020-03-192-0/+204
|\ \ | |/ |/| Add `exec` command to allow running shell commands from inside Yosys scripts
| * Update copyright and license header.Alberto Gonzalez2020-03-181-1/+1
| | | | | | | | | | 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.Alberto Gonzalez2020-03-181-5/+18
| | | | | | | | Co-Authored-By: Miodrag Milanović <mmicko@gmail.com>
| * Allow specifying multiple regexes to match in `exec` command output, and ↵Alberto Gonzalez2020-03-161-33/+67
| | | | | | | | also to specify regexes that must _not_ match.
| * Add `exec` command to run shell commands.Alberto Gonzalez2020-03-162-0/+157
| |
* | Merge pull request #1769 from boqwxp/select_cleanupEddie Hung2020-03-171-162/+157
|\ \ | |/ |/| Clean up code style and pseudo-private member usage in `passes/cmds/select.cc`
| * Further clean up `passes/cmds/select.cc`.Alberto Gonzalez2020-03-161-11/+9
| | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * Cleanup code style and pseudo-private member usage in `passes/cmds/select.cc`.Alberto Gonzalez2020-03-161-162/+159
| |
* | Add YS_ prefix to macros, add explanation and apply to older version as wellMiodrag Milanovic2020-03-131-10/+10
| |
* | Use boost xpressive for gcc 4.8Miodrag Milanovic2020-03-131-28/+10
|/
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-02 01:32:38 +0000