aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* intel_alm: Add multiply signedness to cellsDan Ravensloft2020-08-267-16/+147
* Merge pull request #2355 from YosysHQ/verific_improvementsMiodrag Milanović2020-08-261-1/+223
|\
| * Add formal apps and template generatorsMiodrag Milanovic2020-08-261-1/+223
* | Merge pull request #2351 from pbsds/proc_nomuxwhitequark2020-08-261-1/+10
|\ \ | |/ |/|
| * proc: Add -nomux switchPeder Bergebakken Sundt2020-08-201-1/+10
* | Bump versionYosys Bot2020-08-231-1/+1
* | Merge pull request #2349 from nmoroze/smt2-bugfixclairexen2020-08-221-9/+20
|\ \
| * | Ensure smt2 comments are associated with accessorsNoah Moroze2020-08-201-9/+20
* | | Bump versionYosys Bot2020-08-211-1/+1
* | | synth_intel: Remove incomplete Arria 10 GX support.Marcelina Kościelnicka2020-08-215-192/+4
| |/ |/|
* | intel: move Cyclone V support to intel_almDan Ravensloft2020-08-207-203/+11
* | Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixesclairexen2020-08-203-81/+38
|\ \
| * | techmap/shift_shiftx: Remove the "shiftx2mux" special path.Marcelina Kościelnicka2020-08-203-81/+38
* | | Merge pull request #2344 from YosysHQ/mwk/opt_share-fixesclairexen2020-08-204-223/+192
|\ \ \
| * | | opt_share: Refactor, fix some bugs.Marcelina Kościelnicka2020-08-174-223/+192
* | | | Merge pull request #2337 from YosysHQ/mwk/clean-keep-wireclairexen2020-08-201-4/+9
|\ \ \ \
| * | | | opt_clean: Fix module keep rules.Marcelina Kościelnicka2020-08-091-4/+9
| |/ / /
* | | | Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul-signedclairexen2020-08-202-5/+12
|\ \ \ \
| * | | | peeopt.shiftmul: Add a signedness check.Marcelina Kościelnicka2020-08-052-5/+12
* | | | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-2011-1661/+129
|\ \ \ \ \
| * | | | | Remove now-redundant dff2dffe pass.Marcelina Kościelnicka2020-08-072-415/+0
| * | | | | Remove now-redundant dff2dffs pass.Marcelina Kościelnicka2020-08-073-216/+0
| * | | | | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-075-318/+129
| * | | | | Remove now-redundant opt_rmdff pass.Marcelina Kościelnicka2020-08-072-712/+0
| | |/ / / | |/| | |
* | | | | Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fixclairexen2020-08-202-1/+37
|\ \ \ \ \
| * | | | | techmap.CONSTMAP: Handle outputs before inputs.Marcelina Kościelnicka2020-08-052-1/+37
| | |/ / / | |/| | |
* | | | | Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv-signclairexen2020-08-202-1/+16
|\ \ \ \ \
| * | | | | peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-042-1/+16
| |/ / / /
* | | | | Merge pull request #2319 from YosysHQ/mwk/techmap-celltype-patternclairexen2020-08-203-8/+36
|\ \ \ \ \
| * | | | | techmap: Add support for [] wildcards in techmap_celltype.Marcelina Kościelnicka2020-08-023-8/+36
| |/ / / /
* | | | / Bump versionYosys Bot2020-08-201-1/+1
| |_|_|/ |/| | |
* | | | Merge pull request #2122 from PeterCrozier/struct_array2clairexen2020-08-192-29/+83
|\ \ \ \ | |_|_|/ |/| | |
| * | | include both power-of-two and non-power-of-two testcasesN. Engelhardt2020-08-181-6/+23
| * | | Support 2D packed bit arrays in struct/union.Peter Crozier2020-06-091-35/+1
| * | | Support 2D bit arrays in structures. Optimise array indexing.Peter Crozier2020-06-082-30/+101
* | | | Bump versionYosys Bot2020-08-191-1/+1
* | | | Ensure \A_SIGNED is never used with $shiftxXiretza2020-08-182-1/+9
* | | | Respect \A_SIGNED for $shiftXiretza2020-08-187-65/+61
* | | | Merge pull request #2339 from zachjs/display-format-0sclairexen2020-08-182-1/+8
|\ \ \ \
| * | | | Allow %0s $display format specifierZachary Snow2020-08-092-1/+8
| | |_|/ | |/| |
* | | | Merge pull request #2338 from zachjs/const-branch-finishclairexen2020-08-182-4/+43
|\ \ \ \
| * | | | Propagate const_fold through generate blocks and branchesZachary Snow2020-08-092-4/+43
| |/ / /
* | | | Merge pull request #2317 from zachjs/expand-genblockclairexen2020-08-183-42/+168
|\ \ \ \
| * | | | Fix generate scoping issuesZachary Snow2020-07-313-42/+168
| | |_|/ | |/| |
* | | | Merge branch 'zachjs-const-func-block-var'Claire Wolf2020-08-183-26/+53
|\ \ \ \
| * | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into z...Claire Wolf2020-08-183-26/+53
|/| | | |
| * | | | Allow blocks with declarations within constant functionsZachary Snow2020-07-253-18/+45
* | | | | Merge pull request #2281 from zachjs/const-realclairexen2020-08-182-3/+23
|\ \ \ \ \
| * | | | | Allow reals as constant function parametersZachary Snow2020-07-192-3/+23
* | | | | | Bump versionYosys Bot2020-08-141-1/+1