Skip to content
  • Alexandre Duret-Lutz's avatar
    Remove Kristin Rozier's LTLcounter.pl scripts, now that we can · 866af2a7
    Alexandre Duret-Lutz authored
    generate these formulae with "genltl".
    
    * src/tgbatest/ltlcounter/: Remove this directory.
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/ltlcounter.test, bench/ltlcounter/run: Use genltl
    to generate the formulae.
    * bench/ltlcounter/README: Do not mention src/tgbatest/ltlcounter/
    anymore.
    866af2a7
To find the state of this project's repository at the time of any of these versions, check out the tags.