-
Alexandre Duret-Lutz authored
* src/bin/ltlcross.cc: Implement the counters. * doc/org/ltlcross.org: Update the documentation. * bench/ltl2tgba/sum.py: Do not assume a fixed column for the time. * NEWS: Update.
fec939c1
To find the state of this project's repository at the time of any of these versions, check out the tags.