search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

Update documentation of iele-assemble #220

Closed ttuegel closed 3 years ago

ttuegel commented 3 years ago
ehildenb commented 3 years ago

@ttuegel you'll probably have better luck merging first then updating INSTALL.md, I drastically changed the instructions with the last PR.