• Alexandre Duret-Lutz's avatar
    dstarparse: Preliminary work on a parser for ltl2dstar. · 2da0053c
    Alexandre Duret-Lutz authored
    Supports reading Rabin and Streett automata, and converting them to
    nondeterministic Büchi automata (for Rabin) or TGBA (for Streett).
    
    * src/dstarparse/Makefile.am, src/dstarparse/dstarparse.yy,
    src/dstarparse/dstarscan.ll, src/dstarparse/fmterror.cc,
    src/dstarparse/parsedecl.hh, src/dstarparse/public.hh,
    src/dstarparse/nra2nba.cc, src/dstarparse/nsa2tgba.cc: New files.
    * configure.ac, src/Makefile.am, README: Adjust.
    * src/tgbatest/ltl2tgba.cc: Add options -XD, -XDB.
    * src/tgbatest/dstar.test: New file.
    * src/tgbatest/Makefile.am (TESTS): Add it.
    2da0053c
dstarscan.ll 3.32 KB