generate Alias for LHS of semantics rules (runtimeverification#994)

Added unboundVariables attribute for rules (runtimeverification#1076)

Include LLVM backend header files in build assembly (runtimeverificat…

…ion#1070)

* llvm-backend/pom: formatting

* llvm-backend/pom.xml: go through assembly directory

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

use --dry-run in llvm backend (runtimeverification#1065)

* use --dry-run in llvm backend

* add --dry-run to kbmc

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

Add option --skip-invoking-backend for Java backend (runtimeverificat…

…ion#1040)

* java-backend: add --skip-invoking-backend option for skipping actually invoking the backend

* java-backend/InitializeRewriter: always return #True for InitializeRewriter.java

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

existentially quantify fresh anonymnous variables (runtimeverificatio…

…n#1066)

* existentially quantify fresh anonymnous variables

* Update k-distribution/tests/regression-new/haskell-backend-kprove/verif.k

Co-Authored-By: ehildenb <[email protected]>

Co-authored-by: ehildenb <[email protected]>

bison depends on gettext but doesn't declare that dependency on arch (r…

…untimeverification#1062)

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

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]>