• Ala Eddine's avatar
    Preliminary implementation of Testing Automata. · ba47b821
    Ala Eddine authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * configure.ac: Generate src/ta/Makefile and src/taalgos/Makefile.
    * src/Makefile.am (SUBDIRS): Add them.
    * src/tgbatest/ltl2tgba.cc (main): Add option -TA.
    * src/ta/Makefile.am, src/ta/ta.hh, src/ta/taexplicit.cc,
    src/ta/taexplicit.hh, src/taalgos/Makefile.am,
    src/taalgos/dotty.cc, src/taalgos/dotty.hh,
    src/taalgos/reachiter.cc, src/taalgos/reachiter.hh,
    src/taalgos/sba2ta.cc, src/taalgos/sba2ta.hh: New files.
    ba47b821