search

runtimeverification / iele-semantics

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

Haskell Test Runner #200

Closed gtrepta closed 4 years ago

gtrepta commented 4 years ago

fixes: https://github.com/runtimeverification/iog-pm/issues/21