Skip to content
  • Alexandre Duret-Lutz's avatar
    Kill some FIXMEs. · 21c98c0a
    Alexandre Duret-Lutz authored
    * src/ltlenv/environment.hh, src/ltlvisit/basicreduce.cc: Remove
    useless FIXMEs.
    * src/ltlvisit/reduce.cc (reduce_visitor::visit(binop)): Compute
    syntactic implications only when needed.
    * src/tgbaalgos/reductgba_sim_del.cc
    (build_recurse_successor_spoiler): Remplace the FIXME by an assert.
    * src/tgba/tgbareduc.cc: Reword some comments, discard old
    commented code.
    21c98c0a
To find the state of this project's repository at the time of any of these versions, check out the tags.