Repository navigation

Translate the first branch of a UNION query - #1843

Merged

arcuri82 merged 5 commits into

fix/smtlib-set-operation-select

Oct 12, 2026

Merged

Translate the first branch of a UNION query#1843
arcuri82 merged 5 commits into
masterfrom
fix/smtlib-set-operation-select

Commits on Oct 7, 2026
- Translate the first branch of a UNION query
  agusaldasoro
  committed
  8688d0f
- Merge branch 'master' into fix/smtlib-set-operation-select
  agusaldasoro
  authored
  e0f0509
Commits on Oct 8, 2026
- Merge branch 'master' into fix/smtlib-set-operation-select
  agusaldasoro
  committed
  7263f1e
- Update comment
  agusaldasoro
  committed
  271a311
Commits on Oct 9, 2026
- Rename plain select
  agusaldasoro
  committed
  e7e29f9