tautschnig/coerce-composite

tautschnig/multi-output

tautschnig/extra-positional-args

tautschnig/fix-boogie-to-strata

jlee/opsem-parteval-correct

jhx/filter

jlee/filter-procedure-aggressive

jlee/evalappbug

migrate-b3-smt-pipeline-core-to-core

issue-710-stdout-is-cluttered-even-without-verbose

issue-706-inlining-assertions-should-keep-metadata

issue-612-better-isolation-of-non-determinism-in-c

test-fstring-and-default-init-args

feat/user-error-set-info

issue-721-vcoutcome-should-use-unknown-instead-of

josh/denote2

josh/fix-697

jhx/python-doc

feat/laurel-denotational-semantics

ddm-java-doc