-
Alexandre Duret-Lutz authored* src/taalgos/stats.cc, src/taalgos/stats.hh (tgba_statistics::transitions, tgba_sub_statistics::sub_transitions): Rename ... (twa_statistics::edges, twa_sub_statistics::transitions): ... to these. * NEWS: Mention it. * src/bin/common_aoutput.hh, src/bin/ltlcross.cc, src/tests/checkta.cc, src/tests/complementation.cc, src/tests/ikwiad.cc, src/tests/ltl2tgba.test, src/tests/neverclaimread.test, src/tests/randtgba.cc, src/tests/renault.test, src/tests/wdba2.test, src/twaalgos/dtbasat.cc, src/twaalgos/dtgbasat.cc, src/twaalgos/stats.cc, src/twaalgos/stats.hh, wrap/python/ajax/spotcgi.in: Adjust.
4a91fccc
To find the state of this project's repository at the time of any of these versions, check out the tags.