• Alexandre Duret-Lutz's avatar
    hoa: preliminary implementation of a parser · e55bcd95
    Alexandre Duret-Lutz authored
    * src/hoaparse/Makefile.am, src/hoaparse/fmterror.cc,
    src/hoaparse/hoaparse.yy, src/hoaparse/hoascan.ll,
    src/hoaparse/parsedecl.hh, src/hoaparse/public.hh: New files.
    * src/Makefile.am, configure.ac, README: Adjust.
    * src/tgbatest/ltl2tgba.cc: Add a -XH option.
    * src/tgbatest/hoaparse.test: New file.
    * src/tgbatest/Makefile.am: Adjust.
    * buddy/src/bddx.h: Add a bdd_from_int() function.
    e55bcd95
hoaparse.test 3.29 KB