| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge pull request #2456 from Zottel/master | whitequark | 2020-12-02 | 1 | -0/+1 |
| |\ | | | | | Return correct modname when found in cache. | ||||
| | * | Return correct modname when found in cache. | Julius Roob | 2020-11-26 | 1 | -0/+1 |
| | | | |||||
| * | | Bump required Verific version | Miodrag Milanovic | 2020-12-02 | 1 | -1/+1 |
| | | | |||||
| * | | Fix SYNTHESIS always being defined in Verilog frontend | georgerennie | 2020-12-01 | 2 | -1/+3 |
| |/ | |||||
| * | rtlil: remove dotted identifiers. | whitequark | 2020-11-25 | 1 | -1/+0 |
| | | | | | No one knows where they came from and they never did anything useful. | ||||
| * | Update verific version | Miodrag Milanovic | 2020-10-30 | 1 | -1/+1 |
| | | |||||
| * | Fix argument handling in connect_rpc | Claire Xenia Wolf | 2020-10-19 | 1 | -1/+2 |
| | | | | | Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com> | ||||
| * | extend verific library API for formal apps and generators | Miodrag Milanovic | 2020-10-12 | 1 | -15/+83 |
| | | |||||
| * | Update required Verific version | Miodrag Milanović | 2020-10-05 | 1 | -1/+1 |
| | | |||||
| * | Ignore empty parameters in Verilog module instantiations | Claire Xenia Wolf | 2020-10-01 | 1 | -0/+3 |
| | | | | | | | Fixes #2394 Signed-off-by: Claire Xenia Wolf <claire@symbioticeda.com> | ||||
| * | Merge pull request #2378 from udif/pr_dollar_high_low | clairexen | 2020-10-01 | 3 | -31/+98 |
| |\ | | | | | Added $high(), $low(), $left(), $right() | ||||
| | * | We can now handle array slices (e.g. $size(x[1]) etc. ) | Udi Finkelstein | 2020-09-17 | 1 | -7/+6 |
| | | | |||||
| | * | Fixed comments, removed debug message | Udi Finkelstein | 2020-09-16 | 1 | -5/+5 |
| | | | |||||
| | * | Added $high(), $low(), $left(), $right() | Udi Finkelstein | 2020-09-15 | 3 | -30/+98 |
| | | | |||||
| * | | use sha1 for parameter list in case if they contain spaces | Miodrag Milanovic | 2020-09-30 | 1 | -2/+18 |
| | | | |||||
| * | | Better error for unsupported SVA sequence | Miodrag Milanovic | 2020-09-18 | 1 | -2/+8 |
| | | | |||||
| * | | Merge pull request #2329 from antmicro/arrays-fix-multirange-size | clairexen | 2020-09-17 | 1 | -2/+11 |
| |\ \ | | | | | | | Rewrite multirange arrays sizes [n] as [n-1:0] | ||||
| | * | | Rewrite multirange arrays sizes [n] as [n-1:0] | Lukasz Dalek | 2020-08-03 | 1 | -2/+11 |
| | | | | | | | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com> | ||||
| * | | | Merge pull request #2330 from antmicro/arrays-fix-multirange-access | clairexen | 2020-09-17 | 1 | -1/+1 |
| |\ \ \ | |_|/ |/| | | Fix unsupported subarray access detection | ||||
| | * | | Fix subarray access condition | Lukasz Dalek | 2020-08-03 | 1 | -1/+1 |
| | |/ | | | | | | | Signed-off-by: Lukasz Dalek <ldalek@antmicro.com> | ||||
| * | | Use latest verific | Miodrag Milanovic | 2020-09-02 | 1 | -1/+1 |
| | | | |||||
| * | | Merge pull request #2352 from zachjs/const-func-localparam | clairexen | 2020-09-01 | 1 | -0/+12 |
| |\ \ | | | | | | | Allow localparams in constant functions | ||||
| | * | | Allow localparams in constant functions | Zachary Snow | 2020-08-20 | 1 | -0/+12 |
| | | | | |||||
| * | | | Merge pull request #2366 from zachjs/library-format | clairexen | 2020-09-01 | 1 | -0/+11 |
| |\ \ \ | | | | | | | | | Simple support for %l format specifier | ||||
| | * | | | Simple support for %l format specifier | Zachary Snow | 2020-08-29 | 1 | -0/+11 |
| | |/ / | | | | | | | | | | | | | Yosys doesn't support libraries, so this provides the same behavior as %m, as some other tools have opted to do. | ||||
| * | | | Merge pull request #2353 from zachjs/top-scope | clairexen | 2020-09-01 | 1 | -0/+7 |
| |\ \ \ | | | | | | | | | Module name scope support | ||||
| | * | | | Module name scope support | Zachary Snow | 2020-08-20 | 1 | -0/+7 |
| | |/ / | |||||
| * | | | Merge pull request #2365 from zachjs/const-arg-loop-split-type | clairexen | 2020-09-01 | 1 | -3/+4 |
| |\ \ \ | | | | | | | | | Fix constant args used with function ports split across declarations | ||||
| | * | | | Fix constant args used with function ports split across declarations | Zachary Snow | 2020-08-29 | 1 | -3/+4 |
| | |/ / | |||||
| * | | | Reorder to prevent crash | Miodrag Milanovic | 2020-08-31 | 1 | -3/+3 |
| | | | | |||||
| * | | | ast recognize lower case x and z and verific gives upper case | Miodrag Milanovic | 2020-08-30 | 1 | -2/+6 |
| | | | | |||||
| * | | | Do not check for 1 and 0 only | Miodrag Milanovic | 2020-08-30 | 1 | -6/+0 |
| | | | | |||||
| * | | | Fix import of VHDL enums | Miodrag Milanovic | 2020-08-30 | 1 | -11/+22 |
| | | | | |||||
| * | | | Replace "ILANG" with "RTLIL" everywhere. | whitequark | 2020-08-26 | 9 | -91/+106 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The only difference between "RTLIL" and "ILANG" is that the latter is the text representation of the former, as opposed to the in-memory graph representation. This distinction serves no purpose but confuses people: it is not obvious that the ILANG backend writes RTLIL graphs. Passes `write_ilang` and `read_ilang` are provided as aliases to `write_rtlil` and `read_rtlil` for compatibility. | ||||
| * | | | Add formal apps and template generators | Miodrag Milanovic | 2020-08-26 | 1 | -1/+223 |
| |/ / | |||||
| * | | Merge pull request #2122 from PeterCrozier/struct_array2 | clairexen | 2020-08-19 | 1 | -28/+62 |
| |\ \ | | | | | | | Support 2D bit arrays in structures. Optimise array indexing. | ||||
| | * | | 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 | 1 | -28/+96 |
| | | | | |||||
| * | | | Merge pull request #2339 from zachjs/display-format-0s | clairexen | 2020-08-18 | 1 | -1/+1 |
| |\ \ \ | | | | | | | | | Allow %0s $display format specifier | ||||
| | * | | | Allow %0s $display format specifier | Zachary Snow | 2020-08-09 | 1 | -1/+1 |
| | | |/ | |/| | |||||
| * | | | Merge pull request #2338 from zachjs/const-branch-finish | clairexen | 2020-08-18 | 1 | -4/+4 |
| |\ \ \ | | | | | | | | | Propagate const_fold through generate blocks and branches | ||||
| | * | | | Propagate const_fold through generate blocks and branches | Zachary Snow | 2020-08-09 | 1 | -4/+4 |
| | |/ / | |||||
| * | | | Merge pull request #2317 from zachjs/expand-genblock | clairexen | 2020-08-18 | 2 | -42/+83 |
| |\ \ \ | | | | | | | | | Fix generate scoping issues | ||||
| | * | | | Fix generate scoping issues | Zachary Snow | 2020-07-31 | 2 | -42/+83 |
| | |/ / | | | | | | | | | | | | | | | | | | | | | | | | | - expand_genblock defers prefixing of items within named sub-blocks - Allow partially-qualified references to local scopes - Handle shadowing within generate blocks - Resolve generate scope references within tasks and functions - Apply generate scoping to genvars - Resolves #2214, resolves #1456 | ||||
| * | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into ↵ | Claire Wolf | 2020-08-18 | 1 | -26/+29 |
| |\ \ \ | | | | | | | | | | | | | | | | | | | | | 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 | 1 | -18/+21 |
| | | | | | |||||
| * | | | | Merge pull request #2281 from zachjs/const-real | clairexen | 2020-08-18 | 1 | -3/+11 |
| |\ \ \ \ | |_|/ / |/| | | | Allow reals as constant function parameters | ||||
| | * | | | Allow reals as constant function parameters | Zachary Snow | 2020-07-19 | 1 | -3/+11 |
| | |/ / | |||||
| * | | | Clear last error message | Miodrag Milanovic | 2020-07-29 | 1 | -1/+3 |
| | | | | |||||
| * | | | Merge pull request #2301 from zachjs/for-loop-errors | clairexen | 2020-07-28 | 1 | -17/+19 |
| |\ \ \ | | | | | | | | | Clearer for loop error messages | ||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |