1. 20 Feb, 2017 3 commits
  2. 18 Feb, 2017 1 commit
  3. 17 Feb, 2017 2 commits
  4. 16 Feb, 2017 5 commits
  5. 12 Feb, 2017 4 commits
    • Alexandre Duret-Lutz's avatar
      is_alternating() -> !is_existential() · fefb375d
      Alexandre Duret-Lutz authored
      Part of #212.
      
      * spot/misc/common.hh (SPOT_DEPRECATED): Improve support current
      compilers and options flags.
      * spot/twa/twagraph.hh, spot/graph/graph.hh (is_alternating): Mark it
      as deprecated.
      (is_existential): New method.
      * bin/autfilt.cc, bin/ltlcross.cc, spot/parseaut/parseaut.yy,
      spot/twa/twa.cc, spot/twa/twagraph.cc, spot/twaalgos/alternation.cc,
      spot/twaalgos/are_isomorphic.cc, spot/twaalgos/canonicalize.cc,
      spot/twaalgos/couvreurnew.cc, spot/twaalgos/cycles.cc,
      spot/twaalgos/degen.cc, spot/twaalgos/determinize.cc,
      spot/twaalgos/dot.cc, spot/twaalgos/dtbasat.cc,
      spot/twaalgos/dtwasat.cc, spot/twaalgos/hoa.cc,
      spot/twaalgos/isunamb.cc, spot/twaalgos/isweakscc.cc,
      spot/twaalgos/mask.hh, spot/twaalgos/minimize.cc,
      spot/twaalgos/postproc.cc, spot/twaalgos/product.cc,
      spot/twaalgos/randomize.cc, spot/twaalgos/remfin.cc,
      spot/twaalgos/sbacc.cc, spot/twaalgos/sccfilter.cc,
      spot/twaalgos/sccinfo.cc, spot/twaalgos/simulation.cc,
      spot/twaalgos/strength.cc, tests/core/graph.cc, tests/core/ngraph.cc,
      tests/python/alternating.py: Adjust all uses.
      * NEWS: Mention the renaming.
      fefb375d
    • Alexandre Duret-Lutz's avatar
      * doc/org/tut23.org: Typos. · 7f7d078f
      Alexandre Duret-Lutz authored
      7f7d078f
    • Alexandre Duret-Lutz's avatar
      configure: fix typos in adl_CHECK_PYTHON · 9609f1e5
      Alexandre Duret-Lutz authored
      Fixes #220.
      
      * m4/pypath.m4: Here.
      * NEWS: Mention the bug.
      9609f1e5
    • Alexandre Duret-Lutz's avatar
      alternation: fix detection of non-weak automata · 15c6fd95
      Alexandre Duret-Lutz authored
      Fixes #218.
      
      * spot/twaalgos/alternation.cc: Adjust check.
      * tests/core/alternating.test: Add test case from #218.
      * NEWS: Mention the bug.
      15c6fd95
  6. 08 Feb, 2017 1 commit
  7. 07 Feb, 2017 1 commit
  8. 06 Feb, 2017 1 commit
  9. 04 Feb, 2017 1 commit
  10. 02 Feb, 2017 3 commits
  11. 01 Feb, 2017 12 commits
  12. 27 Jan, 2017 3 commits
  13. 23 Jan, 2017 1 commit
  14. 21 Jan, 2017 1 commit
  15. 20 Jan, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      fix some incorrect AP registrations · 5a441e1b
      Alexandre Duret-Lutz authored
      * spot/ltsmin/ltsmin.cc: Do not forget to register dead.
      * spot/twa/twaproduct.cc: Use copy_ap_of() instead of
      register_all_propositions_of() because the latter does
      do update ap().
      5a441e1b