aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | 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 `-specia...Alberto Gonzalez2020-04-041-0/+28
| * | | | 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
| * | | | Use internal `run_command()` API instead of `popen()`.Alberto Gonzalez2020-04-041-49/+15
| * | | | Clean up manual casting.Alberto Gonzalez2020-04-041-2/+2
| * | | | Remove unimplemented `-timeout` option.Alberto Gonzalez2020-04-041-16/+4
| * | | | Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat`...Alberto Gonzalez2020-04-041-3/+66
| * | | | 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 val...Alberto Gonzalez2020-04-041-29/+39
| * | | | 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 rulesDavid Shah2020-04-101-3/+3
* | | | | | Get rid of dffsr2dff.Marcelina Kościelnicka2020-04-152-214/+0
* | | | | | 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
* | | | | | abc9_ops: Add a check ensuring that connected port actually exists.Marcelina Kościelnicka2020-04-151-0/+3
* | | | | | opt_expr: Add more $alu optimizations.Marcelina Kościelnicka2020-04-141-19/+110
| |_|/ / / |/| | | |
* | | | | dffinit: Avoid setting init parameter to zero-length value.Marcelina Kościelnicka2020-04-141-3/+5
| |_|/ / |/| | |
* | | | abc9_exe: verify -> &verify -sEddie Hung2020-04-141-2/+2
* | | | techmap: fix error messageEddie Hung2020-04-141-1/+1
* | | | zinit: resolve one more comment by @mwkmwkmwkEddie Hung2020-04-131-3/+5
* | | | zinit: fix review comments from @mwkmwkmwkEddie Hung2020-04-131-5/+6
* | | | zinit: operate on $adff, erase (* init *) entries on consumptionEddie Hung2020-04-131-22/+20
* | | | Fix S/R comment; thanks @mwkmwkmwkEddie Hung2020-04-131-1/+1
* | | | zinit to transform set/reset value of $_DFF_[NP][NP][01]_Eddie Hung2020-04-131-0/+14
* | | | Supress error for unhandled \init if whole module selectedEddie Hung2020-04-131-3/+4
* | | | opt_expr: Optimize multiplications with low 0 bits in operands.Marcelina Kościelnicka2020-04-131-0/+33
|/ / /
* | | Merge pull request #1603 from whitequark/ice40-ram_stylewhitequark2020-04-102-13/+148
|\ \ \
| * | | memory_map: add -attr option, to respect inference attributes.whitequark2020-04-031-6/+113
| * | | memory_bram: add `attr_icase` option.whitequark2020-02-061-7/+35
* | | | Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-104-14/+14
* | | | [NFCI] Deduplicate builtin FF cell types listMarcelina Kościelnicka2020-04-093-73/+3
* | | | Merge pull request #1890 from boqwxp/cleanup_memory_collectN. Engelhardt2020-04-091-6/+3
|\ \ \ \
| * | | | Clean up `passes/memory/memory_collect.cc`.Alberto Gonzalez2020-04-091-6/+3
* | | | | Merge pull request #1889 from boqwxp/cleanup_memory_unpackN. Engelhardt2020-04-091-7/+6
|\ \ \ \ \
| * | | | | Clean up `passes/memory/memory_unpack.cc`.Alberto Gonzalez2020-04-091-7/+6
| |/ / / /
* / / / / Clean up `passes/techmap/hilomap.cc`.Alberto Gonzalez2020-04-091-6/+2
|/ / / /
* | | | Merge pull request #1857 from whitequark/splitnets-skip-processeswhitequark2020-04-091-0/+3
|\ \ \ \
| * | | | splitnets: skip modules with processes.whitequark2020-04-031-0/+3
| | |_|/ | |/| |
* | | | Clean up `passes/cmds/connect.cc`.Alberto Gonzalez2020-04-081-14/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-17 17:10:54 +0000