• Alexandre Duret-Lutz's avatar
    * src/ltlvisit/nenoform.hh, src/ltlvisit/nenoform.cc: New files. · 0c7a2412
    Alexandre Duret-Lutz authored
    * src/ltlvisit/Makefile.am (libltlvisit_a_SOURCES): Add them.
    * src/ltltest/equals.cc (main) [NENOFORM]: Call negative_normal_form.
    * src/ltltest/nenoform.test, src/ltltest/tunenoform.test: New files.
    * src/ltltest/Makefile.am (check_PROGRAMS): Add nenoform and
    (nenoform_SOURCES, nenoform_CPPFLAGS, tunenoform_SOURCES,
    tunenoform_CPPFLAGS): New variables.
    (TESTS): Add nenoform.test and tunenoform.test.
To find the state of this project's repository at the time of any of these versions, check out the tags..
ChangeLog 4.49 KB