aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #1830 from boqwxp/qbfsatN. Engelhardt2020-04-154-3/+573
|\
| * 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
| * Remove `$anyconst` cells before specialization to eliminate warnings and the ...Alberto Gonzalez2020-04-071-2/+25
| * 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-042-32/+54
| * Hole value recovery and specialization implementation for `qbfsat` command.Alberto Gonzalez2020-04-042-20/+70
| * Barebones implementation of `qbfsat` command.Alberto Gonzalez2020-04-041-32/+157
| * Initial skeleton for `qbfsat` command.Alberto Gonzalez2020-04-042-0/+207
* | Fix the truth table for $_SR_* cells.Marcelina Kościelnicka2020-04-153-26/+21
* | 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-1513-422/+2302
* | | opt_clean: Add missing assignments to opt.did_something.Marcelina Kościelnicka2020-04-151-0/+6
* | | Merge pull request #1918 from whitequark/simplify-improve_enumwhitequark2020-04-152-7/+5
|\ \ \
| * | | ast/simplify: improve enum handling.whitequark2020-04-152-7/+5
* | | | synth_intel_alm: VQM supportDan Ravensloft2020-04-152-6/+3
* | | | setundef: Improve error messages.Marcelina Kościelnicka2020-04-151-10/+12
* | | | json: Update format documentation.Marcelina Kościelnicka2020-04-151-12/+32
* | | | Merge pull request #1930 from YosysHQ/claire/fix1876Claire Wolf2020-04-152-7/+73
|\ \ \ \
| * | | | tests: add testcases from #1876Eddie Hung2020-04-141-0/+60
| * | | | Fix 5bba9c3, closes #1876Claire Wolf2020-04-141-7/+13
* | | | | synth_intel_alm: alternative synthesis for Intel FPGAsDan Ravensloft2020-04-1529-1/+1662
* | | | | abc9_ops: Add a check ensuring that connected port actually exists.Marcelina Kościelnicka2020-04-151-0/+3
* | | | | Merge pull request #1932 from YosysHQ/dave/cxxrtl-unclocked-readwhitequark2020-04-151-2/+3
|\ \ \ \ \
| * | | | | cxxrtl: Fix handling of unclocked memory read portsDavid Shah2020-04-141-2/+3
| |/ / / /
* / / / / opt_expr: Add more $alu optimizations.Marcelina Kościelnicka2020-04-142-23/+162
|/ / / /
* | | | dffinit: Avoid setting init parameter to zero-length value.Marcelina Kościelnicka2020-04-142-3/+30
* | | | abc9_exe: verify -> &verify -sEddie Hung2020-04-141-2/+2
* | | | techmap: fix error messageEddie Hung2020-04-141-1/+1
* | | | Merge pull request #1922 from whitequark/write_cxxrtl-disconnected-outputswhitequark2020-04-141-0/+2
|\ \ \ \
| * | | | write_cxxrtl: ignore disconnected module ports.whitequark2020-04-141-0/+2
| |/ / /
* | | | Merge pull request #1921 from whitequark/write_cxxrtl-separate-compilationwhitequark2020-04-142-10/+82
|\ \ \ \
| * | | | write_verilog: fix precondition check.whitequark2020-04-141-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-23 09:49:26 +0000