Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Speed up the obligation test. · ef317685
    Alexandre Duret-Lutz authored 
    * src/tgbaalgos/minimize.cc (minimize_obligation): Do not
minimize aut_neg_f, complement min_aut_f instead.
* src/tgbaalgos/minimize.hh: Adjust description.
    ef317685
To find the state of this project's repository at the time of any of these versions, check out the tags.