Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt: add option to call to_parity_old
· a6da6ed9
Alexandre Duret-Lutz
authored
Apr 20, 2020
* bin/ltlsynt.cc: Add support for --algo=lar.old * NEWS: Mention it.
a6da6ed9