aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Bump versiongithub-actions[bot]2023-01-261-1/+1
* Merge pull request #3647 from jix/formalff-hierarchy-fixMiodrag Milanović2023-01-251-1/+1
|\
| * formalff: Fix crash with _NOT_ gates in -hierarchy modeJannis Harder2023-01-251-1/+1
|/
* Bump versiongithub-actions[bot]2023-01-241-1/+1
* Merge pull request #3624 from jix/sim_ywMiodrag Milanović2023-01-2315-113/+1722
|\
| * sim/formalff: Clock handling for yw cosimJannis Harder2023-01-115-33/+274
| * sim: Improvements and fixes for yw cosimJannis Harder2023-01-116-52/+154
| * Support for BTOR witness to Yosys witness conversionJannis Harder2023-01-115-20/+312
| * aiger: Use new JSON code for writing aiger witness map filesJannis Harder2023-01-113-55/+96
| * Add json.{h,cc} for pretty printing JSONJannis Harder2023-01-113-1/+223
| * sim: New -append option for Yosys witness cosimJannis Harder2023-01-111-5/+14
| * sim: Add Yosys witness (.yw) cosimulationJannis Harder2023-01-111-3/+194
| * New kernel/yw.{h,cc} to support reading Yosys witness filesJannis Harder2023-01-113-1/+380
| * sim: Only check formal cells during gclk simulation updatesJannis Harder2023-01-111-16/+19
| * sim: Internal API to set $initstateJannis Harder2023-01-111-0/+11
| * sim: Emit used memory addresses as signals to output tracesJannis Harder2023-01-111-17/+122
| * xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundefJannis Harder2023-01-113-2/+12
| * smt2: Treat bweqx as xnorJannis Harder2023-01-111-0/+1
| * smt2: Directly implement bwmux instead of using bwmuxmapJannis Harder2023-01-111-2/+4
* | Merge pull request #3629 from YosysHQ/micko/clang_fixesMiodrag Milanović2023-01-2315-23/+39
|\ \
| * | Fixes for some of clang scan-build detected issuesMiodrag Milanovic2023-01-1715-23/+39
* | | Merge pull request #3636 from YosysHQ/log_pluginMiodrag Milanović2023-01-231-0/+1
|\ \ \
| * | | Call yosys_shutdown to properly cleanup plugins and tcl when expecting errorMiodrag Milanovic2023-01-201-0/+1
* | | | show: Remove left-in debug log_warninggatecat2023-01-231-1/+0
|/ / /
* | | Merge pull request #3630 from yrabbit/gw1n4c-pllMiodrag Milanović2023-01-181-0/+47
|\ \ \
| * | | gowin: add a new type of PLL - PLLVRYRabbit2023-01-111-0/+47
* | | | Bump versiongithub-actions[bot]2023-01-181-1/+1
* | | | Improve splitcells passClaire Xenia Wolf2023-01-181-52/+120
| |/ / |/| |
* | | Bump versiongithub-actions[bot]2023-01-121-1/+1
* | | print filename in liberty log_headerN. Engelhardt2023-01-111-2/+2
| |/ |/|
* | 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
* | | | Merge pull request #3570 from YosysHQ/claire/eqystuffClaire Xen2023-01-118-17/+1380
|\ \ \ \
| * \ \ \ Merge branch 'master' into claire/eqystuffClaire Xen2023-01-1112-131/+60
| |\ \ \ \ | |/ / / / |/| | | |
* | | | | Merge pull request #3537 from jix/xpropJannis Harder2023-01-1129-79/+2537
|\ \ \ \ \
* | | | | | 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 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 01:04:59 +0000