Search results

aarch64 linux support?

Status: Open.

#304 In emina/rosette;

· jbclements opened on Jul 19, 2026

Support for non-indexed bit rotation operations

Status: Open.

#302 In emina/rosette;

· xeniarose opened on Jun 1, 2026

Update bundled Z3

Status: Open.

#301 In emina/rosette;

· 6cdh opened on Dec 11, 2025

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

Status: Open.

#294 In emina/rosette;

· natebragg opened on Jul 5, 2025

Recursive function synthesis

Status: Open.

#291 In emina/rosette;

· nnarek opened on May 11, 2025

Built-in portfolio solver

Status: Open.

#284 In emina/rosette;

· gussmith23 opened on Dec 3, 2024

Confusing synthesizer behavior (choosing integers vs. forms)

Status: Open.

#277 In emina/rosette;

· jefftrull opened on Jan 31, 2024

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

Status: Open.

#274 In emina/rosette;

· SulemanAhmadd opened on Dec 19, 2023

Unknown sort 'Int' when using `QF_NRA theory

Status: Open.

#268 In emina/rosette;

· chyanju opened on Oct 10, 2023

Adding Custom Floating Point Support

Status: Open.

#257 In emina/rosette;

· RafaeNoor opened on Jun 27, 2023