5 ms·
Seems like the tool they developed to perform verification, has been abandoned since 2014: https://github.com/trxsys/gluon https://github.com/trxsys/gluon.
by polskibus 8y ago
Seems like the tool they developed to perform verification, has been abandoned since 2014: https://github.com/trxsys/gluon https://github.com/trxsys/gluon.