Skip to content
  • Alexandre Duret-Lutz's avatar
    ltl2tgba.html: Adjust for ltl3ba 1.1.0 · a4b6faba
    Alexandre Duret-Lutz authored
    ltl3ba 1.1.0 was released today
    
    * wrap/python/ajax/spot.in: Use -T3 instead of -U.
    * wrap/python/ajax/README: Adjust version.
    * wrap/python/ajax/ltl2tgba.html: Turn on improved determinism
    of ltl3ba by default.
    * bench/ltl2tgba/tools, bench/spin13/run.sh: Adjust options.
    * bench/spin13/README: Mention the update.
    a4b6faba
To learn more about this project, read the wiki.