Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY | Jannis Harder | 2022-12-07 | 1 | -0/+2 | |
| |/ / / | ||||||
* | | | | Bump version | github-actions[bot] | 2022-12-16 | 1 | -1/+1 | |
* | | | | Merge pull request #3588 from YosysHQ/noblackbox | Miodrag Milanović | 2022-12-15 | 1 | -0/+6 | |
|\ \ \ \ | ||||||
| * | | | | respect noblackbox attribute in verific | Miodrag Milanovic | 2022-12-15 | 1 | -0/+6 | |
|/ / / / | ||||||
* | | | | Bump version | github-actions[bot] | 2022-12-13 | 1 | -1/+1 | |
* | | | | Merge pull request #3581 from jix/formalff-error | Jannis Harder | 2022-12-12 | 1 | -0/+3 | |
|\ \ \ \ | ||||||
| * | | | | formalff: Proper error messages on async inputs for the -clk2ff mode | Jannis Harder | 2022-12-09 | 1 | -0/+3 | |
|/ / / / | ||||||
* | | | | Merge pull request #3573 from daglem/struct-array-multidimensional | Jannis Harder | 2022-12-07 | 2 | -98/+138 | |
|\ \ \ \ | |/ / / |/| | | | ||||||
| * | | | Made make_struct_member_range side-effect-free again | Dag Lem | 2022-12-04 | 1 | -20/+20 | |
| * | | | Support for packed multidimensional arrays within packed structs | Dag Lem | 2022-12-03 | 2 | -98/+138 | |
* | | | | Bump version | github-actions[bot] | 2022-12-06 | 1 | -1/+1 | |
* | | | | Next dev cycle | Miodrag Milanovic | 2022-12-05 | 2 | -2/+5 | |
* | | | | Release version 0.24 | Miodrag Milanovic | 2022-12-05 | 2 | -3/+16 | |
* | | | | Update manual | Miodrag Milanovic | 2022-12-05 | 1 | -6/+189 | |
* | | | | Merge pull request #3572 from jix/tcl-recover | Miodrag Milanović | 2022-12-05 | 6 | -8/+114 | |
|\ \ \ \ | ||||||
| * | | | | tcl: Update help message to mention 'tee -s' | Jannis Harder | 2022-12-05 | 1 | -2/+2 | |
| * | | | | tcl: Unset both result.json and result.string only before calling pass | Jannis Harder | 2022-12-05 | 1 | -2/+1 | |
| * | | | | tcl: Don't exit repl on recoverable command errors | Jannis Harder | 2022-12-02 | 2 | -4/+36 | |
| * | | | | tcl: Return scratchpad result.json and result.string as tcl objects | Jannis Harder | 2022-12-02 | 1 | -2/+57 | |
| * | | | | stat: Fix JSON output for empty designs | Jannis Harder | 2022-12-02 | 1 | -2/+2 | |
| * | | | | tee: Allow logging command output to a given scratchpad value | Jannis Harder | 2022-12-02 | 3 | -0/+20 | |
| |/ / / | ||||||
* | | | | Merge pull request #3568 from YosysHQ/verific_msg | Miodrag Milanović | 2022-12-05 | 1 | -3/+16 | |
|\ \ \ \ | ||||||
| * | | | | set VERI-1063 explicitly | Miodrag Milanovic | 2022-12-02 | 1 | -5/+7 | |
| * | | | | Set all verific messages of certain type to other | Miodrag Milanovic | 2022-11-30 | 1 | -3/+14 | |
* | | | | | Merge pull request #3569 from YosysHQ/ver_no_rewriters | Miodrag Milanović | 2022-12-05 | 1 | -0/+2 | |
|\ \ \ \ \ | |_|/ / / |/| | | | | ||||||
| * | | | | reset elaboration error after rewriter | Miodrag Milanovic | 2022-11-30 | 1 | -0/+2 | |
| |/ / / | ||||||
| | | * | Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-21 | 1 | -14/+10 | |
| | | |\ | ||||||
| | | | * | xprop: Improve signal splitting code | Jannis Harder | 2022-12-12 | 1 | -14/+10 | |
| | | * | | Allow non-unique modules without state in sim writeback-mode | Claire Xenia Wolf | 2022-12-21 | 1 | -4/+5 | |
| | | * | | Small bugfix in uniquify pass | Claire Xenia Wolf | 2022-12-21 | 1 | -0/+1 | |
| | | |/ | ||||||
| | | * | Improvements in "viz" pass | Claire Xenia Wolf | 2022-12-09 | 1 | -24/+100 | |
| | | * | Add gold-x handing to miter cross port handling | Claire Xenia Wolf | 2022-12-08 | 1 | -1/+9 | |
| | | * | Merge branch 'claire/eqystuff' of github.com:YosysHQ/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-08 | 1 | -0/+39 | |
| | | |\ | ||||||
| | | | * | Merge pull request #3579 from jix/split_public_untested | Claire Xen | 2022-12-08 | 1 | -0/+39 | |
| | | | |\ | ||||||
| | | | | * | xprop: Add -split-public option | Jannis Harder | 2022-12-08 | 1 | -0/+39 | |
| | | | |/ | ||||||
| | | * / | Improvements in "viz" command | Claire Xenia Wolf | 2022-12-07 | 1 | -17/+51 | |
| | | |/ | ||||||
| | | * | Improvements in "viz" pass | Claire Xenia Wolf | 2022-12-07 | 1 | -313/+453 | |
| | | * | Various improvements in "viz" command | Claire Xenia Wolf | 2022-12-06 | 1 | -72/+242 | |
| | | * | Bugfix in splitcells pass | Claire Xenia Wolf | 2022-12-06 | 1 | -5/+13 | |
| | | * | Improvements in "viz" command | Claire Xenia Wolf | 2022-12-04 | 1 | -45/+196 | |
| | | * | Add "viz" pass for visualizing big-picture data flow in larger designs | Claire Xenia Wolf | 2022-12-04 | 2 | -0/+511 | |
| | | * | Add splitcells pass | Claire Xenia Wolf | 2022-12-04 | 2 | -0/+192 | |
| | | * | Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-04 | 2 | -1/+8 | |
| | | |\ | |_|_|/ |/| | | | ||||||
* | | | | Merge pull request #3567 from YosysHQ/tcl_fix_crash | Miodrag Milanović | 2022-12-02 | 2 | -1/+8 | |
|\ \ \ \ | ||||||
| * | | | | Fix tcl crash in case of error executing command | Miodrag Milanovic | 2022-11-30 | 2 | -1/+8 | |
| |/ / / | ||||||
| | | * | Merge branch 'xprop' of github.com:jix/yosys into claire/eqystuff | Claire Xenia Wolf | 2022-12-01 | 29 | -79/+2537 | |
| | | |\ | | | |/ | | |/| | ||||||
| | * | | miter: Add -make_cover option to cover each output pair difference | Jannis Harder | 2022-11-30 | 1 | -0/+14 | |
| | * | | formalff: Fix -ff2anyinit assertion error for fine FFs | Jannis Harder | 2022-11-30 | 1 | -0/+2 | |
| | * | | New xprop pass to encode 3-valued x-propagation using 2-valued logic | Jannis Harder | 2022-11-30 | 7 | -0/+2001 | |
| | * | | sim: Improved global clock handling | Jannis Harder | 2022-11-30 | 1 | -13/+14 |