• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/lunabbrev.cc, src/ltlvisit/lunabbrev.hh: New files. · 526012a7
    Alexandre Duret-Lutz authored
    * src/ltlvisit/Makefile.am (libltlvisit_a_SOURCES): Add them.
    * src/ltlast/multop.cc (multop::multop(type)): New constructor.
    * src/ltlast/multop.hh (multop::multop(type)): New constructor.
    * src/ltltest/lunabbrev.test: New file.
    * src/ltltest/Makefile.am (TESTS): Add lunabbrev.test.
    (check_PROGRAMS): Add lunabbrev.
    (lunabbrev_SOURCES, lunabbrev_CPPFLAGS): New variables.
    * src/ltltest/equals.cc (main) [LUNABBREV]: Call unabbreviate_logic.
To find the state of this project's repository at the time of any of these versions, check out the tags.