1. 25 Jul, 2018 2 commits
  2. 24 Jul, 2018 4 commits
    • Maximilien Colange's avatar
      translate any automaton to a parity automaton · 465536d1
      Maximilien Colange authored
      * spot/twaalgos/toparity.cc, spot/twaalgos/toparity.hh: implement it,
        based on last-appearance record (LAR)
      * spot/twaalgos/Makefile.am: build it
      * NEWS: document it
      * python/spot/impl.i: add to python bindings
      * tests/Makefile.am, tests/python/toparity.py: test it
      465536d1
    • Alexandre Duret-Lutz's avatar
      use the generic emptiness check · da996ecb
      Alexandre Duret-Lutz authored
      * spot/twa/twa.cc (is_empty, intersects): Here.
      * spot/twaalgos/sccinfo.cc (check_scc_emptiness): Here.
      * spot/twaalgos/genem.cc: Report error if the input is alternating.
      * spot/twaalgos/isunamb.cc, spot/twaalgos/sccinfo.hh: Adjust.
      * NEWS: Mention the change.
      da996ecb
    • Alexandre Duret-Lutz's avatar
      * spot/twa/twa.cc: Typo. · 86b65062
      Alexandre Duret-Lutz authored
      86b65062
    • Alexandre Duret-Lutz's avatar
      genem: implement a generic emptiness check for twa_graph_ptr · d708174c
      Alexandre Duret-Lutz authored
      * spot/twa/acc.cc, spot/twa/acc.hh (fin_unit, one_fin): New function.
      * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh: New files.
      * spot/twaalgos/Makefile.am: Add it.
      * tests/python/genem.py: New file.
      * tests/Makefile.am: Add it.
      * python/spot/impl.i: Add bindings for genem.hh.
      * NEWS: Mention the new function.
      d708174c
  3. 23 Jul, 2018 3 commits
  4. 19 Jul, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      modernize std::string("foo") into "foo"s · d0819350
      Alexandre Duret-Lutz authored
      * spot/ltsmin/ltsmin.cc, spot/misc/tmpfile.cc,
      spot/parseaut/parseaut.yy, spot/taalgos/dot.cc, spot/tl/hierarchy.cc,
      spot/tl/unabbrev.cc, spot/twa/acc.cc, spot/twa/twagraph.cc,
      spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc, spot/twaalgos/lbtt.cc,
      spot/twaalgos/neverclaim.cc, spot/twaalgos/strength.cc,
      spot/twaalgos/word.cc: Replace std::string("foo") by "foo"s, and
      include namespace std::string_literals.
      d0819350
  5. 18 Jul, 2018 1 commit
  6. 12 Jul, 2018 3 commits
    • Alexandre Duret-Lutz's avatar
      fix two issues related to jupyter notebook execution · 6875284f
      Alexandre Duret-Lutz authored
      * tests/python/ipnbdoctest.py: Invert diffs inputs.
      * tests/run.in: Run notebooks with
      PYTHONIOENCODING=utf-8:surrogateescape to avoid exceptions when trying
      to display utf-8 characters on ascii terminals.
      6875284f
    • Alexandre Duret-Lutz's avatar
      org: add missing documentation for prop_complete · d941b9e1
      Alexandre Duret-Lutz authored
      * doc/org/concepts.org: Here.
      d941b9e1
    • Alexandre Duret-Lutz's avatar
      more documentation for twa_graph internals · 46590af6
      Alexandre Duret-Lutz authored
      * spot/graph/graph.hh, spot/twa/twagraph.hh, spot/twa/twagraph.cc:
      Implement a dump_storage_as_dot() method.
      * python/spot/__init__.py (twa_graph.show_storage): New method, above
      dump_storage_as_dot().
      * tests/python/twagraph-internals.ipynb: New file, with documentation
      about the twa_graph internals, using show_storage() to illustrate
      everything.
      * tests/Makefile.am, doc/org/tut.org: Add it.
      * python/spot/impl.i: Add bindings for out_iterasor, demonstrated in
      the Python notebook.
      * spot/twa/twa.hh: Add prop_reset().  Used in the notebook.
      * NEWS: Mention the new notebook and function.
      * doc/org/tut50.org: Link to the notebook.
      * tests/python/ipnbdoctest.py: Adjust for twa_graph_ptr being
      redefined in the spot namespace.
      46590af6
  7. 09 Jul, 2018 1 commit
  8. 06 Jul, 2018 2 commits
  9. 05 Jul, 2018 1 commit
  10. 04 Jul, 2018 6 commits
    • Alexandre Duret-Lutz's avatar
      Bump version to 2.6.0.dev · db19141f
      Alexandre Duret-Lutz authored
      * NEWS, configure.ac: Here.
      db19141f
    • Alexandre Duret-Lutz's avatar
      Release Spot 2.6 · 215b0dcb
      Alexandre Duret-Lutz authored
      * NEWS, configure.ac, doc/org/setup.org: Bump version to 2.6.
      215b0dcb
    • Alexandre Duret-Lutz's avatar
      org: add instructions for install RPM packages · 70b212d8
      Alexandre Duret-Lutz authored
      * doc/org/install.org: Here.
      * NEWS: Mention that we have RPM packages.
      70b212d8
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      Fix GITPATCH computation · 0d2b8aac
      Alexandre Duret-Lutz authored
      Since the introduction of the syntcomp2018-submission tag (on a
      separate branch), that computation of GITPATCH was based on this
      tag because it was the last one (even if it is not on next).
      We did not see it on the Debian packages, because they clone
      only one branch of the repository, but the RPM packages had a
      different GITPATCH.
      
      * configure.ac (GITPATCH): Compute the number of commits since the
      last "spot-*" tag.
      0d2b8aac
    • Alexandre Duret-Lutz's avatar
      trival: prefer a global operator== relying on implicit conversion · 04110995
      Alexandre Duret-Lutz authored
      Hopefully fixes #359.
      
      * spot/misc/trival.hh: Declare a global operator==(trival,trival) that
      replace the specialized operator==(bool,trival), and the in class
      trival::operator(trival), thanks to the implicit construction from
      bool to trival.  Make the repr_t/value_t constructor explicit, are
      those are mostly internal to the library and may cause conflicts.
      * spot/twa/twa.hh: Adjust to construct trival explicitly.
      * python/spot/impl.i: Since Swig/Python does not support global
      comparison operators, implement a member version, supporting
      only __eq__(trival,bool) as before.
      * tests/python/setacc.py: Adjust erroneous code.
      * tests/python/trival.py: Add test cases.
      04110995
  11. 02 Jul, 2018 6 commits
  12. 01 Jul, 2018 1 commit
  13. 30 Jun, 2018 3 commits
  14. 29 Jun, 2018 3 commits
  15. 28 Jun, 2018 1 commit
    • Alexandre Duret-Lutz's avatar
      translate: enable a restricted form of ltl-split for TGBA/BA · f5f5daec
      Alexandre Duret-Lutz authored
      Fixes #267
      
      * spot/twaalgos/gfguarantee.cc: Fix a typo when comparing automata
      sizes.
      * spot/twaalgos/translate.cc, spot/twaalgos/translate.hh: Use
      ltl-split even for BA/TGBA, but only of conjunctions with GF(..)
      in those cases.
      * tests/core/ltl2tgba2.test: Adjust and add the example of #267.
      * tests/core/degenid.test, tests/core/parity2.test,
      tests/core/stutter-tgba.test, tests/python/automata.ipynb,
      tests/python/highlighting.ipynb, tests/python/stutter-inv.ipynb,
      bin/spot-x.cc: Adjust.
      f5f5daec
  16. 27 Jun, 2018 2 commits