aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundefJannis Harder2023-01-113-2/+12
| | | | | | | | This adds the xprop_decoder attribute to bwmuxes that drive the original unencoded signals. Setundef is changed to ignore the x inputs of these bwmuxes, so that they survive the prep script of SBY's formal flow. This is required to make simulation (via sim) using the prep model show the decoded x signals instead of 0/1 values made up by the solver.
* smt2: Treat bweqx as xnorJannis Harder2023-01-111-0/+1
| | | | Without x-bits they are equivalent
* smt2: Directly implement bwmux instead of using bwmuxmapJannis Harder2023-01-111-2/+4
|
* Merge pull request #3605 from gadfort/stat-json-areaN. Engelhardt2023-01-111-0/+3
|\
| * Merge branch 'master' into stat-json-areaPeter Gadfort2023-01-0289-20297/+11
| |\
| * | stat: ensure area is included in json outputPeter Gadfort2022-12-291-0/+3
| | | | | | | | | | | | Signed-off-by: Peter Gadfort <peter.gadfort@gmail.com>
* | | Merge pull request #3570 from YosysHQ/claire/eqystuffClaire Xen2023-01-118-17/+1380
|\ \ \ | | | | | | | | Various Changes for EQY
| * \ \ Merge branch 'master' into claire/eqystuffClaire Xen2023-01-1112-131/+60
| |\ \ \ | |/ / / |/| | |
* | | | Merge pull request #3537 from jix/xpropJannis Harder2023-01-1129-79/+2537
|\ \ \ \ | | | | | | | | | | New xprop pass
* | | | | remove template declaration that stops function from being usedN. Engelhardt2023-01-111-4/+0
| | | | |
* | | | | Merge pull request #3620 from YosysHQ/gcc48_removeN. Engelhardt2023-01-1111-127/+60
|\ \ \ \ \
| * | | | | Add deprecation info to changelogMiodrag Milanovic2023-01-111-0/+2
| | | | | |
| * | | | | Deprecate gcc-4.8Miodrag Milanovic2023-01-1110-127/+58
|/ / / / /
| | * | | Merge branch 'master' of github.com:YosysHQ/yosys into claire/eqystuffClaire Xenia Wolf2023-01-11103-20236/+385
| | |\ \ \ | |_|/ / / |/| | | |
* | | | | Bump versiongithub-actions[bot]2023-01-111-1/+1
| | | | |
* | | | | Merge pull request #3616 from YosysHQ/register_errorMiodrag Milanović2023-01-101-5/+12
|\ \ \ \ \ | | | | | | | | | | | | Display error instead of assertion when pass exists
| * | | | | Display error instead of assertion when pass existsMiodrag Milanovic2023-01-091-5/+12
| | | | | |
* | | | | | Merge pull request #3615 from YosysHQ/qbfsat_cvc5Miodrag Milanović2023-01-102-3/+7
|\ \ \ \ \ \ | |/ / / / / |/| | | | | qbfsat support for cvc5, fixes #3608
| * | | | | qbfsat support for cvc5, fixes #3608Miodrag Milanovic2023-01-092-3/+7
|/ / / / /
* | | | | Bump versiongithub-actions[bot]2023-01-051-1/+1
| | | | |
* | | | | nexus: Fix BRAM write enable in PDP modegatecat2023-01-041-2/+2
| | | | | | | | | | | | | | | | | | | | Signed-off-by: gatecat <gatecat@ds0.me>
* | | | | Bump versiongithub-actions[bot]2023-01-041-1/+1
| | | | |
* | | | | Next dev cycleMiodrag Milanovic2023-01-032-2/+5
| | | | |
* | | | | Release version 0.25Miodrag Milanovic2023-01-032-3/+8
| | | | |
* | | | | Bump versiongithub-actions[bot]2023-01-031-1/+1
| |_|_|/ |/| | |
* | | | Merge pull request #3606 from YosysHQ/fix_vsMiodrag Milanović2023-01-022-12/+0
|\ \ \ \ | | | | | | | | | | Remove cache
| * | | | Remove cacheMiodrag Milanovic2023-01-022-12/+0
|/ / / /
* | | | add note to help about how to chain commandsN. Engelhardt2023-01-021-1/+1
| | | |
* | | | Merge pull request #3577 from KrystalDelusion/deprecate_manualMiodrag Milanović2023-01-0286-20284/+10
|\ \ \ \ | |_|_|/ |/| | | Deprecate manual
| * | | Fixing other references to the manualKrystalDelusion2022-12-192-10/+6
| | | | | | | | | | | | | | | | And files that were in the directory.
| * | | Removed manual from make cleanKrystalDelusion2022-12-191-1/+0
| | | |
| * | | Remove make targets for manualKrystalDelusion2022-12-191-9/+1
| | | | | | | | | | | | | | | | Leaves the clean, since presentation source is still directly buildable and cleanable.
| * | | Remove help outputs for texKrystalDelusion2022-12-081-92/+0
| | | | | | | | | | | | | | | | Also for old website.
| * | | And appnotesKrystalDelusion2022-12-0833-2721/+0
| | | |
| * | | Removing manual filesKrystalDelusion2022-12-0848-17415/+0
| | | |
| * | | Removing old manual from README.mdKrystalDelusion2022-12-081-36/+3
| | | |
* | | | Merge pull request #3467 from jix/fix_cellarray_simplifyJannis Harder2022-12-192-0/+47
|\ \ \ \ | | | | | | | | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY
| * | | | simplify: regression test for AST_CELLARRAY simplification issueJannis Harder2022-12-071-0/+45
| | | | |
| * | | | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAYJannis Harder2022-12-071-0/+2
| |/ / / | | | | | | | | | | | | | | | | | | | | Otherwise the AST_CELL simplification uses the wrong celltype before the AST_CELLARRAY simplification has a chance to unroll it and change it to the $array celltype.
* | | | Bump versiongithub-actions[bot]2022-12-161-1/+1
| | | |
* | | | Merge pull request #3588 from YosysHQ/noblackboxMiodrag Milanović2022-12-151-0/+6
|\ \ \ \ | | | | | | | | | | respect noblackbox attribute in verific
| * | | | respect noblackbox attribute in verificMiodrag Milanovic2022-12-151-0/+6
|/ / / /
* | | | Bump versiongithub-actions[bot]2022-12-131-1/+1
| | | |
* | | | Merge pull request #3581 from jix/formalff-errorJannis Harder2022-12-121-0/+3
|\ \ \ \ | | | | | | | | | | formalff: Proper error messages on async inputs for the -clk2ff mode
| * | | | formalff: Proper error messages on async inputs for the -clk2ff modeJannis Harder2022-12-091-0/+3
|/ / / /
* | | | Merge pull request #3573 from daglem/struct-array-multidimensionalJannis Harder2022-12-072-98/+138
|\ \ \ \ | |/ / / |/| | | Support for packed multidimensional arrays within packed structs
| * | | Made make_struct_member_range side-effect-free againDag Lem2022-12-041-20/+20
| | | |
| * | | Support for packed multidimensional arrays within packed structsDag Lem2022-12-032-98/+138
| | | |
* | | | Bump versiongithub-actions[bot]2022-12-061-1/+1
| | | |
* | | | Next dev cycleMiodrag Milanovic2022-12-052-2/+5
| | | |
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 05:37:13 +0000