Skip to content
  • Alexandre Duret-Lutz's avatar
    genltl: add formulas from three papers · b708ab77
    Alexandre Duret-Lutz authored
    Fixes #166.
    
    * bin/genltl.cc: Add option --dac-patterns, --eh-patterns,
    --sb-patterns.
    * NEWS, bin/man/genltl.x, doc/org/genltl.org: Document them.
    * bench/ltl2tgba/formulae.ltl: Delete.
    * bench/ltl2tgba/known: Use genltl instead.
    * bench/ltl2tgba/Makefile.am, bench/ltl2tgba/README: Update.
    * tests/core/ltl2tgba2.test: New test case, using genltl.
    * tests/Makefile.am: Add it.
    b708ab77