search

runtimeverification / iele-semantics

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

bug fixes to iele for llvm backend #155

Closed dwightguth closed 6 years ago

dwightguth commented 6 years ago

Ready for review.