- 26 Sep, 2018 10 commits
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* debian/rules: mathjax is also fetched from cdnjs.cloudflare.com.
-
Alexandre Duret-Lutz authored
* debian/rules: Here.
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
Reported by Yuri Victorovich. * configure.ac (enable_doxygen, enable_c++17): Use $enableval instead of "yes". * THANKS: Add Yuri.
-
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.
-
Alexandre Duret-Lutz authored
* python/Makefile.am: Adjust for Automake 1.16.
-
Alexandre Duret-Lutz authored
We now have a separate project for its replacement at https://gitlab.lrde.epita.fr/spot/spot-web-app/ * python/ajax/: Remove directory. * python/Makefile.am, configure.ac, README: Adjust. * NEWS: Mention this.
-
Alexandre Duret-Lutz authored
* doc/org/ltlcross.org: Here. * doc/org/init.el.in, doc/org/.dir-locals.el.in: Enable R, and install ess.
-
- 04 Aug, 2018 2 commits
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* NEWS, configure.ac, doc/org/setup.org: Update version number.
-
- 03 Aug, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
* python/spot/impl.i: Add a typemap. * tests/python/ltlsimple.py: Add a test case for an issue. * NEWS: Mention the bug.
-
- 02 Aug, 2018 16 commits
-
-
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.
-
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.
-
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* spot/twaalgos/sccinfo.cc (split_on_sets): Correctly register APs. * tests/python/sccsplit.py: New file. * tests/Makefile.am: Add it. * NEWS: Mention the bug.
-
Alexandre Duret-Lutz authored
-
Alexandre Duret-Lutz authored
* bin/ltlfilt.cc: Add the option. * tests/core/ltlfilt.test: Use it. * NEWS: Mention it.
-
Alexandre Duret-Lutz authored
-
* HACKING: Here.
-
* spot/graph/graph.hh, spot/taalgos/tgba2ta.cc, spot/tl/formula.hh, spot/twaalgos/dot.cc, spot/twaalgos/ltl2tgba_fm.cc, spot/twaalgos/ndfs_result.hxx, spot/twaalgos/powerset.cc, spot/twaalgos/stutter.cc: Here.
-
* spot/ta/taexplicit.hh, spot/twaalgos/compsusp.hh, spot/twaalgos/isunamb.hh, spot/twaalgos/word.hh: Here.
-
Alexandre Duret-Lutz authored
* spot/misc/escape.hh: Here.
-
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.
-
Alexandre Duret-Lutz authored
* doc/org/concepts.org: Here.
-
-
Alexandre Duret-Lutz authored
-
- 05 Jul, 2018 1 commit
-
-
Alexandre Duret-Lutz authored
* doc/org/.dir-locals.el.in, doc/org/init.el.in: Do not set the viewport, org already does it.
-
- 04 Jul, 2018 6 commits
-
-
Alexandre Duret-Lutz authored
* NEWS, configure.ac: Here.
-
Alexandre Duret-Lutz authored
* NEWS, configure.ac, doc/org/setup.org: Bump version to 2.6.
-
Alexandre Duret-Lutz authored
* doc/org/install.org: Here. * NEWS: Mention that we have RPM packages.
-
Alexandre Duret-Lutz authored
-
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.
-
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.
-
- 02 Jul, 2018 4 commits
-
-
Antoine Martin authored
* spot/twaalgos/complement.cc: removed unused code * tests/python/except.py: test for exception raised
-
-
Alexandre Duret-Lutz authored
-
Antoine Martin authored
* spot/twaalgos/isdet.hh: here
-