1. 13 Mar, 2020 2 commits
  2. 12 Mar, 2020 3 commits
  3. 19 Feb, 2020 6 commits
  4. 04 Jan, 2020 2 commits
  5. 01 Jan, 2020 2 commits
  6. 08 Dec, 2019 3 commits
  7. 06 Nov, 2019 2 commits
  8. 28 Oct, 2019 2 commits
  9. 27 Sep, 2019 2 commits
  10. 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
  11. 30 Jul, 2019 1 commit
  12. 18 Jul, 2019 2 commits
  13. 17 Jul, 2019 2 commits
  14. 12 Jul, 2019 1 commit
  15. 11 Jul, 2019 1 commit
  16. 10 Jul, 2019 2 commits
  17. 09 Jul, 2019 3 commits
  18. 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
  19. 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