Update dependency: haskell-backend/src/main/native/haskell-backend (r…

…untimeverification#2045)

Update dependency: haskell-backend/src/main/native/haskell-backend (r…

…untimeverification#2042)

* haskell-backend/src/main/native/haskell-backend: 9247a969d - Prune unsatisfiable state with unifyStringEq (runtimeverification#2647)

* haskell-backend/src/main/native/haskell-backend: 797767163 - modified matchEquation to accept new equation format (runtimeverification#2688)

Various fixes (runtimeverification#2026)

* Normalize starting file path

* Move verbose message to a more consistent place

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

Lesson 12: syntactic lists (runtimeverification#2023)

* add link to lesson 12 in lesson 11

* lesson 12: syntactic lists

* add tests

* fix broken example

Lesson 11: Casts (runtimeverification#2018)

* rename files

* renumber lesson titles

* capitalize the word Boolean

* add link to lesson 11 in lesson 10

* lesson 11: casts

* add tests

* fix bug

* fixes from comments

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

Fixed bunch of broken links (runtimeverification#2013)

* fix: Fixed two broken links

* fix: Fixed broken links

Lesson 9: unparsing and formatting (runtimeverification#2005)

* fix typo in pending-documentation.md

* lesson 9: unparsing and formatting

* add tests

* add link to lesson 9 in lesson 8

* Update README.md

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

Nix: Fix kserver (runtimeverification#1884)

* Fix interpreter of installed ng

* test.nix: Use kserver

* test.nix: Find package version file

* test.nix: Do not use kserver in Nix

Nailgun seems to want network access which is disabled in the Nix sandbox, so we
can't actually run the tests with kserver enabled.

automatically remove `not-lr1` modules from Bison grammars (runtimeve…

…rification#1999)

* more accurately place not-lr1

* strip out not-lr1 modules instead of just warning

* fix exercise

* update test output

* update warning message

* update test output

* add test

* add test

* Revert "add test"

This reverts commit 9e06f4a.

Update Location of cached Bubbles (runtimeverification#2001)

* Update Location of cached Bubbles

Only if they moved

* Invalidate cache if attributes changed

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