Skip to content

Conversation

@loglav03
Copy link
Contributor

Description

Related Issue

Motivation and Context

How Has This Been Tested?

Types of changes

  • Bug fix (change which fixes an issue)
  • New feature (change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)

Checklist:

  • My change requires a change to the documentation
  • I have updated the documentation accordingly
  • I have added tests to cover my changes
  • All new and existing tests passed

@github-actions github-actions bot added the tests label May 27, 2025
@vaughnbetz
Copy link
Contributor

@loglav03 : is this PR now out-of-date since the updated Yosys has been merged? If so, we should close it.

@loglav03
Copy link
Contributor Author

loglav03 commented Jul 9, 2025

It is yes, thank you for pointing that out.

@loglav03 loglav03 closed this Jul 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants