aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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 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 #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
| * 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 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
| |\
| | * Fixing other references to the manualKrystalDelusion2022-12-192-10/+6
| | * Removed manual from make cleanKrystalDelusion2022-12-191-1/+0
| | * Remove make targets for manualKrystalDelusion2022-12-191-9/+1
| | * Remove help outputs for texKrystalDelusion2022-12-081-92/+0
| | * 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: 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
| | |/
| * | 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 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 modeJannis Harder2022-12-091-0/+3
| |/ /
| * | Merge pull request #3573 from daglem/struct-array-multidimensionalJannis Harder2022-12-072-98/+138
| |\ \ | | |/ | |/|
| | * 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
| * | Release version 0.24Miodrag Milanovic2022-12-052-3/+16
| * | Update manualMiodrag Milanovic2022-12-051-6/+189
| * | Merge pull request #3572 from jix/tcl-recoverMiodrag Milanović2022-12-056-8/+114
| |\ \
| | * | tcl: Update help message to mention 'tee -s'Jannis Harder2022-12-051-2/+2
| | * | tcl: Unset both result.json and result.string only before calling passJannis Harder2022-12-051-2/+1
| | * | tcl: Don't exit repl on recoverable command errorsJannis Harder2022-12-022-4/+36
| | * | tcl: Return scratchpad result.json and result.string as tcl objectsJannis Harder2022-12-021-2/+57
| | * | stat: Fix JSON output for empty designsJannis Harder2022-12-021-2/+2
| | * | tee: Allow logging command output to a given scratchpad valueJannis Harder2022-12-023-0/+20
| | |/
| * | Merge pull request #3568 from YosysHQ/verific_msgMiodrag Milanović2022-12-051-3/+16
| |\ \
| | * | set VERI-1063 explicitlyMiodrag Milanovic2022-12-021-5/+7
| | * | Set all verific messages of certain type to otherMiodrag Milanovic2022-11-301-3/+14
| * | | Merge pull request #3569 from YosysHQ/ver_no_rewritersMiodrag Milanović2022-12-051-0/+2
| |\ \ \ | | |_|/ | |/| |