Skip to content
  • Alexandre Duret-Lutz's avatar
    parseaut: swallow the dstarparser · 209e89a9
    Alexandre Duret-Lutz authored
    Note that the parser is still not able to reader multiple dstar
    automata.
    
    * src/dstarparse/: Delete.
    * configure.ac, src/Makefile.am, README: Adjust.
    * src/parseaut/parseaut.yy, src/parseaut/scanaut.ll: Merge in the
    dstarparser rules.
    * src/bin/common_trans.cc, src/bin/common_trans.hh,
    src/bin/dstar2tgba.cc, src/bin/ltlcross.cc, src/bin/ltldo.cc,
    src/tests/ikwiad.cc: Adjust usage.
    * src/tests/parseaut.test: Adjust expected output.
    209e89a9