Update dependencies (runtimeverification#1004)

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

Update dependencies (runtimeverification#998)

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

Fix bug involving kore generation of function rules (runtimeverificat…

…ion#1002)

* fix kore generation when lhs is as pattern

* add tests

* fix whitespace

Co-authored-by: rv-jenkins <[email protected]>

Update dependencies (runtimeverification#988)

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

llvm-backend/src/main/native/llvm-backend: update submodule (runtimev…

…erification#986)

Fix for runtimeverification#974 (runtimeverification#983)

Update dependencies (runtimeverification#978)

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

cache isNat for performance (runtimeverification#981)

Update dependencies (runtimeverification#972)

* haskell-backend/src/main/native/haskell-backend: update submodule

* haskell-backend/src/main/native/haskell-backend: update submodule

Enable regression test for the Haskell backend (runtimeverification#957)