1. 14 Apr, 2019 1 commit
  2. 12 Apr, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      genem: improve handling of co-Büchi · 0623965b
      Alexandre Duret-Lutz authored
      * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh: Make sure
      scc_and_mark_filter does not install a filter if there is nothing
      to filter.
      * tests/python/genem.py, spot/twaalgos/genem.cc,
      python/spot/impl.i: Adjust.
      0623965b
  3. 11 Apr, 2019 3 commits
  4. 07 Apr, 2019 2 commits
    • Alexandre Duret-Lutz's avatar
      complement: add a complement() function · 948f99bc
      Alexandre Duret-Lutz authored
      * spot/twaalgos/complement.cc,
      spot/twaalgos/complement.hh (complement): New function.
      * bin/autfilt.cc, spot/twa/twa.cc, spot/twaalgos/contains.cc,
      spot/twaalgos/powerset.cc, spot/twaalgos/stutter.cc: Use it.
      * tests/core/complement.test: Adjust.
      * NEWS: Mention it.
      948f99bc
    • Alexandre Duret-Lutz's avatar
      simulation: fix commit 8959eaba · 4bb4aeb3
      Alexandre Duret-Lutz authored
      * spot/twaalgos/simulation.cc: Restrict common_in marks to current SCC
      when pushing them, otherwise weak automata might become inherently
      weak.
      * tests/core/sim3.test: Add test case.
      4bb4aeb3
  5. 02 Apr, 2019 1 commit
  6. 31 Mar, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      dot: add option 'g' · 62836490
      Alexandre Duret-Lutz authored
      * spot/twaalgos/dot.cc: Implement support for hidding labels.
      * tests/core/readsave.test: Test it.
      * bin/common_aoutput.cc: Add --help text.
      * NEWS: Mention it.
      62836490
  7. 30 Mar, 2019 2 commits
  8. 29 Mar, 2019 1 commit
  9. 22 Mar, 2019 3 commits
  10. 19 Mar, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      genem: minor simplifications · af67c04a
      Alexandre Duret-Lutz authored
      * tests/python/genem.py: Use SPOT_ON_ACC explicitely.
      * spot/twaalgos/genem.cc: Do not keep track of states.  Don't
      check that the clauses of the disjuncts are Fin-less: they aren't
      (this was discovered while discussing with Jan and Fanda).
      af67c04a
  11. 17 Mar, 2019 1 commit
  12. 16 Mar, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      python: improve kripke_graph bindings · 8f7a0c2f
      Alexandre Duret-Lutz authored
      Related to issue #376.
      
      * spot/kripke/kripkegraph.hh: Avoid indirect type definitions for the
      benefit of Swig.
      * python/spot/impl.i: Add bindings for iterators over kripke_graph
      states and edges.
      * tests/python/kripke.py: New file.
      * tests/Makefile.am: Add it.
      * NEWS: Update.
      8f7a0c2f
  13. 27 Feb, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      simulation: try pulling marks instead of pushing them for sbacc input · 8959eaba
      Alexandre Duret-Lutz authored
      Suggested by František Blahoudek.
      
      * spot/twaalgos/simulation.cc: When doing forward simulation with
      state-based acceptance as input but transition-based acceptance as
      output, pull acceptance marks on incoming edges instead of pushing
      them to outgoing edges.
      * tests/core/dra2dba.test, tests/core/exclusive-tgba.test,
      tests/core/ltlcrossce.test, tests/core/satmin3.test,
      tests/core/sim3.test, tests/python/satmin.ipynb: Adjust test cases.
      * NEWS: Mention the change.
      8959eaba
  14. 21 Feb, 2019 2 commits
    • Alexandre Duret-Lutz's avatar
      python: improve kripke_graph bindings · eb02db85
      Alexandre Duret-Lutz authored
      Related to issue #376.
      
      * spot/kripke/kripkegraph.hh: Avoid indirect type definitions for the
      benefit of Swig.
      * python/spot/impl.i: Add bindings for iterators over kripke_graph
      states and edges.
      * tests/python/kripke.py: New file.
      * tests/Makefile.am: Add it.
      * NEWS: Update.
      eb02db85
    • Alexandre Duret-Lutz's avatar
      polish previous two patches · c25a67b0
      Alexandre Duret-Lutz authored
      * NEWS: Update.
      * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh, spot/twa/twa.cc:
      Update copyright years.
      * spot/twa/twa.hh: Update Doxygen documentation.
      * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh: Simplify data
      structures, and fix failure of get_accepting_run() to compute
      accepting runs in SCC that are accepting due to the self-loop
      optimization of scc_info.
      * tests/python/highlighting.ipynb: Add three test cases.
      c25a67b0
  15. 14 Feb, 2019 3 commits
    • Clément Gillard's avatar
      twa: Use generic accepting run search · 837f9e29
      Clément Gillard authored
      Make use of the generic accepting run search in twa::accepting_run()
      and twa::accepting_word().
      
      * spot/twa/twa.cc: Here.
      837f9e29
    • Clément Gillard's avatar
      genem: Implement accepting cycle search · 51ca5ecd
      Clément Gillard authored
      Implement an accepting run search in spot::sccinfo, use it with the
      generic emptiness check.
      
      * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh: Here.
      * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh: Use it.
      * tests/python/genem.py: Test it.
      51ca5ecd
    • Clément Gillard's avatar
      Several typos · 4ecd066c
      Clément Gillard authored
      * HACKING: Missing "to", extraneous 's'.
      * spot/misc/timer.hh: Extraneous space.
      * spot/twa/acc.hh: Extraneous 's', typos.
      * spot/twaalgos/genem.hh: Typo.
      * spot/twaalgos/sccinfo.cc: Fix indentation.
      * spot/twaalgos/sccinfo.hh: Missing 's'.
      * tests/python/acc_cond.ipynb: Extraneous 'e', missing comma.
      * tests/python/decompose.ipynb: Extraneous 't'.
      * tests/python/ltsmin-dve.ipynb: Extraneous verb.
      4ecd066c
  16. 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
  17. 02 Feb, 2019 3 commits
  18. 23 Jan, 2019 1 commit
  19. 17 Dec, 2018 1 commit
  20. 07 Dec, 2018 2 commits
  21. 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
  22. 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
  23. 08 Nov, 2018 2 commits
  24. 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
  25. 29 Oct, 2018 2 commits