First step towards `replace_all` operations#209

Merged

vhavlena merged 15 commits intodevelfrom transducers

Feb 20, 2025

+683-110

Commits on Feb 9, 2025

formula: basic transducer and replace_alls support
vhavlena
committed

Commits on Feb 11, 2025

formula: remove replace_alls; operations with transducer predicate
vhavlena
committed

Commits on Feb 13, 2025

Commits on Feb 14, 2025

replace_all: construct transducer constraint
vhavlena
committed

Commits on Feb 16, 2025

replace_re_all: predicate handling
vhavlena
committed

Commits on Feb 17, 2025

README: version of mata
vhavlena
committed

Commits on Feb 19, 2025

Commits on Feb 20, 2025

Update src/smt/theory_str_noodler/formula.h

vhavlena
and
jurajsic
authored