Search results

benchmark if the <code>simplify</code> cache can be made thread safe without hurting performances

Status: Open.

#488 In formalsec/smtml;

· redianthus opened on Dec 14, 2025

use something more efficient than Stdlib.Set.Make for Expr.Set

Status: Open.

#487 In formalsec/smtml;

· redianthus opened on Dec 14, 2025

benchmark thread-safe hashconsing

Status: Open.

#486 In formalsec/smtml;

· redianthus opened on Dec 14, 2025

add support for STP

Status: Open.

#473 In formalsec/smtml;

· redianthus opened on Dec 6, 2025

wrong type for <code>Bool.ite</code>

type: bug

Status: Open.

#471 In formalsec/smtml;

· redianthus opened on Dec 5, 2025

Use <code>Yojson.Safe.t</code> instead of <code>Yojson.Basic.t</code>

Status: Open.

#470 In formalsec/smtml;

· filipeom opened on Dec 1, 2025

Wrong bitwuzla answer for QF_UF

bitwuzla

type: bug

Status: Open.

#465 In formalsec/smtml;

· filipeom opened on Nov 28, 2025

Exact rationals in the real theory

Status: Open.

#464 In formalsec/smtml;

· tiferrei opened on Nov 28, 2025

missing simplification

Status: Open.

#457 In formalsec/smtml;

· redianthus opened on Nov 21, 2025

add a global (i.e. file system) cache

Status: Open.

#441 In formalsec/smtml;

· redianthus opened on Oct 31, 2025

Add hook to notify slack/zulip of PR when opam-publish CI runs

Status: Open.

#438 In formalsec/smtml;

· filipeom opened on Oct 27, 2025

Automatic mappings generation

Status: Open.

#422 In formalsec/smtml;

· filipeom opened on Oct 2, 2025