Migrate away from `#parseKORE`

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 8 forks source link

Migrate away from `#parseKORE` #369

Open Baltoli opened 7 months ago

Baltoli commented 7 months ago

Modern versions of K have dropped support for the #parseKORE hook as it represents a hole in K's type system. If this semantics is re-opened for maintenance, current uses of #parseKORE should migrate to a Pyk-based setup consistent with other ongoing K projects.