Search results

list of unsupported solvers

type: feature

Status: Open.

#555 In formalsec/smtml;

· redianthus opened on Feb 22, 2026

<code>Typed.Bool.symbol</code>, etc. don't check types at all

type: bug

Status: Open.

#552 In formalsec/smtml;

· sim642 opened on Feb 22, 2026

Inconsistent naming of equality operator

type: feature

Status: Open.

#551 In formalsec/smtml;

· sim642 opened on Feb 22, 2026

Evaluating typed symbols in models

type: feature

Status: Open.

#550 In formalsec/smtml;

· sim642 opened on Feb 22, 2026

Integrate other string solvers

type: feature

Status: Open.

#545 In formalsec/smtml;

· filipeom opened on Feb 20, 2026

missing simplifications

type: feature

Status: Open.

#529 In formalsec/smtml;

· redianthus opened on Jan 28, 2026

Try to use nix in the deploy and publish CI

piority: low

type: chore

Status: Open.

#522 In formalsec/smtml;

· filipeom opened on Jan 22, 2026

Extract indicies should be bits instead of bytes

type: chore

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