kore-0.24.0.0

v0.24.0.0

kore-0.24.0.0 (#1926)

kore-0.23.0.0

v0.23.0.0

kore-0.23.0.0 (#1878)

kore-0.22.0.0

v0.22.0.0

kore-0.22.0.0 (#1853)

kore-0.21.0.0

v0.21.0.0

kore-0.21.0.0 (#1818)

kore-0.19.0.0

v0.19.0.0

kore-0.19.0.0 (#1752)

Haskell backend with proof checker

Add HasCallStack constraints (#506)

* Kore.AST.Valid: Add HasCallStack constraints

* freeEpVariables: Avoid calling toMLPattern