Issues

• xor can contribute to vc assumption

  emina/rosette#312 · Filter by author camoy opened on Sep 7, 2026

• aarch64 linux support?

  emina/rosette#304 · Filter by author jbclements opened on Jul 19, 2026
  3

• Support for non-indexed bit rotation operations

  emina/rosette#302 · Filter by author xeniarose opened on Jun 1, 2026

• Update bundled Z3

  emina/rosette#301 · Filter by author 6cdh opened on Dec 11, 2025

• Integer*real symbolic multiplication gives cryptic error message (unknown)

  emina/rosette#294 · Filter by author natebragg opened on Jul 5, 2025
  2

• Recursive function synthesis

  emina/rosette#291 · Filter by author nnarek opened on May 11, 2025

• Built-in portfolio solver

  emina/rosette#284 · Filter by author gussmith23 opened on Dec 3, 2024

• Confusing synthesizer behavior (choosing integers vs. forms)

  emina/rosette#277 · Filter by author jefftrull opened on Jan 31, 2024
  6

• Incompatible with z3 (4.8.12-3.1) version shipped in Debian Bookworm

  emina/rosette#274 · Filter by author SulemanAhmadd opened on Dec 19, 2023
  3

• Unknown sort 'Int' when using `QF_NRA theory

  emina/rosette#268 · Filter by author chyanju opened on Oct 10, 2023

• Adding Custom Floating Point Support

  emina/rosette#257 · Filter by author RafaeNoor opened on Jun 27, 2023
  3