Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
ChangeLog
Find file
Blame
History
Permalink
* src/tgbatest/ltl2tgba.cc (syntax): Regroup -M, -s, and -S option
· 0392058e
Alexandre Duret-Lutz
authored
Nov 26, 2010
under the same heading "automaton conversion".
0392058e
To find the state of this project's repository at the time of any of these versions, check out
the tags
.