1. 25 May, 2004 7 commits
  2. 24 May, 2004 6 commits
  3. 21 May, 2004 3 commits
  4. 18 May, 2004 2 commits
  5. 17 May, 2004 8 commits
  6. 14 May, 2004 9 commits
  7. 13 May, 2004 3 commits
    • martinez's avatar
      * src/ltlvisit/Makefile.am: Copyright 2004. · 4cd10c3d
      martinez authored
      * src/ltltest/inf.test: More test.
      * src/ltlvisit/basereduc.cc, src/ltlvisit/forminf.cc (spot):
      Use dynamic_cast.
      * src/ltlvisit/reducform.cc, src/ltlvisit/reducform.hh,
      src/ltltest/reduc.test, src/ltltest/reduc.cc: Add an option
      to choose which rules applies to simplify the formula.
      4cd10c3d
    • Alexandre Duret-Lutz's avatar
      * src/ltltest/reduc.test: Typo. · f7e5fe08
      Alexandre Duret-Lutz authored
      f7e5fe08
    • Alexandre Duret-Lutz's avatar
      * src/ltlparse/ltlparse.yy (OP_POST_NEG, OP_POST_POS): New tokens. · 60a3b4ed
      Alexandre Duret-Lutz authored
      (subformula): Recognize `ATOMIC_PROP OP_POST_POS' and
      `ATOMIC_PROP OP_POST_NEG'.
      * src/ltlparse/ltlscan.ll: Introduce the not_prop start condition,
      to restrict the set of atomic propositions allowed in places
      where they are not expected.  Make `true' and `false' case insensitive.
      * src/ltltest/parse.test, src/ltltest/tostring.test: More cases.
      * src/ltlvisit/tostring.cc (to_string_visitor): Quote atomic
      propositions equal to "true" or "false".
      60a3b4ed
  8. 11 May, 2004 2 commits