Search results

Question about Smtml.Expr.let_in function

Status: Open.

#666 In formalsec/smtml;

· amenahh opened on Jul 27, 2026

Unexpected exception thrown (altergo)

Status: Open.

#665 In formalsec/smtml;

· amenahh opened on Jul 27, 2026

Unimplemented method for CVC5 and Bitwulza (forall)

Status: Open.

#663 In formalsec/smtml;

· amenahh opened on Jul 27, 2026

Unimplemented method for CVC5 and Bitwulza (exist)

Status: Open.

#662 In formalsec/smtml;

· amenahh opened on Jul 27, 2026

Replace plain integer values with arbitrary-precision integer arithmetic

Status: Open.

Bug

#658 In formalsec/smtml;

· georgiy-belyanin opened on Jul 24, 2026

Unexpected exception thrown

Status: Open.

Bug

#654 In formalsec/smtml;

· amenahh opened on Jul 22, 2026

assert false in int modulo

Status: Open.

Bug

#649 In formalsec/smtml;

· amenahh opened on Jul 6, 2026

inconsistent behaviour

Status: Open.

#647 In formalsec/smtml;

· amenahh opened on Jul 3, 2026

smtzilla: make sur we don't dispatch unsupported operations to some solvers?

Status: Open.

#646 In formalsec/smtml;

· redianthus opened on Jul 3, 2026

a potential new normalization

Status: Open.

#633 In formalsec/smtml;

· redianthus opened on Jun 16, 2026

Missing functions in Smtml.Expr.Bool

Status: Open.

#624 In formalsec/smtml;

· amenahh opened on Jun 5, 2026

Unexpected exception thrown

alt-ergo

type: bug

Status: Open.

#623 In formalsec/smtml;

· amenahh opened on Jun 5, 2026