aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Collapse)AuthorAgeFilesLines
* 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.
| * | | | 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
| | | | |
* | | | | Merge pull request #1897 from YosysHQ/dave/bram-rejection-fixDavid Shah2020-04-151-3/+3
|\ \ \ \ \ | | | | | | | | | | | | memory_bram: Fix ignorance of valid, matched rules
| * | | | | memory_bram: Fix ignorance of valid, matched rulesDavid Shah2020-04-101-3/+3
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | | | Get rid of dffsr2dff.Marcelina Kościelnicka2020-04-152-214/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This pass is a proper subset of opt_rmdff, which is called by opt, which is called by every synth flow in the coarse part. Thus, it never actually does anything and can be safely removed.
* | | | | | opt_clean: Add missing assignments to opt.did_something.Marcelina Kościelnicka2020-04-151-0/+6
| | | | | |
* | | | | | setundef: Improve error messages.Marcelina Kościelnicka2020-04-151-10/+12
| | | | | | | | | | | | | | | | | | | | | | | | Fixes #1092.
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-15 22:23:27 +0000