master

_update-deps/runtimeverification/k

release

bytes-hooks-in-booster

enable-parallel-calls-to-llvm

hs-dependency-upgrade

jb/incremental-improvements-for-implies

petar/experimental

4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetrically

4579-syntactic-simplifications

4012-evaluate-pattern-pruning

HOTFIX-log-llvm-call-timing

jb/tracing-additions-for-debugging-side-condition-smt

georgy/simplify-assume-defined

sam/top-level-exist-elim-revert