-
Notifications
You must be signed in to change notification settings - Fork 6
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Disable Verific Front End #484
Conversation
@awaisabbas-rs @nadeemyaseen-rs , any progress here? |
Hi @alain-rs I'm fixing the CI which breaks after disabling verific, I will create the PR ASAP for CI fix |
@alain-rs This PR is ready to merge. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @nadeemyaseen-rs , as far as I see your implementation makes a potential way back to Verific straightforward (we simply play on ENABLE_VERIFIC and YOSYS_VERIFIC). Is that correct or it is more complicated than that ?
Yes, it is correct. along with adding Verifc again as a submodule. .. Even going back in git history, we can get the verific running. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ok perfect. Thanks.
No description provided.