Search results

Parametric ADT

enhancementNew feature or requestNew feature or request

Status: Open.

#24 In uuverifiers/princess;

· mgudemann opened on Aug 8, 2025

ADT constructor for update

Status: Open.

#22 In uuverifiers/princess;

· mgudemann opened on Aug 1, 2025

Incorrect handling of bitvector division by zero in epsilon logic (regression in commit 8311b03)

Status: Open.

#21 In uuverifiers/princess;

· NixoN2 opened on Jul 28, 2025

SAT-check for String theory with codepoint crashes in MatchError

Status: Open.

#18 In uuverifiers/princess;

· kfriedberger opened on Dec 30, 2024

Princess crashes while evaluating Epsilon terms in the partial model

enhancementNew feature or requestNew feature or request

Status: Open.

#17 In uuverifiers/princess;

· daniel-raffler opened on Oct 20, 2024

Model evaluation for rational theory crashes in MatchError

Status: Open.

#8 In uuverifiers/princess;

· kfriedberger opened on Nov 19, 2023

Model evaluation for rational theory is incomplete and does not simplify terms

Status: Open.

#7 In uuverifiers/princess;

· kfriedberger opened on Nov 19, 2023