Skip to content

Make it possible to enable/disable theories (and load their preludes or not) using the set-option command in SMT-LIB files#1363

Open
hra687261 wants to merge 3 commits into
OCamlPro:nextfrom
hra687261:set-option-theories
Open

Make it possible to enable/disable theories (and load their preludes or not) using the set-option command in SMT-LIB files#1363
hra687261 wants to merge 3 commits into
OCamlPro:nextfrom
hra687261:set-option-theories

Lazily load preludes in SMT-LIB format from `:set-option` statements

846039c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build statically linked binary with musl
succeeded Jun 18, 2026 in 5m 24s