aboutsummaryrefslogtreecommitdiffstats
path: root/backends
Commit message (Expand)AuthorAgeFilesLines
...
* | | Merge pull request #1830 from boqwxp/qbfsatN. Engelhardt2020-04-151-3/+15
|\ \ \
| * | | Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val...Alberto Gonzalez2020-04-041-3/+15
* | | | json: Update format documentation.Marcelina Kościelnicka2020-04-151-12/+32
* | | | cxxrtl: Fix handling of unclocked memory read portsDavid Shah2020-04-141-2/+3
* | | | 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
| * | | | | write_cxxrtl: enable separate compilation.whitequark2020-04-141-9/+81
| |/ / / /
* / / / / xaiger: add check for $__ABC9_DELAY modelEddie Hung2020-04-131-0/+4
|/ / / /
* | | | Support custom PROGRAM_PREFIXMiodrag Milanovic2020-04-102-9/+8
* | | | write_cxxrtl: add basic documentation.whitequark2020-04-091-1/+16
* | | | write_cxxrtl: add support for $dlatch and $dlatchsr cells.whitequark2020-04-091-3/+16
* | | | write_cxxrtl: add support for $sr cell.whitequark2020-04-091-27/+35
* | | | write_cxxrtl: add support for $slice and $concat cells.whitequark2020-04-091-1/+16
* | | | write_cxxrtl: improve writable memory handling.whitequark2020-04-092-65/+87
* | | | write_cxxrtl: add support for hierarchical designs.whitequark2020-04-091-18/+107
* | | | write_cxxrtl: avoid undefined behavior on out-of-bounds memory access.whitequark2020-04-092-46/+78
* | | | write_cxxrtl: statically schedule comb logic and localize wires.whitequark2020-04-092-68/+368
* | | | write_cxxrtl: elide wires for results of comb cells used once.whitequark2020-04-091-35/+359
* | | | write_cxxrtl: new backend.whitequark2020-04-093-0/+2010
| |_|/ |/| |
* | | kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-029-727/+727
* | | Update backends/btor/btor.cc; credit @boqwxpEddie Hung2020-04-021-2/+1
* | | kernel: use more ID::*Eddie Hung2020-04-0211-280/+280
* | | Merge pull request #1770 from YosysHQ/claire/btor_symbolsClaire Wolf2020-04-021-36/+60
|\ \ \
| * | | Improve write_btor symbol handlingClaire Wolf2020-03-141-36/+60
* | | | Merge pull request #1765 from YosysHQ/claire/btor_infoClaire Wolf2020-04-021-9/+113
|\| | |
| * | | Add info-file and cover features to write_btorClaire Wolf2020-03-131-9/+113
* | | | Update `RTLIL::id2cstr()` usage to `log_id`.Alberto Gonzalez2020-04-011-2/+2
* | | | Clean up pseudo-private member usage in `backends/intersynth/intersynth.cc`.Alberto Gonzalez2020-04-011-22/+19
* | | | Clean up pseudo-private member usage in `backends/blif/blif.cc`.Alberto Gonzalez2020-04-011-15/+11
* | | | Clean up pseudo-private member usage in `backends/verilog/verilog_backend.cc`.Alberto Gonzalez2020-04-011-22/+19
* | | | Clean up pseudo-private member usage in `backends/spice/spice.cc`.Alberto Gonzalez2020-04-011-13/+9
* | | | Clean up pseudo-private member usage in `backends/edif/edif.cc`.Alberto Gonzalez2020-04-011-23/+18
* | | | Clean up pseudo-private member usage in `backends/ilang/ilang_backend.cc`.Alberto Gonzalez2020-04-011-6/+6
| |/ / |/| |
* | | Do not change solver output parsing for non-exists-forall problems.Alberto Gonzalez2020-03-261-2/+6
* | | Skip reading stdout from the solver that if it isn't a line reading only "sat...Alberto Gonzalez2020-03-261-1/+3
* | | Revert part of 0fda8308 from #1746 that broke other smtbmc flowsClaire Wolf2020-03-241-3/+1
* | | fix typo in `write_smt2` helpTeguh Hofstee2020-03-231-1/+1
| |/ |/|
* | Merge pull request #1768 from boqwxp/smt2_cleanupN. Engelhardt2020-03-161-5/+5
|\ \
| * | Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.Alberto Gonzalez2020-03-131-5/+5
| |/
* | Merge pull request #1746 from boqwxp/optimizationN. Engelhardt2020-03-163-1/+33
|\ \
| * | Add support for optimizing exists-forall problems.Alberto Gonzalez2020-03-133-1/+33
* | | remove include where not usedMiodrag Milanovic2020-03-131-1/+0
| |/ |/|
* | xaiger: remove some unnecessary operations ...Eddie Hung2020-03-061-9/+2
* | abc9: (* keep *) wires to be PO only, not PI as well; fix scc handlingEddie Hung2020-03-061-3/+4
|/
* Make TimingInfo::TimingInfo(SigBit) constructor explicitEddie Hung2020-02-271-1/+1
* write_xaiger: add comment about arrival times of flop outputsEddie Hung2020-02-271-0/+1
* Get rid of (* abc9_{arrival,required} *) entirelyEddie Hung2020-02-271-29/+15
* abc9_ops: ignore (* abc9_flop *) if not '-dff'Eddie Hung2020-02-271-38/+44
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 08:24:06 +0000