1. 13 Feb, 2019 2 commits
    • Alexandre Duret-Lutz's avatar
      python: better support for explicit Kripke · f26dd904
      Alexandre Duret-Lutz authored
      Part of issue #376, reported by Hashim Ali.
      
      * python/spot/impl.i: Add bindings for kripke_graph.
      * python/spot/__init__.py (automaton): Add a want_kripke option.
      * spot/kripke/kripkegraph.hh: Honnor the "state-names" property
      when displaying states.
      * spot/twaalgos/hoa.cc: Preserve names of Kripke states.
      * tests/python/ltsmin-dve.ipynb: Illustrate all the above.
      * NEWS: Mention those changes.
      * THANKS: Add Hashim.
      f26dd904
    • Alexandre Duret-Lutz's avatar
      work around gcc 8.2.1+ bug #89303 · a86925e2
      Alexandre Duret-Lutz authored
      Do not call std::make_shared on classes inheriting from
      std::enable_shared_from_this when compiling with g++ 8.2.
      
      * NEWS: Mention the bug.
      * spot/misc/common.hh (SPOT_make_shared_enabled__): New macro.
      * spot/twa/twagraph.cc, spot/twa/twagraph.hh, spot/twa/twaproduct.hh,
      spot/twa/taatgba.hh, spot/twaalgos/couvreurnew.cc,
      spot/twaalgos/magic.cc, spot/twaalgos/se05.cc, spot/twaalgos/tau03.cc,
      spot/twaalgos/tau03opt.cc, spot/twaalgos/gv04.cc,
      spot/ltsmin/ltsmin.cc, spot/twaalgos/gtec/gtec.cc: Use it.
      a86925e2
  2. 02 Feb, 2019 3 commits
  3. 23 Jan, 2019 1 commit
  4. 17 Dec, 2018 1 commit
  5. 07 Dec, 2018 2 commits
  6. 29 Nov, 2018 1 commit
    • Etienne Renault's avatar
      noexcept: please gcc snapshot · c2c8d215
      Etienne Renault authored
      * bin/common_finput.hh,
      bin/common_trans.cc,
      bin/common_trans.hh,
      spot/misc/minato.hh,
      spot/ta/ta.cc,
      spot/ta/ta.hh,
      spot/twa/acc.hh,
      spot/twaalgos/cycles.hh,
      spot/twaalgos/emptiness.hh,
      spot/twaalgos/gtec/gtec.hh,
      spot/twaalgos/ndfs_result.hxx,
      spot/twaalgos/sccinfo.hh,
      spot/twaalgos/word.cc,
      spot/twaalgos/word.hh: Here.
      c2c8d215
  7. 10 Nov, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix Alpine Linux builds · 6cfdf02c
      Alexandre Duret-Lutz authored
      Reported by Maxime Bouton.
      
      * spot/misc/tmpfile.cc: Include stdlib.h, not cstdlib, so
      that our replacement secure_getenv() is found.
      * THANKS: Add Maxime.
      6cfdf02c
  8. 08 Nov, 2018 2 commits
  9. 02 Nov, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      python: add __repr__ for rs_pair · c3b7a691
      Alexandre Duret-Lutz authored
      * spot/twa/acc.hh: Hide default constructors, so that we can have
      keyword arguments on the main constructor.
      * python/spot/impl.i: Add __repr__.
      * tests/python/setacc.py: Test it.
      c3b7a691
  10. 29 Oct, 2018 2 commits
  11. 15 Oct, 2018 3 commits
  12. 12 Oct, 2018 2 commits
  13. 01 Oct, 2018 1 commit
  14. 27 Sep, 2018 1 commit
  15. 26 Sep, 2018 4 commits
  16. 25 Sep, 2018 1 commit
  17. 11 Aug, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      gcc-snapshot warnings · 389ef16b
      Alexandre Duret-Lutz authored
      * spot/kripke/kripkegraph.hh, spot/priv/bddalloc.hh,
      spot/priv/freelist.hh, spot/priv/satcommon.hh, spot/ta/taexplicit.cc
      spot/twa/bdddict.cc, spot/twa/twagraph.hh,
      spot/twaalgos/alternation.hh, spot/twaalgos/dtwasat.cc,
      spot/twaalgos/ltl2taa.cc, spot/twaalgos/stutter.cc,
      tests/core/ngraph.cc: Add default constructors, copy constructors, or
      remove useless destructors.
      389ef16b
  18. 02 Aug, 2018 9 commits
  19. 01 Aug, 2018 2 commits
    • Alexandre Duret-Lutz's avatar
      contains: fix the semantics · 23722c03
      Alexandre Duret-Lutz authored
      spot::contains(a, b) should test a⊇b.  It was testing a⊆b instead.
      
      * NEWS: Mention the bug.
      * spot/twaalgos/contains.cc, spot/twaalgos/contains.hh: Fix the
      code and documentation.
      * tests/python/contains.ipynb: Adjust description and expected
      results.
      * python/spot/__init__.py: Also swap the argument of
      language_containment_checker.contains()
      * bin/autfilt.cc: Adjust usage.
      23722c03
    • Alexandre Duret-Lutz's avatar
      tl: add some implication-based rewritings for "<->", "->", and "xor" · 4ce0d928
      Alexandre Duret-Lutz authored
      This prevents an exception from being raised if NNF is not performed
      on Boolean properties and implication-based checks are used.
      
      * NEWS: Mention the issue.
      * spot/tl/simplify.cc, doc/tl/tl.tex: Add some rules.
      * tests/python/ltlsimple.py: Test them.
      4ce0d928