(feature) Support the new regex API names str.to_re and str.in_re

uuverifiers / ostrich

An SMT Solver for string constraints

Other

33 stars 8 forks source link

(feature) Support the new regex API names str.to_re and str.in_re #24

Closed rainoftime closed 3 years ago

rainoftime commented 3 years ago

Hi, According to http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml

The two regex operations str.to.re and str.in.re have been changed to str.to_re and str.in_re. Is there any plan for supporting the new API names?

amandasystems commented 3 years ago

Hi! Thanks for reporting this. We're working on a fix and it's planned. :)

pruemmer commented 3 years ago

The new function names should be accepted in the latest master!