- 20 Feb, 2018 3 commits
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* NEWS, configure.ac: Here.
-
Alexandre Duret-Lutz authored
* NEWS, configure.ac, doc/org/setup.org: Set version to 2.5.1.
-
- 19 Feb, 2018 3 commits
-
-
Alexandre Duret-Lutz authored
* doc/org/install.org: Point to the gitlab-ci artefacts.
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
The bug is mentioned by Maximilien Colange in a comment to issue #317, but turned out to be unrelated to that original issue. * spot/twaalgos/totgba.cc (dnf_to_streett): Save the correspondence between the created states an the DNF clause in a named property. * doc/org/concepts.org, spot/twaalgos/totgba.hh: Mention the new property. * spot/twaalgos/cobuchi.cc (save_inf_nca_st): Rewrite using the named property. Relying on seen marks and trying to deduce the matching original clause could only work from plain Rabin. * tests/core/dca.test: Add the test from Maximilien. * NEWS: Mention the issue.
-
- 18 Feb, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
* spot/twaalgos/cobuchi.cc, spot/twaalgos/totgba.cc: Here.
-
- 17 Feb, 2018 2 commits
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
Fixes #324, reported by Tobias Meggendorfer and František Blahoudek. * spot/twa/acc.hh (rs_pairs_view::paired_with): Rename as... (rs_pairs_view::paired_with_fin):... this and adjust the code. * spot/twaalgos/remfin.cc: Use paired_with_fin instead of paired_with, and do it once per pair. * tests/core/remfin.test: Add a test case. * NEWS: Mention the issue.
-
- 16 Feb, 2018 2 commits
-
-
Alexandre Duret-Lutz authored
* spot/twaalgos/cleanacc.cc (merge_identical_marks_here): Do not call cleanup_acceptance_here(), as this has already been done.
-
Alexandre Duret-Lutz authored
Fixes #325. * spot/twa/acc.cc: Here. * tests/core/accsimpl.test: New test case. * NEWS: Mention the issue.
-
- 07 Feb, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
-
- 01 Feb, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
* tests/python/otfcrash.py: Remove the file generated by divine.
-
- 24 Jan, 2018 1 commit
-
-
Maximilien Colange authored
spot::iar() was fixed to handle correctly Rabin-like conditions. It also now supports Streett-like conditions. * NEWS, spot/twaalgos/postproc.cc: document it * spot/twaalgos/rabin2parity.cc, spot/twaalgos/rabin2parity.hh: implement it * tests/core/rabin2parity.test, tests/python/except.py: test it
-
- 23 Jan, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
Fixes #320. * spot/twaalgos/totgba.cc: Fix the bug. * NEWS: Mention the problem. * tests/core/streett.test: Add test case.
-
- 20 Jan, 2018 3 commits
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* NEWS, configure.ac, doc/org/setup.org: Bump version.
-
Alexandre Duret-Lutz authored
* tests/python/ipnbdoctest.py: Adjust to Python <3.6. * tests/python/_autparserr.ipynb: Adjust to older IPython version. * tests/python/stutter-inv.ipynb: Avoid pandas because its output varies from version to version.
-
- 19 Jan, 2018 9 commits
-
-
Alexandre Duret-Lutz authored
* python/spot/impl.i: Add missing bindings from remprop.hh * tests/python/except.py: New file to test several error cases. * tests/Makefile.am: Add it. * spot/twaalgos/rabin2parity.cc (iar): Fix error message.
-
-
Alexandre GBAGUIDI AISSE authored
* spot/tl/hierarchy.cc: Here.
-
Alexandre GBAGUIDI AISSE authored
* spot/twaalgos/totgba.cc: Here.
-
Alexandre GBAGUIDI AISSE authored
* spot/twaalgos/cobuchi.cc: Add scc_info_options::TRACK_SUCCS in nsa_to_nca(). * spot/twaalgos/sccinfo.cc: Add scc_info_options::TRACK_SUCCS and is_useful_scc() in states_on_acc_cycle_of().
-
Alexandre GBAGUIDI AISSE authored
* spot/twaalgos/cobuchi.cc: Avoid the product of an automaton A and its power construction Pow(A) when A is deterministic.
-
Alexandre GBAGUIDI AISSE authored
* NEWS: Update. * spot/tl/hierarchy.cc: Replace rabin_to_buchi_maybe() with is_buchi_realizable(). * spot/twaalgos/remfin.cc: Implement it. * spot/twaalgos/remfin.hh: Declare it.
-
Alexandre GBAGUIDI AISSE authored
* spot/tl/hierarchy.cc: Factorisations, improvements. * spot/twaalgos/totgba.cc: Typos.
-
Alexandre GBAGUIDI AISSE authored
* spot/twaalgos/sccinfo.cc: Here.
-
- 18 Jan, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
This introduce some section for acceptance transformation, and add more comments in a few places. * spot/taalgos/emptinessta.hh, spot/twa/twa.hh, spot/twa/twagraph.hh, spot/twaalgos/bfssteps.hh, spot/twaalgos/cleanacc.hh, spot/twaalgos/degen.hh, spot/twaalgos/dualize.hh, spot/twaalgos/parity.hh, spot/twaalgos/rabin2parity.hh, spot/twaalgos/remfin.hh, spot/twaalgos/sccinfo.hh, spot/twaalgos/sepsets.hh, spot/twaalgos/split.hh, spot/twaalgos/totgba.hh: More doxygen. * spot/twa/twagraph.cc: Typos in comments.
-
- 16 Jan, 2018 3 commits
-
-
Maximilien Colange authored
* spot/twaalgos/rabin2parity.cc, spot/twaalgos/rabin2parity.hh: implement it * spot/twaalgos/postproc.cc: use it * spot/twaalgos/Makefile.am: build the new files * NEWS: document the new function * python/spot/impl.i: Python bindings for the new function * tests/Makefile.am, tests/core/rabin2parity.test: test the new function
-
Maximilien Colange authored
* spot/twaalgos/degen.cc: typo in an error message * NEWS: fix typos and remove duplicates
-
Alexandre Duret-Lutz authored
* spot/twaalgos/product.hh, spot/twaalgos/remfin.hh, spot/twaalgos/sum.hh, spot/twaalgos/totgba.hh: Improve documentation.
-
- 14 Jan, 2018 3 commits
-
-
Alexandre Duret-Lutz authored
* spot/twaalgos/cobuchi.cc: Call sbacc() on transition-based input. * tests/Makefile.am: Remove XFAIL_TESTS. * NEWS: Adjust.
-
Alexandre Duret-Lutz authored
* spot/twaalgos/cobuchi.cc, spot/twaalgos/cobuchi.hh (to_nca): New function. (weak_to_cobuchi): New internal function, used in to_nca and to_dca when appropriate. * spot/twaalgos/postproc.cc, spot/twaalgos/postproc.hh: Implement the CoBuchi option. * python/spot/__init__.py: Support it in Python. * bin/common_post.cc: Add support for --buchi. * bin/autfilt.cc: Remove the --dca option. * tests/core/dca.test, tests/python/automata.ipynb: Adjust and add more tests. In particular, add more complex persistence and recurrence formulas to the list of dca.test. * tests/python/dca.test: Adjust and rename to... * tests/core/dca2.test: ... this. Add more tests, to the point that this is now failing, as described in issue #317. * tests/python/dca.py: Remove. * tests/Makefile.am: Adjust.
-
Alexandre Duret-Lutz authored
Fixes #316. * spot/twaalgos/totgba.cc: Fix confusing definition of scc_inf_wo_fin. * tests/python/streett_totgba2.py: New test case. * tests/Makefile.am: Add it. * NEWS: Mention the bug.
-
- 10 Jan, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
We had new failure on MinGW with GCC believing that some pointer returned by down_cast could be NULL; and the down_cast function was in the global namespace. * spot/misc/casts.hh: Rewrite. * NEWS: Mention the small issues. * tests/core/ikwiad.cc, tests/core/ngraph.cc: Adjust to use spot::down_cast instead of down_cast.
-
- 09 Jan, 2018 5 commits
-
-
Alexandre Duret-Lutz authored
* spot/ltsmin/ltsmin.cc: Avoid C-style function casts with incompatible types.
-
Alexandre Duret-Lutz authored
* spot/misc/bitvect.cc, spot/misc/bitvect.hh, spot/misc/hash.hh, spot/twa/acc.hh, spot/twaalgos/cobuchi.cc, spot/twaalgos/degen.cc, spot/twaalgos/determinize.cc, spot/twaalgos/parity.cc, spot/twaalgos/powerset.cc, spot/twaalgos/product.cc, spot/twaalgos/stutter.cc, spot/twaalgos/totgba.cc, spot/twaalgos/toweak.cc: Mark hash function as noexcept to please GCC snapshot.
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* spot/twaalgos/cobuchi.hh, spot/twaalgos/totgba.hh: Here.
-
Alexandre Duret-Lutz authored
* spot/gen/formulas.cc, spot/gen/formulas.hh: Implement LTL_GF_IMPLIES. * bin/genltl.cc: Add --gf-implies. * NEWS: Mention it. * tests/core/genltl.test: Use it.
-