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
* Rename `-duplicate` to `-push-copy`.Alberto Gonzalez2020-04-041-6/+6
* 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
|\
| * Remove unused function parameter.Alberto Gonzalez2020-03-301-2/+2
| * Simplify iterating over selected modules or cells.Alberto Gonzalez2020-03-301-16/+4
| * Clean up more in `passes/sat/expose.cc`.Alberto Gonzalez2020-03-301-64/+59
| * 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
|\ \
| * | Replace `RTLIL::id2cstr()` with `log_id()`.Alberto Gonzalez2020-03-301-1/+1
| * | 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
|\ \
| * | Fix double deletion in `passes/hierarchy/hierarchy.cc`.Alberto Gonzalez2020-03-301-1/+0
| * | 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
|\ \ \
| * | | Further clean up `passes/sat/eval.cc`.Alberto Gonzalez2020-03-301-16/+15
| * | | 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
|\ \ \
| * | | Further clean up `passes/sat/freduce.cc`.Alberto Gonzalez2020-03-301-3/+2
| * | | 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 frontendRupert Swarbrick2020-03-271-1/+2
| |/ /
* | | 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_.*Marcin Kościelnicki2020-03-231-1/+1
* | | Merge pull request #1763 from boqwxp/issue1762N. Engelhardt2020-03-232-12/+53
|\ \ \
| * | | Do not warn on empty selection with prefixed `arg_memb`.Alberto Gonzalez2020-03-231-1/+2
| * | | Suppress warnings for empty `select` arguments when `-count` or `-assert-*` o...Alberto Gonzalez2020-03-231-4/+5
| * | | 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
| | |/ | |/|
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-27 04:07:49 +0000