Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    * src/ltlvisit/simpfg.cc, src/ltlvisit/simpfg.hh: New files, · b42cdc0d
    Alexandre Duret-Lutz authored 
    extracted from ...
* src/ltlvisit/lunabbrev.cc: ... this one, which now work as documented
again.
* src/ltlvisit/reduce.cc, src/ltlvisit/syntimpl.cc: Adjust to call
simplify_f_g() in addition to unabbreviate_logic().
* src/ltlvisit/Makefile.am (ltlvisit_HEADERS, libltlvisit_la_SOURCES):
Add simpfg.cc and simpfg.hh.
    b42cdc0d
To find the state of this project's repository at the time of any of these versions, check out the tags.