Search results

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

get_best_solver is costly

Status: Open.

#602 In formalsec/smtml;

· redianthus opened on Apr 13, 2026

bottleneck on Mappings.encode_expr

Status: Open.

#601 In formalsec/smtml;

· redianthus opened on Apr 13, 2026

bottleneck on Expr.simplify

Status: Open.

#600 In formalsec/smtml;

· redianthus opened on Apr 13, 2026

bottleneck on Expr.equal

Status: Open.

#599 In formalsec/smtml;

· redianthus opened on Apr 13, 2026