Skip to content

Update VeriNet installer#96

Open
TrisCC wants to merge 1 commit intoADA-research:mainfrom
TrisCC:verinet-update
Open

Update VeriNet installer#96
TrisCC wants to merge 1 commit intoADA-research:mainfrom
TrisCC:verinet-update

Conversation

@TrisCC
Copy link
Contributor

@TrisCC TrisCC commented Jul 16, 2024

Netron has to be updated in order to make VeriNet work properly

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants