-
Guillaume Sadegh authored
shared_ptr on states... * src/tgba/state.hh: ... here. * src/tgbatest/complementation.test: Do not apply some tests on the new algorithm because it takes to much time to run.
6d18623e
To find the state of this project's repository at the time of any of these versions, check out the tags.