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