Skip to content
Find file Blame History Permalink
  • Thomas Martinez's avatar
    * src/ltltest/formules.ltl: A pattern of 2000 formulas. · 61e7d4e2
    Thomas Martinez authored 
    * src/ltltest/inf.test: Test some case of implies.
* src/ltltest/inf.cc: Test some case of implies.
* src/ltltest/reduc.test: Test reduction of a file of formula.
* src/ltltest/reduc.cc: Test reduction of a formula.

* src/ltlvisit/formlength.cc: Gives the lenght of a formula.
* src/ltlvisit/forminf.cc: To know if a formula implies an other.
* src/ltlvisit/basereduc.cc: Implement only basic reduction.
* src/ltlvisit/reducform.cc: Implement reduction.
* src/ltlvisit/reducform.hh: To reduce a formula.
    61e7d4e2
To find the state of this project's repository at the time of any of these versions, check out the tags.