1. 11 Apr, 2017 1 commit
  2. 07 Apr, 2017 4 commits
    • Thomas Medioni's avatar
      dtwa_complement: deprecated, use dualize() instead. · 152b5d0d
      Thomas Medioni authored
      * NEWS: Mention of the deprecation
      * bench/stutter/stutter_invariance_randomgraph.cc,
        bin/autfilt.cc, bin/ltlcross.cc, spot/twaalgos/langmap.cc,
        spot/twaalgos/minimize.cc, spot/twaalgos/powerset.cc,
        spot/twaalgos/stutter.cc, tests/core/ikwiad.cc,
        tests/python/bugdet.py, tests/python/remfin.py,
        tests/python/sum.py: Refactor calls to dtwa_complement() with calls
        to dualize().
      * doc/org/upgrade2.org: Change mention of dtwa_complement with dualize.
      * spot/twaalgos/complement.hh: Add deprecation notice.
      * python/spot/impl.i: Add deprecation notice for the python bindings.
      152b5d0d
    • Alexandre Duret-Lutz's avatar
      genltl: add support for --p-patterns · 08c153d3
      Alexandre Duret-Lutz authored
      Fixes #246.
      
      * bin/genltl.cc: Implement it.
      * bin/man/genltl.x, doc/org/genltl.org, NEWS: Document it.
      * tests/core/ltl2tgba2.test: Test it.
      08c153d3
    • Alexandre Duret-Lutz's avatar
      genltl: add --hkrss-patterns · 4b7a6238
      Alexandre Duret-Lutz authored
      Fixes #245.
      
      * bin/genltl.cc: Add the option.
      * bin/man/genltl.x: Add reference.
      * tests/core/ltl2tgba2.test: Use these patterns.
      * doc/org/genltl.org, NEWS: Document the options.
      4b7a6238
    • Alexandre Duret-Lutz's avatar
      bin: add shorthands for ltl2dpa ltl2da and ltl2ldba · 276f4060
      Alexandre Duret-Lutz authored
      * bin/common_trans.cc: Here.
      * doc/org/ltlcross.org, doc/org/ltldo.org, NEWS: Adjust.
      276f4060
  3. 06 Apr, 2017 1 commit
  4. 27 Mar, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      rename is_deterministic to is_universal · 4a5d7a39
      Alexandre Duret-Lutz authored
      For #212.
      
      * spot/twa/twa.hh: Rename prop_deterministic() as prop_universal(),
      and keep the old name as deprecated.
      * spot/twaalgos/isdet.cc, spot/twaalgos/isdet.hh: Rename
      is_deterministic() as is_universal(), and add a new function
      for is_deterministic().
      * doc/org/concepts.org, doc/org/hoa.org, doc/org/tut21.org,
      spot/tl/hierarchy.cc, spot/twa/twagraph.cc,
      spot/twaalgos/are_isomorphic.cc, spot/twaalgos/determinize.cc,
      spot/twaalgos/dtbasat.cc, spot/twaalgos/dtwasat.cc,
      spot/twaalgos/hoa.cc, spot/twaalgos/minimize.cc,
      spot/twaalgos/postproc.cc, spot/twaalgos/product.cc,
      spot/twaalgos/randomgraph.cc, spot/twaalgos/remfin.cc,
      spot/twaalgos/simulation.cc, spot/twaalgos/totgba.cc,
      spot/twaalgos/word.cc, tests/python/product.ipynb,
      tests/python/remfin.py: Adjust.
      * NEWS: Mention the change.
      4a5d7a39
  5. 22 Mar, 2017 4 commits
  6. 20 Mar, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      twa: add support for prop_complete() · 0de5f50d
      Alexandre Duret-Lutz authored
      * spot/twa/twa.hh: Add support.  Make two constructors for prop_set in
      order to diagnose constructions with 5 arguments.
      * spot/parseaut/parseaut.yy: Adjust diagnostics for complete and
      deterministic.
      * spot/tl/exclusive.cc, spot/twa/twagraph.cc,
      spot/twaalgos/alternation.cc, spot/twaalgos/complete.cc,
      spot/twaalgos/complete.hh, spot/twaalgos/degen.cc,
      spot/twaalgos/determinize.cc, spot/twaalgos/hoa.cc,
      spot/twaalgos/isdet.cc, spot/twaalgos/mask.cc,
      spot/twaalgos/minimize.cc, spot/twaalgos/product.cc,
      spot/twaalgos/remfin.cc, spot/twaalgos/remprop.cc,
      spot/twaalgos/sbacc.cc, spot/twaalgos/sccfilter.cc,
      spot/twaalgos/simulation.cc, spot/twaalgos/strength.cc,
      spot/twaalgos/stutter.cc, spot/twaalgos/totgba.cc,
      tests/core/parseaut.test, tests/python/product.ipynb: Adjust.
      * NEWS, doc/org/concepts.org, doc/org/hoa.org,
      doc/org/tut21.org: Document it.
      0de5f50d
  7. 18 Mar, 2017 1 commit
  8. 15 Mar, 2017 2 commits
  9. 14 Mar, 2017 2 commits
    • Alexandre Duret-Lutz's avatar
      org: misc cosmetics · b7afef36
      Alexandre Duret-Lutz authored
      * doc/org/tut24.org: Add missing section title.
      * doc/org/spot.css: Style h3 headings, and remove some useless lines.
      b7afef36
    • Alexandre Duret-Lutz's avatar
      org: misc cosmetics · e851e0f8
      Alexandre Duret-Lutz authored
      * doc/org/tut24.org: Add missing section title.
      * doc/org/spot.css: Style h3 headings, and remove some useless lines.
      e851e0f8
  10. 10 Mar, 2017 1 commit
  11. 08 Mar, 2017 2 commits
  12. 03 Mar, 2017 6 commits
  13. 21 Feb, 2017 1 commit
  14. 20 Feb, 2017 2 commits
  15. 12 Feb, 2017 1 commit
  16. 07 Feb, 2017 1 commit
  17. 02 Feb, 2017 1 commit
  18. 01 Feb, 2017 1 commit
  19. 27 Jan, 2017 3 commits
  20. 19 Jan, 2017 2 commits
  21. 16 Jan, 2017 1 commit
    • Alexandre GBAGUIDI AISSE's avatar
      TYPOS · 4eebe94a
      Alexandre GBAGUIDI AISSE authored
      * NEWS: typo.
      * bench/dtgbasat/config.bench: typo.
      * bench/dtgbasat/gen.py: typo.
      * bench/dtgbasat/stat-gen.sh: typo.
      * doc/org/concepts.org: typo.
      4eebe94a
  22. 13 Jan, 2017 1 commit