Andrew Reynolds b056bd2446 Add stable as a build type (#12128) ...

This adds `stable` as a build type, which is similar to `safe` but
permits incomplete proofs in regressions and the use of regular options
with `no-support:` fields.

2025-09-18 18:36:59 +00:00

..

c

Add support for compilation on Windows ARM64 (#12111)

2025-09-10 15:44:59 +00:00

cpp

Add stable as a build type (#12128)

2025-09-18 18:36:59 +00:00

java

Add stable as a build type (#12128)

2025-09-18 18:36:59 +00:00

python

Add stable as a build type (#12128)

2025-09-18 18:36:59 +00:00

smtlib

Disable support for experimental theories when safe-options is set (#11162)

2024-09-27 15:07:07 +00:00