search

runtimeverification / iele-semantics

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

NOMERGE #171

Closed ehildenb closed 5 years ago

ehildenb commented 5 years ago

Testing github triggers

rv-jenkins commented 5 years ago

Can one of the admins verify this patch?