1. 06 Nov, 2019 2 commits
  2. 28 Oct, 2019 2 commits
  3. 27 Sep, 2019 2 commits
  4. 24 Sep, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      ltl2tgba, ltldo: add a --negate option · cfd88807
      Alexandre Duret-Lutz authored
      Suggested by Victor Khomenko.
      
      * bin/ltl2tgba.cc, bin/ltldo.cc: Implement it.
      * doc/org/hierarchy.org: Use it.
      * tests/core/ltldo2.test: Test it.
      * bin/common_output.cc: Typo.
      * NEWS: Mention the new option.
      cfd88807
  5. 30 Jul, 2019 1 commit
  6. 18 Jul, 2019 2 commits
  7. 17 Jul, 2019 2 commits
  8. 12 Jul, 2019 1 commit
  9. 11 Jul, 2019 1 commit
  10. 10 Jul, 2019 2 commits
  11. 09 Jul, 2019 3 commits
  12. 05 Jul, 2019 2 commits
    • Alexandre Duret-Lutz's avatar
      * NEWS: Fix some typos. · d244ff54
      Alexandre Duret-Lutz authored
      d244ff54
    • Alexandre Duret-Lutz's avatar
      deprecate spot::acc_cond::format() · bfe0ada6
      Alexandre Duret-Lutz authored
      * NEWS: Mention it.
      * spot/twa/acc.hh (spot::acc_cond::format): Deprecate.
      (spot::acc_cond::mark_t::as_string): New function.
      * spot/taalgos/dot.cc: Use mark_t::as_string().
      * spot/priv/satcommon.cc, spot/priv/satcommon.hh,
      spot/twaalgos/dtwasat.cc, spot/twaalgos/emptiness.cc,
      tests/core/acc.cc, tests/core/acc.test: Adjust to use << directly.
      bfe0ada6
  13. 27 Jun, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      doc: add tut90.org about bdd_dict · ad2f5524
      Alexandre Duret-Lutz authored
      Fixes #372.
      
      * doc/org/tut90.org: New file.
      * doc/Makefile.am, doc/org/tut.org: Add it.
      * NEWS: Mention it.
      * python/spot/__init__.py: Allow make_twa_graph with
      default bdd_dict.
      ad2f5524
  14. 21 Jun, 2019 1 commit
  15. 20 Jun, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      simulation: improve merging of transiant-SCCs · f3e57901
      Alexandre Duret-Lutz authored
      * spot/twaalgos/simulation.cc: Code this.
      * tests/core/det.test, tests/core/dra2dba.test,
      tests/core/satmin.test, tests/core/sim3.test,
      tests/python/decompose.ipynb, tests/python/dualize.py: Adjust test
      cases.
      * NEWS: Mention the optimization.
      f3e57901
  16. 18 Jun, 2019 3 commits
    • Alexandre Duret-Lutz's avatar
      toparity: revert symmetry-based optimization of LAR · c66b3d88
      Alexandre Duret-Lutz authored
      Fixes #390.
      
      * spot/twaalgos/toparity.cc: Revert the relevant part of 516e9536.
      * tests/python/toparity.py: Add test case.
      * NEWS: Mention the issue.
      c66b3d88
    • Alexandre Duret-Lutz's avatar
      gfguarantee: fix #357 again · 8df5f513
      Alexandre Duret-Lutz authored
      The previous patch triggered this issue again, failing
      core/ltl2tgba2.test.
      
      * spot/twaalgos/gfguarantee.cc: Separate the replaying of history from
      the modification of the automaton.
      * NEWS: Mention the bug.
      * tests/python/twagraph-internals.ipynb, tests/python/automata.ipynb:
      Adjust.
      8df5f513
    • Alexandre Duret-Lutz's avatar
      simplify: GF(f)=GF(dnf(f)) FG(f)=FG(cnf(f)) · da5d23f0
      Alexandre Duret-Lutz authored
      These rules come from Delag's paper, and help some cases
      in issue #385.
      
      * spot/tl/simplify.cc: Implement the simplification.
      * doc/tl/tl.tex, NEWS: Document it.
      * tests/core/385.test: New file.
      * tests/Makefile.am: Add it.
      * tests/core/reduccmp.test: More tests.
      * tests/core/ltl2tgba2.test: Adjust one improved case.
      * tests/python/automata.ipynb, tests/python/twagraph-internals.ipynb:
      Adjust expected output, as the cnf/dnf reorder some subformulas.
      da5d23f0
  17. 12 Jun, 2019 4 commits
  18. 11 Jun, 2019 1 commit
  19. 07 Jun, 2019 1 commit
    • Alexandre Duret-Lutz's avatar
      genaut: introduce --m-nba · cba01232
      Alexandre Duret-Lutz authored
      * bin/genaut.cc: Implement the --m-nba option.
      * spot/gen/automata.hh, spot/gen/automata.cc: Add the generation code.
      * NEWS, bin/man/genaut.x: Document it.
      * doc/org/genaut.org: Update.
      * tests/core/genaut.test, tests/core/parity2.test: Add some tests.
      cba01232
  20. 05 Jun, 2019 2 commits
  21. 04 Jun, 2019 4 commits
  22. 02 Jun, 2019 1 commit