czx

Assembly produces broken JAR file on case-insensitive file systems due to overlapping class names in ECMA 2020 parser

8

Hello, I ran the following command, `./ostrich tests/case-insensitive-2.smt2` but I got an unexpected result. Why? `(error "ecma2020regex/Absyn/ControlLettera")` Did I do something wrong?

Three problems about regular expressions

4

Hi, I have three questions about regular expressions, 1. What is the difference between `re. from_ecma2020` and `re.from.str` ? 2. Does OSTRICH currently support regular expressions with backreferences? E.g., `(.)\1`....