Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    * src/ltlvisit/nenoform.cc (negative_normal_form): New const variant. · 0ae1a32a
    Alexandre Duret-Lutz authored 
    * src/ltlvisit/nenoform.hh (negative_normal_form): New const variant.
* src/ltlvisit/lunabbrev.cc (unabbreviate_logic): New const variant.
* src/ltlvisit/lunabbrev.hh (unabbreviate_logic): New const variant.
* src/ltlvisit/tunabbrev.cc (unabbreviate_ltl): New const variant.
* src/ltlvisit/tunabbrev.hh (unabbreviate_ltl): New const variant.
    0ae1a32a
To find the state of this project's repository at the time of any of these versions, check out the tags.