-
Alexandre Duret-Lutz authored
* src/tgba/bdddict.cc, src/tgba/bdddict.hh (unregister_all_typed_variables): New method. * src/tgbaalgos/degen.cc (degeneralize): Use it. * NEWS: Mention it.
b4670f85
To find the state of this project's repository at the time of any of these versions, check out the tags.