search

runtimeverification / iele-semantics

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

Documentation Updates #236

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Fixes: runtimeverification/iog-pm#12

I have tested these instructions using a from-source build on a fresh Ubuntu Bionic LXC container.