raiden-contracts icon indicating copy to clipboard operation
raiden-contracts copied to clipboard

Published 20 hours ago • verified publisher icon raiden-network

Try Verisol on the smart contracts

Open pirapira opened this issue 5 years ago • 2 comments

This issue keeps track of trying to use Verisol and deciding what to do with it.

pirapira avatar Jun 06 '19 09:06 pirapira

I'm trying to build Verisol's dependency corral, but I'm stuck around:

https://github.com/boogie-org/corral#building-and-running-corral-on-linux-using-mono

I cannot complete the ... in the doc.

pirapira avatar Jul 01 '19 13:07 pirapira

I don't have Windows.

pirapira avatar Jul 12 '19 14:07 pirapira