-
Alexandre Duret-Lutz authored
* src/tgba/tgbasl.cc, src/tgba/tgbasl.hh, src/tgbaalgos/closure.cc, src/tgbaalgos/closure.hh, src/tgbaalgos/stutter_invariance.cc, src/tgbaalgos/stutter_invariance.hh, src/tgbaalgos/stutterize.cc, src/tgbaalgos/stutterize.hh: Delete these files, and merge their contents into... * src/tgbaalgos/stutter.cc, src/tgbaalgos/stutter.hh: ... these two. * src/tgba/Makefile.am, src/tgbaalgos/Makefile.am: Adjust. * wrap/python/spot.i: Adjust.
Alexandre Duret-Lutz authored* src/tgba/tgbasl.cc, src/tgba/tgbasl.hh, src/tgbaalgos/closure.cc, src/tgbaalgos/closure.hh, src/tgbaalgos/stutter_invariance.cc, src/tgbaalgos/stutter_invariance.hh, src/tgbaalgos/stutterize.cc, src/tgbaalgos/stutterize.hh: Delete these files, and merge their contents into... * src/tgbaalgos/stutter.cc, src/tgbaalgos/stutter.hh: ... these two. * src/tgba/Makefile.am, src/tgbaalgos/Makefile.am: Adjust. * wrap/python/spot.i: Adjust.
Loading