search

runtimeverification / iele-semantics

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

Fixed `revert` description in `iele.md` #156

Closed vsubhuman closed 6 years ago

vsubhuman commented 6 years ago

Description mentioned "list of registers, but revert takes a single argument

rv-jenkins commented 6 years ago

Can one of the admins verify this patch?

dwightguth commented 6 years ago

Jenkins: test this please