1. 06 Sep, 2014 1 commit
  2. 31 Aug, 2014 4 commits
  3. 22 Aug, 2014 2 commits
  4. 21 Aug, 2014 10 commits
  5. 20 Aug, 2014 4 commits
  6. 19 Aug, 2014 2 commits
  7. 11 Aug, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      [buddy] Fix a harmless uninitialized read. · d4e3a952
      Alexandre Duret-Lutz authored
      This can only cause failure when running under valgrind (i.e., in the
      test suite), but is not a problem in practice as the test is certain
      to fail the entry->c check whenever entry->b is uninitialized.
      
      * src/bddop.c (bdd_implies): Here.
      d4e3a952
  8. 09 Jul, 2014 1 commit
  9. 29 May, 2014 2 commits
  10. 17 May, 2014 3 commits
    • Alexandre Duret-Lutz's avatar
      * NEWS: Mention recent fix. · a4934c4f
      Alexandre Duret-Lutz authored
      a4934c4f
    • Alexandre Duret-Lutz's avatar
      * src/ltltest/equals.cc: Fix style. · 8315cad6
      Alexandre Duret-Lutz authored
      8315cad6
    • Alexandre Duret-Lutz's avatar
      snf: Fix the handling of bounded repetition. · 139f7b49
      Alexandre Duret-Lutz authored
      star_normal_form() used to be called under bounded
      repetitions like [*0..4], but some of these rewritings
      are only correct for [*0..].  For instance
           (a*|1)[*]      can be rewritten to    1[*]
      but  (a*|1)[*0..1]  cannot be rewritten to 1[*0..1]
      it would be correct to rewrite the latter as (a[+]|1)[*0..1],
      canceling the empty word in a*.
      
      Also (a*;b*)[*]     can be rewritten to    (a|b)[*]
      but  (a*;b*)[*0..1]  cannot be rewritten to (a|b)[*0..1]
      and it cannot either be rewritten to (a[+]|b[+])[*0..1].
      
      This patch introduces a new function to implement
      rewritings under bounded repetition.
      
      * src/ltlvisit/snf.hh, src/ltlvisit/snf.cc (star_normal_form_unbounded):
      New function.
      * src/ltlvisit/simplify.cc: Use it.
      * src/ltltest/reduccmp.test: Add tests.
      * doc/tl/tl.tex: Document the rewritings implemented.
      139f7b49
  11. 15 May, 2014 2 commits
  12. 14 May, 2014 1 commit
    • Alexandre Duret-Lutz's avatar
      doc: update bibliographic references · 97617037
      Alexandre Duret-Lutz authored
      * doc/org/satmin.org, src/bin/man/dstar2tgba.x, src/bin/man/ltl2tgba.x:
      Cite the FORTE'14 paper.
      * doc/org/tools.org, src/bin/man/ltl2tgba.x: Replace the VECOS'11
      citation by IJCCBS'14.
      * src/bin/man/ltl2tgba.x: Cite SPIN'13.
      97617037
  13. 13 May, 2014 4 commits
  14. 11 Apr, 2014 1 commit
  15. 07 Apr, 2014 2 commits