Search results

a potential new normalization

Status: Open.

#633 In formalsec/smtml;

· redianthus opened on Jun 16, 2026

update the signatures of Typed.Bitv32.rotate_left and right

Status: Open.

#627 In formalsec/smtml;

· amenahh opened on Jun 8, 2026

Unexpected exception thrown

cvc5

type: bug

Status: Open.

#625 In formalsec/smtml;

· amenahh opened on Jun 8, 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

bottleneck in Mappings.clz

Status: Open.

#595 In formalsec/smtml;

· redianthus opened on Apr 12, 2026

use Z.to_bytes when available in a new release

Status: Open.

#594 In formalsec/smtml;

· redianthus opened on Apr 12, 2026

mdx blocks that use z3 are only enabled when the only installed solver is z3

Status: Open.

#565 In formalsec/smtml;

· filipeom opened on Mar 5, 2026