Tobias Wölfel

The build fails because of a version check failing. Seems to me that in the short integration tests the git version is not picked up (the google benchmark below has...

Hi, looks like the CI PR and rebase were successful. I did a rebase locally and have one more updated related to the newly added SVA test. https://github.com/towoe/circt/commit/4249e6ef3cf8a297814bae34626235d10d137948 Would be...

Awesome, thanks @hovind and @fabianschuiki and all the others to finally land this PR!