1. 19 Dec, 2017 4 commits
  2. 18 Dec, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      introduce check_determinism() · ac80b07d
      Alexandre Duret-Lutz authored
      * spot/twaalgos/isdet.hh, spot/twaalgos/isdet.cc (check_determinism):
      New function.
      * NEWS: Mention it.
      * tests/python/semidet.py: New file.
      * tests/Makefile.am: Add it.
  3. 14 Dec, 2017 1 commit
  4. 10 Dec, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      Add support for computing operator nesting depth · 62d1e021
      Alexandre Duret-Lutz authored
      * spot/tl/hierarchy.hh, spot/tl/hierarchy.cc (nesting_depth): New
      * python/spot/__init__.py: Also make it a method of formula in Python
      * bin/common_output.cc, bin/common_output.hh: Implement
      * NEWS: Mention it.
      * tests/core/format.test, tests/python/formulas.ipynb: Test it.
  5. 08 Dec, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      doxygen doc: minor improvements · 49b76bcf
      Alexandre Duret-Lutz authored
      * doc/footer.html: Make the footer XML compatible.
      * doc/mainpage.dox: Fix references to modules.
      * spot/tl/formula.hh: Introduce a hierarchy module.
      * spot/tl/hierarchy.hh: Use it.
  6. 28 Nov, 2017 8 commits
  7. 27 Nov, 2017 1 commit
  8. 24 Nov, 2017 7 commits
    • Alexandre Duret-Lutz's avatar
      tests: reduce the memory/time footprint of ltl2dstar.test · d219e4a5
      Alexandre Duret-Lutz authored
      * tests/core/ltl2dstar.test: Reduce the amount of tests performed on
      one formula that is problematic for ltl2dstar.
    • Alexandre Duret-Lutz's avatar
      tests: git rid of all the tool=tool assignents · a9a375cc
      Alexandre Duret-Lutz authored
      Our use of
      all over the test cases comes from the time where those tools were not
      in PATH and we actually had something like
      But today that is useless, and we prefer to write ltl2tgba rather than
      $ltl2tgba, so let's remove this old cruft.
      * tests/core/basimul.test, tests/core/det.test, tests/core/lbt.test,
      tests/core/lenient.test, tests/core/ltl2dstar.test,
      tests/core/ltl2dstar2.test, tests/core/ltl2dstar3.test,
      tests/core/ltl2dstar4.test, tests/core/ltlcross2.test,
      tests/core/ltlcross3.test, tests/core/ltlcross4.test,
      tests/core/ltlcrossce2.test, tests/core/ltldo.test,
      tests/core/ltlfilt.test, tests/core/optba.test,
      tests/core/prodor.test, tests/core/rand.test,
      tests/core/randomize.test, tests/core/remfin.test,
      tests/core/satmin.test, tests/core/sbacc.test,
      tests/core/strength.test, tests/core/stutter-ltl.test,
      tests/core/stutter-tgba.test, tests/core/unabbrevwm.test,
      tests/core/unambig.test: Get rid of all tool=tool assignments.
    • Alexandre Duret-Lutz's avatar
      rename one printable_formula · a31ba7ff
      Alexandre Duret-Lutz authored
      We currently have 3 printable_formula classes in Spot; let's reduce
      this to 2.
      * bin/common_output.cc (anonymous::printable_formula): Rename to...
      (anonymous::printable_formula_with_location): ... this.
    • Alexandre Duret-Lutz's avatar
      fix doxygen doc build · c7f66550
      Alexandre Duret-Lutz authored
      * debian/rules: Build it last.
      * configure.ac: Add missing comma.
    • Maximilien Colange's avatar
      Fix ltlsynt tests · ce3eeb44
      Maximilien Colange authored
      * tests/core/ltlsynt.test: Escape newlines and test PGsolver printer
    • Maximilien Colange's avatar
      Heavily optimize tgba_determinize() · d071c7e1
      Maximilien Colange authored
      * spot/twaalgos/determinize.cc: a lot of optimizations (and refactoring)
    • Maximilien Colange's avatar
      Fix script running IPython tests · d358521b
      Maximilien Colange authored
      * tests/python/ipnbdoctest.py: skip test when jupyter is not found
  9. 23 Nov, 2017 6 commits
  10. 22 Nov, 2017 6 commits
    • Alexandre Duret-Lutz's avatar
      doc: implement --enable-doxygen and do not distribute the doc · 246b5d8f
      Alexandre Duret-Lutz authored
      Fixes #299.
      * configure.ac, doc/Makefile.am: Adjust.
      * NEWS, HACKING, README: Document the change.
      * doc/dot.in: Delete, not used anymore.
      * doc/Doxyfile.in: Adjust to not look for dot.
      * debian/rules: Use --enable-doxygen.
    • Alexandre Duret-Lutz's avatar
      fix usage pf importlib.util.find_spec for newer pythons · cec522d5
      Alexandre Duret-Lutz authored
      * tests/python/ipnbdoctest.py: Here.  It seems importlib
      does not load importlib.util anymore.
    • Alexandre Duret-Lutz's avatar
      fix python/dca.test for VPATH builds · cc008985
      Alexandre Duret-Lutz authored
      * tests/python/dca.test: Do not assume the run script is in the source
    • Alexandre Duret-Lutz's avatar
      org: convert all images to svg · 61602a3b
      Alexandre Duret-Lutz authored
      Suggested in #299.
      * doc/org/autfilt.org, doc/org/concepts.org, doc/org/dstar2tgba.org,
      doc/org/genaut.org, doc/org/hierarchy.org, doc/org/hoa.org,
      doc/org/ltl2tgba.org, doc/org/ltl2tgta.org, doc/org/ltlcross.org,
      doc/org/oaut.org, doc/org/randaut.org, doc/org/satmin.org,
      doc/org/tut11.org, doc/org/tut23.org, doc/org/tut24.org,
      doc/org/tut30.org, doc/org/tut31.org, doc/org/tut50.org,
      doc/org/tut51.org: Adjust all dot outputs to produce svg.
      * doc/org/arch.tex, doc/org/hierarchy.tex, doc/org/satmin.tex: Adjust
      to produce a pdf with 12pt text.
      * doc/Makefile.am: Adjust the generation of arch.svg, hierarchy.svg,
      and satmin.svg: From above.
      * doc/org/.dir-locals.el.in, doc/org/init.el.in: Adjust dot arguments
      to produce svg with 12pt text (the default was 14pt).
      * doc/org/spot.css: Use Lato as the main font for consistency with
      * HACKING: pdf2svg is now required to build the doc.
    • Alexandre Duret-Lutz's avatar
      doc: use SVG in the doxygen manual · 454cc736
      Alexandre Duret-Lutz authored
      Suggested in #299.
      * doc/Doxyfile.in: Here.
    • Maximilien Colange's avatar
      Fix a typo in a test · 7066fe29
      Maximilien Colange authored
      * tests/sanity/namedprop.test: fix typo for proper output
  11. 21 Nov, 2017 1 commit
  12. 17 Nov, 2017 3 commits