Finalize PSL support
-
Finish integrating PSL rewriting rules from Cimatty & al. -
Rewrite the SERE-FA translator to use transition-based FA. -
Look into syntactic sugar like between
. -
Add eventural/universal rules. For instance when translating {(a;b)*;c*;e}[]->Gf
, we only have to translate the equivalent of(a&X(b&Gf))|(c->Gf)|(e->Gf)
. This could be done by aborting the translation of{e}[]->Gf
as soon asGf
is emitted (ignoring any other prefixes ofe
)