| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| | * | | | | | Display error instead of assertion when pass exists | Miodrag Milanovic | 2023-01-09 | 1 | -5/+12 |
| * | | | | | | Merge pull request #3615 from YosysHQ/qbfsat_cvc5 | Miodrag Milanović | 2023-01-10 | 2 | -3/+7 |
| |\ \ \ \ \ \
| |/ / / / /
|/| | | | | |
|
| | * | | | | | qbfsat support for cvc5, fixes #3608 | Miodrag Milanovic | 2023-01-09 | 2 | -3/+7 |
| |/ / / / / |
|
| * | | | | | Bump version | github-actions[bot] | 2023-01-05 | 1 | -1/+1 |
| * | | | | | nexus: Fix BRAM write enable in PDP mode | gatecat | 2023-01-04 | 1 | -2/+2 |
| * | | | | | Bump version | github-actions[bot] | 2023-01-04 | 1 | -1/+1 |
| * | | | | | Next dev cycle | Miodrag Milanovic | 2023-01-03 | 2 | -2/+5 |
| * | | | | | Release version 0.25 | Miodrag Milanovic | 2023-01-03 | 2 | -3/+8 |
| * | | | | | Bump version | github-actions[bot] | 2023-01-03 | 1 | -1/+1 |
| | |_|_|/
|/| | | |
|
| * | | | | Merge pull request #3606 from YosysHQ/fix_vs | Miodrag Milanović | 2023-01-02 | 2 | -12/+0 |
| |\ \ \ \ |
|
| | * | | | | Remove cache | Miodrag Milanovic | 2023-01-02 | 2 | -12/+0 |
| |/ / / / |
|
| * | | | | add note to help about how to chain commands | N. Engelhardt | 2023-01-02 | 1 | -1/+1 |
| * | | | | Merge pull request #3577 from KrystalDelusion/deprecate_manual | Miodrag Milanović | 2023-01-02 | 86 | -20284/+10 |
| |\ \ \ \
| |_|_|/
|/| | | |
|
| | * | | | Fixing other references to the manual | KrystalDelusion | 2022-12-19 | 2 | -10/+6 |
| | * | | | Removed manual from make clean | KrystalDelusion | 2022-12-19 | 1 | -1/+0 |
| | * | | | Remove make targets for manual | KrystalDelusion | 2022-12-19 | 1 | -9/+1 |
| | * | | | Remove help outputs for tex | KrystalDelusion | 2022-12-08 | 1 | -92/+0 |
| | * | | | And appnotes | KrystalDelusion | 2022-12-08 | 33 | -2721/+0 |
| | * | | | Removing manual files | KrystalDelusion | 2022-12-08 | 48 | -17415/+0 |
| | * | | | Removing old manual from README.md | KrystalDelusion | 2022-12-08 | 1 | -36/+3 |
| * | | | | Merge pull request #3467 from jix/fix_cellarray_simplify | Jannis Harder | 2022-12-19 | 2 | -0/+47 |
| |\ \ \ \ |
|
| | * | | | | simplify: regression test for AST_CELLARRAY simplification issue | Jannis Harder | 2022-12-07 | 1 | -0/+45 |
| | * | | | | 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 |
