aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* Cleanup use of hard-coded default parameters in light of #1945Eddie Hung2020-04-227-48/+48
|
* Merge pull request #1950 from YosysHQ/eddie/design_importEddie Hung2020-04-221-2/+8
|\ | | | | design: -import to not count black/white-boxes as candidates for top
| * design: -import to not count black/white-boxes as candidates for topEddie Hung2020-04-161-2/+8
| |
* | Merge pull request #1976 from YosysHQ/dave/fix-sim-constClaire Wolf2020-04-221-1/+5
|\ \ | | | | | | sim: Fix handling of constant-connected cell inputs at startup
| * | sim: Fix handling of constant-connected cell inputs at startupDavid Shah2020-04-211-1/+5
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | bugpoint: Don't remove modules or cells while iterating over them.Marcelina Kościelnicka2020-04-221-4/+14
| | | | | | | | | | | | Reported by @ZirconiumX.
* | | hierarchy: Convert positional parameters to named.Marcelina Kościelnicka2020-04-211-3/+27
| | | | | | | | | | | | Fixes #1821.
* | | abc9: -prep_lut to be more robustEddie Hung2020-04-201-16/+33
|/ /
* | qbfsat: Fix illegal use of 'stdout' identifierDavid Shah2020-04-171-3/+3
| | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | Merge pull request #1864 from boqwxp/cleanup_techmap_abcwhitequark2020-04-171-99/+80
|\ \ | | | | | | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`
| * | Simplify `passes/techmap/abc.cc` and remove superfluous `RTLIL::SigSpec` ↵Alberto Gonzalez2020-04-141-132/+49
| | | | | | | | | | | | | | | | | | constructions. Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | Clean up pseudo-private member usage and simplify `passes/techmap/abc.cc`.Alberto Gonzalez2020-04-051-99/+163
| | |
* | | Merge pull request #1888 from boqwxp/cleanup_scatterwhitequark2020-04-171-17/+11
|\ \ \ | | | | | | | | Clean up `passes/cmds/scatter.cc`.
| * | | Replace `std::map` with `dict`.Alberto Gonzalez2020-04-161-2/+2
| | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | Replace pseudo-private member access to `connections_` in ↵Alberto Gonzalez2020-04-161-13/+10
| | | | | | | | | | | | | | | | | | | | | | | | `passes/cmds/scatter.cc`. Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
| * | | Clean up `passes/cmds/scatter.cc`.Alberto Gonzalez2020-04-161-10/+7
| | |/ | |/|
* | | Merge pull request #1882 from boqwxp/cleanup_renamewhitequark2020-04-171-119/+103
|\ \ \ | | | | | | | | Clean up pseudo-private member usage in `passes/cmds/rename.cc`.
| * | | Use `dict` instead of `std::map`.Alberto Gonzalez2020-04-161-9/+9
| | | | | | | | | | | | | | | | Co-Authored-By: Eddie Hung <eddie@fpgeh.com>
| * | | Revert to `stringf()` rather than stringstreams.Alberto Gonzalez2020-04-161-12/+8
| | | |
| * | | Clean up pseudo-private member usage in `passes/cmds/rename.cc`.Alberto Gonzalez2020-04-161-119/+107
| |/ /
* / / select: add select -unset optionEddie Hung2020-04-161-3/+22
|/ /
* | Merge pull request #1928 from YosysHQ/eddie/design_deleteEddie Hung2020-04-161-1/+21
|\ \ | | | | | | kernel: add design -delete option
| * | kernel: add design -delete optionEddie Hung2020-04-161-1/+21
| | |
* | | Merge pull request #1927 from YosysHQ/eddie/design_remove_assertEddie Hung2020-04-161-1/+1
|\ \ \ | |/ / |/| | kernel: Design::remove(RTLIL::Module *) to check refcount_modules_
| * | design: do not delete when iterating over Design::modules() directlyEddie Hung2020-04-141-1/+1
| | |
* | | opt_expr: Fix X and CO outputs for $alu identity-mapping rules.Marcelina Kościelnicka2020-04-161-2/+17
| | |
* | | Merge pull request #1933 from YosysHQ/eddie/zinit_moreEddie Hung2020-04-151-7/+27
|\ \ \ | | | | | | | | zinit: handle $__DFFS?E?_[NP][NP][01] too
| * | | zinit: handle $__DFFS?E?_[NP][NP][01] tooEddie Hung2020-04-141-7/+27
| | | |
* | | | Merge pull request #1830 from boqwxp/qbfsatN. Engelhardt2020-04-152-0/+551
|\ \ \ \ | | | | | | | | | | Add `qbfsat` command to integrate exists-forall solving and specialization
| * | | | Use `pool` instead of `std::set`.Alberto Gonzalez2020-04-111-6/+6
| | | | |
| * | | | Use `dict` instead of `std::map`.Alberto Gonzalez2020-04-111-8/+8
| | | | |
| * | | | Clean up `passes/sat/qbfsat.cc`.Alberto Gonzalez2020-04-091-13/+10
| | | | | | | | | | | | | | | | | | | | Makes various cosmetic fixes, removes superfluous `hasPort()` check, and uses `emplace_back()` instead of `push_back()`.
| * | | | Remove `$anyconst` cells before specialization to eliminate warnings and the ↵Alberto Gonzalez2020-04-071-2/+25
| | | | | | | | | | | | | | | | | | | | need to run `opt_clean`.
| * | | | Use newly-renamed `-push-copy` option.Alberto Gonzalez2020-04-041-1/+1
| | | | |
| * | | | Improve style in `passes/sat/qbfsat.cc`.Alberto Gonzalez2020-04-041-4/+2
| | | | |
| * | | | Gracefully report error when module has nothing to prove.Alberto Gonzalez2020-04-041-5/+8
| | | | |
| * | | | Suppress `yosys-smtbmc` output unless the new `-show-smtbmc` option is provided.Alberto Gonzalez2020-04-041-5/+14
| | | | |
| * | | | Fix handling of `-sat` and `-unsat` options when the solver returns `unknown`.Alberto Gonzalez2020-04-041-0/+2
| | | | |
| * | | | Use `log_push()` and `log_pop()` and show the satisfiable model when ↵Alberto Gonzalez2020-04-041-0/+28
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `-specialize` is not specified. Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
| * | | | Clean up `qbfsat` command and fix AND-reduction of miter outputs.Alberto Gonzalez2020-04-041-8/+10
| | | | |
| * | | | Use the `-duplicate` option rather than `-save` and `-load` with an explicit ↵Alberto Gonzalez2020-04-041-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | name. Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
| * | | | Use internal `run_command()` API instead of `popen()`.Alberto Gonzalez2020-04-041-49/+15
| | | | | | | | | | | | | | | | | | | | Co-Authored-By: Claire Wolf <claire@symbioticeda.com>
| * | | | Clean up manual casting.Alberto Gonzalez2020-04-041-2/+2
| | | | | | | | | | | | | | | | | | | | Co-Authored-By: David Shah <dave@ds0.me>
| * | | | Remove unimplemented `-timeout` option.Alberto Gonzalez2020-04-041-16/+4
| | | | |
| * | | | Implement the `-assume-outputs`, `-sat`, and -unsat` options for the ↵Alberto Gonzalez2020-04-041-3/+66
| | | | | | | | | | | | | | | | | | | | `qbfsat` command.
| * | | | Add NDEBUG guards to `qbfsat` assertions.Alberto Gonzalez2020-04-041-0/+18
| | | | |
| * | | | Implement `-specialize-from-file` option for the `qbfsat` command.Alberto Gonzalez2020-04-041-23/+56
| | | | |
| * | | | 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.
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-30 04:09:46 +0000