| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #2518 from zachjs/recursion | whitequark | 2021-01-01 | 2 | -0/+71 |
| |\ | | | | | verilog: improved support for recursive functions | ||||
| | * | verilog: improved support for recursive functions | Zachary Snow | 2020-12-31 | 2 | -0/+71 |
| | | | |||||
| * | | sv: complete support for implied task/function port directions | Zachary Snow | 2020-12-31 | 2 | -0/+29 |
| |/ | |||||
| * | Fix elaboration of whole memory words used as indices | Zachary Snow | 2020-12-26 | 3 | -0/+48 |
| | | |||||
| * | Fix constants bound to redeclared function args | Zachary Snow | 2020-12-26 | 1 | -0/+10 |
| | | | | | | | | | The changes in #2476 ensured that function inputs like `input x;` retained their single-bit size when instantiated with a constant argument and turned into a localparam. That change did not handle the possibility for an input to be redeclared later on with an explicit width, such as `integer x;`. | ||||
| * | Merge pull request #2501 from zachjs/genrtlil-tern-sign | whitequark | 2020-12-23 | 1 | -4/+9 |
| |\ | | | | | genrtlil: fix mux2rtlil generated wire signedness | ||||
| | * | genrtlil: fix mux2rtlil generated wire signedness | Zachary Snow | 2020-12-22 | 1 | -4/+9 |
| | | | |||||
| * | | Merge pull request #2476 from zachjs/const-arg-width | whitequark | 2020-12-23 | 1 | -0/+10 |
| |\ \ | |/ |/| | Fix constants bound to single bit arguments (fixes #2383) | ||||
| | * | Fix constants bound to single bit arguments (fixes #2383) | Zachary Snow | 2020-12-22 | 1 | -0/+10 |
| | | | |||||
| * | | Merge pull request #2479 from zachjs/const-arg-hint | whitequark | 2020-12-22 | 1 | -0/+9 |
| |\ \ | | | | | | | Allow constant function calls in constant function arguments | ||||
| | * | | Allow constant function calls in constant function arguments | Zachary Snow | 2020-12-07 | 1 | -0/+9 |
| | |/ | |||||
| * / | Sign extend port connections where necessary | Zachary Snow | 2020-12-18 | 2 | -0/+98 |
| |/ | | | | | | | | | | | - Signed cell outputs are sign extended when bound to larger wires - Signed connections are sign extended when bound to larger cell inputs - Sign extension is performed in hierarchy and flatten phases - genrtlil indirects signed constants through signed wires - Other phases producing RTLIL may need to be updated to preserve signedness information - Resolves #1418 - Resolves #2265 | ||||
| * | Merge pull request #2133 from dh73/nodev_head | Claire Xen | 2020-11-25 | 18 | -65/+322 |
| |\ | | | | | Adding latch tests for shift&mask AST dynamic part-select enhancements | ||||
| | * | Removing trailing whitespace | diego | 2020-06-10 | 1 | -30/+30 |
| | | | |||||
| | * | Adding latch tests for shift&mask AST dynamic part-select enhancements | diego | 2020-06-09 | 18 | -68/+325 |
| | | | |||||
| * | | tests: Centralize test collection and Makefile generation | Xiretza | 2020-09-21 | 1 | -19/+3 |
| | | | |||||
| * | | Merge pull request #2352 from zachjs/const-func-localparam | clairexen | 2020-09-01 | 1 | -3/+6 |
| |\ \ | | | | | | | Allow localparams in constant functions | ||||
| | * | | Allow localparams in constant functions | Zachary Snow | 2020-08-20 | 1 | -3/+6 |
| | | | | |||||
| * | | | Fix constant args used with function ports split across declarations | Zachary Snow | 2020-08-29 | 1 | -0/+20 |
| |/ / | |||||
| * | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup | clairexen | 2020-08-20 | 1 | -143/+0 |
| |\ \ | | | | | | | Remove passes redundant with opt_dff | ||||
| | * | | peepopt: Remove now-redundant dffmux pattern. | Marcelina Kościelnicka | 2020-08-07 | 1 | -143/+0 |
| | | | | |||||
| * | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into ↵ | Claire Wolf | 2020-08-18 | 2 | -0/+24 |
| |\ \ \ | | | | | | | | | | | | | | | | | | | | | zachjs-const-func-block-var Signed-off-by: Claire Wolf <claire@symbioticeda.com> | ||||
| | * | | | Allow blocks with declarations within constant functions | Zachary Snow | 2020-07-25 | 2 | -0/+24 |
| | | | | | |||||
| * | | | | Merge pull request #2281 from zachjs/const-real | clairexen | 2020-08-18 | 1 | -0/+12 |
| |\ \ \ \ | |_|/ / |/| | | | Allow reals as constant function parameters | ||||
| | * | | | Allow reals as constant function parameters | Zachary Snow | 2020-07-19 | 1 | -0/+12 |
| | |/ / | |||||
| * | | | Merge pull request #2306 from YosysHQ/mwk/equiv_induct-undef | clairexen | 2020-07-28 | 1 | -0/+35 |
| |\ \ \ | | | | | | | | | equiv_induct: Fix up assumption for $equiv cells in -undef mode. | ||||
| | * | | | equiv_induct: Fix up assumption for $equiv cells in -undef mode. | Marcelina Kościelnicka | 2020-07-27 | 1 | -0/+35 |
| | |/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Before this fix, equiv_induct only assumed that one of the following is true: - defined value of A is equal to defined value of B - A is undefined This lets through valuations where A is defined, B is undefined, and the defined (meaningless) value of B happens to match the defined value of A. Instead, tighten this up to OR of the following: - defined value of A is equal to defined value of B, and B is not undefined - A is undefined | ||||
| * / / | Avoid generating wires for function args which are constant | Zachary Snow | 2020-07-24 | 2 | -0/+45 |
| |/ / | |||||
| * | | Revert "Revert PRs #2203 and #2244." | Kamil Rakoczy | 2020-07-10 | 4 | -0/+49 |
| | | | | | | | | | This reverts commit 9c120b89ace6c111aa4677616947d18d980b9c1a. | ||||
| * | | Revert PRs #2203 and #2244. | whitequark | 2020-07-09 | 4 | -49/+0 |
| | | | | | | | | | | | | | | | | | This reverts commit 7e83a51fc96495c558a31fc3ca6c1a5ba4764f15. This reverts commit b422f2e4d0b8d5bfa97913d6b9dee488b59fc405. This reverts commit 7cb56f34b06de666935fbda315ce7c7bd45048b3. This reverts commit 6f9be939bd7653b0bdcae93a1033a086a4561b68. This reverts commit 76a34dc5f3a60c89efeaa3378ca0e2700a8aebd2. | ||||
| * | | Add logic param and integer bad syntax tests | Kamil Rakoczy | 2020-07-06 | 3 | -0/+21 |
| | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | ||||
| * | | Merge pull request #2203 from antmicro/fix-grammar | clairexen | 2020-07-01 | 1 | -0/+28 |
| |\ \ | | | | | | | Signed and macro grammar update | ||||
| | * | | Add signed/unsigned tests | Kamil Rakoczy | 2020-06-26 | 1 | -0/+28 |
| | | | | | | | | | | | | | Signed-off-by: Kamil Rakoczy <krakoczy@antmicro.com> | ||||
| * | | | Allow constant function calls in for loops and generate if and case | Zachary Snow | 2020-06-29 | 2 | -0/+76 |
| |/ / | |||||
| * / | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -1/+1 |
| |/ | |||||
| * | Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve | Eddie Hung | 2020-06-04 | 1 | -1/+2 |
| |\ | | | | | abc9: -dff improvements | ||||
| | * | abc9_ops: -reintegrate use SigMap to remove (* init *) from $_DFF_[NP]_ | Eddie Hung | 2020-05-29 | 1 | -1/+2 |
| | | | |||||
| * | | Merge pull request #2080 from YosysHQ/eddie/fix_test_warnings | Eddie Hung | 2020-06-03 | 3 | -4/+4 |
| |\ \ | | | | | | | tests: reduce test warnings | ||||
| | * | | tests: fix some test warnings | Eddie Hung | 2020-05-25 | 3 | -4/+4 |
| | |/ | |||||
| * / | printattrs: Add test. | Alberto Gonzalez | 2020-05-27 | 1 | -0/+14 |
| |/ | |||||
| * | xaiger: add testcase | Eddie Hung | 2020-05-24 | 1 | -0/+13 |
| | | |||||
| * | abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it | Eddie Hung | 2020-05-14 | 1 | -3/+8 |
| | | |||||
| * | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__ | Eddie Hung | 2020-05-14 | 1 | -2/+21 |
| | | |||||
| * | abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too | Eddie Hung | 2020-05-14 | 1 | -5/+7 |
| | | |||||
| * | Merge pull request #2028 from zachjs/master | Eddie Hung | 2020-05-06 | 2 | -0/+17 |
| |\ | | | | | verilog: allow null gen-if then block | ||||
| | * | verilog: allow null gen-if then block | Zachary Snow | 2020-05-06 | 2 | -0/+17 |
| | | | |||||
| * | | Merge pull request #2024 from YosysHQ/eddie/primitive_src | Eddie Hung | 2020-05-05 | 1 | -0/+16 |
| |\ \ | | | | | | | verilog: set src attribute for primitives | ||||
| | * | | tests: add tests for primitives' src | Eddie Hung | 2020-05-04 | 1 | -0/+16 |
| | |/ | |||||
| * / | verilog: fix specify src attribute | Eddie Hung | 2020-05-04 | 1 | -0/+6 |
| |/ | |||||
| * | test: add test for #2014 | Eddie Hung | 2020-05-02 | 1 | -0/+12 |
| | | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |