Issues

• Princess crashes in LShiftCastSplitHandler

  uuverifiers/princess#39 · Filter by author daniel-raffler opened on Oct 3, 2026

• Parametric ADT

  enhancement
  uuverifiers/princess#24 · Filter by author mgudemann opened on Aug 8, 2025
  3

• SAT-check for String theory with codepoint crashes in MatchError

  uuverifiers/princess#18 · Filter by author kfriedberger opened on Dec 30, 2024
  3

• Princess crashes while evaluating Epsilon terms in the partial model

  enhancement
  uuverifiers/princess#17 · Filter by author daniel-raffler opened on Oct 20, 2024
  3

• Model evaluation for rational theory crashes in MatchError

  uuverifiers/princess#8 · Filter by author kfriedberger opened on Nov 19, 2023
  4

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

  uuverifiers/princess#7 · Filter by author kfriedberger opened on Nov 19, 2023
  2