Search results

evaluation error when inlining some symbols

Status: Open.

#531 In formalsec/smtml;

· redianthus opened on Feb 1, 2026

missing simplifications

Status: Open.

#529 In formalsec/smtml;

· redianthus opened on Jan 28, 2026

Try to use nix in the deploy and publish CI

Status: Open.

#522 In formalsec/smtml;

· filipeom opened on Jan 22, 2026

Extract indicies should be bits instead of bytes

Status: Open.

#520 In formalsec/smtml;

· filipeom opened on Jan 21, 2026

remember last query to avoid useless call on model generation

Status: Open.

#518 In formalsec/smtml;

· redianthus opened on Jan 21, 2026

provide a persistent cache datastructure

Status: Open.

#516 In formalsec/smtml;

· redianthus opened on Jan 21, 2026

Arbitrary Bitvector widths

Status: Open.

#508 In formalsec/smtml;

· tiferrei opened on Jan 6, 2026

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