search

runtimeverification / iele-semantics

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

Build KIELE with Nix #178

Closed ttuegel closed 3 years ago

ttuegel commented 4 years ago

The repository will provide a Nix expression for building KIELE.

Depends on kframework/k#1595