Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | intel_alm: Add multiply signedness to cells | Dan Ravensloft | 2020-08-26 | 7 | -16/+147 |
* | Merge pull request #2355 from YosysHQ/verific_improvements | Miodrag Milanović | 2020-08-26 | 1 | -1/+223 |
|\ | |||||
| * | Add formal apps and template generators | Miodrag Milanovic | 2020-08-26 | 1 | -1/+223 |
* | | Merge pull request #2351 from pbsds/proc_nomux | whitequark | 2020-08-26 | 1 | -1/+10 |
|\ \ | |/ |/| | |||||
| * | proc: Add -nomux switch | Peder Bergebakken Sundt | 2020-08-20 | 1 | -1/+10 |
* | | Bump version | Yosys Bot | 2020-08-23 | 1 | -1/+1 |
* | | Merge pull request #2349 from nmoroze/smt2-bugfix | clairexen | 2020-08-22 | 1 | -9/+20 |
|\ \ | |||||
| * | | Ensure smt2 comments are associated with accessors | Noah Moroze | 2020-08-20 | 1 | -9/+20 |
* | | | Bump version | Yosys Bot | 2020-08-21 | 1 | -1/+1 |
* | | | synth_intel: Remove incomplete Arria 10 GX support. | Marcelina Kościelnicka | 2020-08-21 | 5 | -192/+4 |
| |/ |/| | |||||
* | | intel: move Cyclone V support to intel_alm | Dan Ravensloft | 2020-08-20 | 7 | -203/+11 |
* | | Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixes | clairexen | 2020-08-20 | 3 | -81/+38 |
|\ \ | |||||
| * | | techmap/shift_shiftx: Remove the "shiftx2mux" special path. | Marcelina Kościelnicka | 2020-08-20 | 3 | -81/+38 |
* | | | Merge pull request #2344 from YosysHQ/mwk/opt_share-fixes | clairexen | 2020-08-20 | 4 | -223/+192 |
|\ \ \ | |||||
| * | | | opt_share: Refactor, fix some bugs. | Marcelina Kościelnicka | 2020-08-17 | 4 | -223/+192 |
* | | | | Merge pull request #2337 from YosysHQ/mwk/clean-keep-wire | clairexen | 2020-08-20 | 1 | -4/+9 |
|\ \ \ \ | |||||
| * | | | | opt_clean: Fix module keep rules. | Marcelina Kościelnicka | 2020-08-09 | 1 | -4/+9 |
| |/ / / | |||||
* | | | | Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul-signed | clairexen | 2020-08-20 | 2 | -5/+12 |
|\ \ \ \ | |||||
| * | | | | peeopt.shiftmul: Add a signedness check. | Marcelina Kościelnicka | 2020-08-05 | 2 | -5/+12 |
* | | | | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup | clairexen | 2020-08-20 | 11 | -1661/+129 |
|\ \ \ \ \ | |||||
| * | | | | | Remove now-redundant dff2dffe pass. | Marcelina Kościelnicka | 2020-08-07 | 2 | -415/+0 |
| * | | | | | Remove now-redundant dff2dffs pass. | Marcelina Kościelnicka | 2020-08-07 | 3 | -216/+0 |
| * | | | | | peepopt: Remove now-redundant dffmux pattern. | Marcelina Kościelnicka | 2020-08-07 | 5 | -318/+129 |
| * | | | | | Remove now-redundant opt_rmdff pass. | Marcelina Kościelnicka | 2020-08-07 | 2 | -712/+0 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fix | clairexen | 2020-08-20 | 2 | -1/+37 |
|\ \ \ \ \ | |||||
| * | | | | | techmap.CONSTMAP: Handle outputs before inputs. | Marcelina Kościelnicka | 2020-08-05 | 2 | -1/+37 |
| | |/ / / | |/| | | | |||||
* | | | | | Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv-sign | clairexen | 2020-08-20 | 2 | -1/+16 |
|\ \ \ \ \ | |||||
| * | | | | | peepopt.muldiv: Add a signedness check. | Marcelina Kościelnicka | 2020-08-04 | 2 | -1/+16 |
| |/ / / / | |||||
* | | | | | Merge pull request #2319 from YosysHQ/mwk/techmap-celltype-pattern | clairexen | 2020-08-20 | 3 | -8/+36 |
|\ \ \ \ \ | |||||
| * | | | | | techmap: Add support for [] wildcards in techmap_celltype. | Marcelina Kościelnicka | 2020-08-02 | 3 | -8/+36 |
| |/ / / / | |||||
* | | | / | Bump version | Yosys Bot | 2020-08-20 | 1 | -1/+1 |
| |_|_|/ |/| | | | |||||
* | | | | Merge pull request #2122 from PeterCrozier/struct_array2 | clairexen | 2020-08-19 | 2 | -29/+83 |
|\ \ \ \ | |_|_|/ |/| | | | |||||
| * | | | include both power-of-two and non-power-of-two testcases | N. Engelhardt | 2020-08-18 | 1 | -6/+23 |
| * | | | Support 2D packed bit arrays in struct/union. | Peter Crozier | 2020-06-09 | 1 | -35/+1 |
| * | | | Support 2D bit arrays in structures. Optimise array indexing. | Peter Crozier | 2020-06-08 | 2 | -30/+101 |
* | | | | Bump version | Yosys Bot | 2020-08-19 | 1 | -1/+1 |
* | | | | Ensure \A_SIGNED is never used with $shiftx | Xiretza | 2020-08-18 | 2 | -1/+9 |
* | | | | Respect \A_SIGNED for $shift | Xiretza | 2020-08-18 | 7 | -65/+61 |
* | | | | Merge pull request #2339 from zachjs/display-format-0s | clairexen | 2020-08-18 | 2 | -1/+8 |
|\ \ \ \ | |||||
| * | | | | Allow %0s $display format specifier | Zachary Snow | 2020-08-09 | 2 | -1/+8 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #2338 from zachjs/const-branch-finish | clairexen | 2020-08-18 | 2 | -4/+43 |
|\ \ \ \ | |||||
| * | | | | Propagate const_fold through generate blocks and branches | Zachary Snow | 2020-08-09 | 2 | -4/+43 |
| |/ / / | |||||
* | | | | Merge pull request #2317 from zachjs/expand-genblock | clairexen | 2020-08-18 | 3 | -42/+168 |
|\ \ \ \ | |||||
| * | | | | Fix generate scoping issues | Zachary Snow | 2020-07-31 | 3 | -42/+168 |
| | |_|/ | |/| | | |||||
* | | | | Merge branch 'zachjs-const-func-block-var' | Claire Wolf | 2020-08-18 | 3 | -26/+53 |
|\ \ \ \ | |||||
| * | | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into z... | Claire Wolf | 2020-08-18 | 3 | -26/+53 |
|/| | | | | |||||
| * | | | | Allow blocks with declarations within constant functions | Zachary Snow | 2020-07-25 | 3 | -18/+45 |
* | | | | | Merge pull request #2281 from zachjs/const-real | clairexen | 2020-08-18 | 2 | -3/+23 |
|\ \ \ \ \ | |||||
| * | | | | | Allow reals as constant function parameters | Zachary Snow | 2020-07-19 | 2 | -3/+23 |
* | | | | | | Bump version | Yosys Bot | 2020-08-14 | 1 | -1/+1 |