This space is for users of Yosys and other Yosys HQ tools. If you have questions about developing for Yosys or infrastructure which uses it, please use the Developers category.
If you are unsure about something being a bug, feel free to start a thread here. But for reporting bugs, please use the appropriate bug tracker, which is the issue tab in the respective repository you can find linked on our GitHub organization.
If your organization has a support contract with Yosys HQ, using the customer support e-mail provided to your organization is the fastest way to get support.