Skip to content

2024-08-23
Compare
Choose a tag to compare
@github-actions github-actions released this 23 Aug 02:08
· 18 commits to main since this release
2024-08-23
f0b186a 
make formal depend on yosys, so it gets updated when just tags do change
Assets 7
Loading