aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | 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
| * | | | | | | | | write_cxxrtl: enable separate compilation.whitequark2020-04-141-9/+81
| |/ / / / / / / /
* | | | | | | | | Merge pull request #1917 from YosysHQ/eddie/abc9_delay_checkEddie Hung2020-04-141-0/+4
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | xaiger: add check for $__ABC9_DELAY modelEddie Hung2020-04-131-0/+4
| | |_|_|/ / / / / | |/| | | | | | |
* | | | | | | | | Merge pull request #1879 from jjj11x/jjj11x/package_declwhitequark2020-04-143-4/+33
|\ \ \ \ \ \ \ \ \
| * | | | | | | | | support using previously declared types/localparams/params in packageJeff Wang2020-04-073-4/+33
* | | | | | | | | | Merge pull request #1880 from jjj11x/duplicate_enumwhitequark2020-04-141-2/+3
|\ \ \ \ \ \ \ \ \ \ | |_|_|/ / / / / / / |/| | | | | | | | |
| * | | | | | | | | duplicated enum item names should result in an errorJeff Wang2020-04-071-2/+3
| |/ / / / / / / /
* | | | | | | | | Merge pull request #1568 from YosysHQ/eddie/fix_zinitEddie Hung2020-04-132-17/+90
|\ \ \ \ \ \ \ \ \ | |_|/ / / / / / / |/| | | | | | | |
| * | | | | | | | zinit: resolve one more comment by @mwkmwkmwkEddie Hung2020-04-132-4/+13
| * | | | | | | | zinit: fix review comments from @mwkmwkmwkEddie Hung2020-04-132-9/+37
| * | | | | | | | tests: zinit on $adffEddie Hung2020-04-131-19/+18
| * | | | | | | | 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
| * | | | | | | | Add testcase for $_DFF_[NP][NP][01]_Eddie Hung2020-04-131-0/+24
| * | | | | | | | 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-132-0/+61
* | | | | | | | Merge pull request #1910 from boqwxp/cleanup_ilang_parserwhitequark2020-04-131-4/+4
|\ \ \ \ \ \ \ \
| * | | | | | | | Clean up pseudo-private member usage in `frontends/ilang/ilang_parser.y`.Alberto Gonzalez2020-04-131-4/+4
| | |_|_|/ / / / | |/| | | | | |
* | | | | | | | Add .gitignore to tests/select/Xiretza2020-04-121-0/+1
* | | | | | | | Merge pull request #1907 from YosysHQ/dave/fix-1906David Shah2020-04-121-1/+0
|\ \ \ \ \ \ \ \ | |_|_|/ / / / / |/| | | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 21:11:13 +0000