Repository navigation

Generate valid UUID, JSON and JSONB values - #1849

Merged

arcuri82 merged 3 commits into

fix/smtlib-uuid-json-values

Oct 12, 2026

Merged

Generate valid UUID, JSON and JSONB values#1849
arcuri82 merged 3 commits into
masterfrom
fix/smtlib-uuid-json-values

Commits on Oct 7, 2026
- Generate valid UUID and JSONB values
  agusaldasoro
  committed
  d1b7e71
Commits on Oct 8, 2026
- Merge remote-tracking branch 'origin/master' into fix/smtlib-uuid-json-values
  agusaldasoro
  committed
  97c651a
- Map JSON columns like JSONB
  agusaldasoro
  committed
  71820c6