master
tools/trim: convert inline tests to txtar
tools/trim: add tracer
internal/core/adt: support bulk adding of conjuncts
internal: adapt to testing.TB.Context in Go 1.24