1. 03 May, 2022 1 commit
  2. 02 May, 2022 5 commits
  3. 01 Feb, 2022 3 commits
  4. 15 Jan, 2022 2 commits
  5. 14 Jan, 2022 6 commits
  6. 03 Dec, 2021 1 commit
  7. 02 Dec, 2021 1 commit
  8. 22 Nov, 2021 1 commit
  9. 19 Nov, 2021 3 commits
  10. 16 Nov, 2021 1 commit
  11. 13 Nov, 2021 2 commits
  12. 04 Nov, 2021 2 commits
  13. 29 Oct, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      print_dot: improve the rendering of Mealy machines · 753d572e
      Alexandre Duret-Lutz authored
      * spot/twaalgos/dot.cc (print_dot): Add some detection of Mealy
      machines, and some code to render its I/O in a <table>.
      * tests/python/synthesis.ipynb: Adjust expected output.
      * tests/python/_mealy.ipynb: New file.
      * tests/Makefile.am: Add python/_mealy.ipynb.
      * NEWS: Mention the new feature.
      753d572e
  14. 07 Oct, 2021 2 commits
    • Alexandre Duret-Lutz's avatar
      move parts of games.ipynb into synthesis.ipynb · 0ec1ee6d
      Alexandre Duret-Lutz authored
      * tests/python/synthesis.ipynb: New file, with bits removed from...
      * tests/python/games.ipynb: ... here.
      * tests/Makefile.am: Add synthesis.ipynb.
      * NEWS, doc/org/tut.org: Mention the new notebook.
      0ec1ee6d
    • Alexandre Duret-Lutz's avatar
      rename game_info to synthesis_info; move it with the synthesis code · bdd20bd1
      Alexandre Duret-Lutz authored
      * spot/twaalgos/game.cc, spot/twaalgos/game.hh (game_info): Move...
      * spot/twaalgos/synthesis.cc,
      spot/twaalgos/synthesis.hh (synthesis_info): ... here, because this
      structure contains only synthesis stuff.  Also rename "solver" to
      "algo" to match the ltlsynt option.
      (solve_game): Move the two argument version of this function here,
      since that's the only game-related generic function that use
      synthesis_info.
      * bin/ltlsynt.cc, tests/core/ltlsynt.test, tests/python/games.ipynb,
      tests/python/synthesis.py, NEWS: Adjust all uses and mentions.
      bdd20bd1
  15. 06 Oct, 2021 2 commits
  16. 02 Oct, 2021 1 commit
  17. 01 Oct, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      org: cleanup tut40 · 88d0d2e1
      Alexandre Duret-Lutz authored
      * doc/org/tut40.org: Add more explanations and some cleanup.
      * python/spot/__init__.py (set_state_players, get_state_winners,
      get_state_players, set_state_player, get_state_winner,
      get_state_player, get_strategy): Add these methods to the twa_graph
      class for convenience.
      * NEWS, doc/org/tut.org: Mention tut40.org.
      88d0d2e1
  18. 29 Sep, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      dtwasat: various fixes · ee80849c
      Alexandre Duret-Lutz authored
      * spot/twaalgos/dtwasat.cc: Do not return a transition-based automaton
      when state-based output is requested.
      * tests/python/satmin.ipynb, spot/twaalgos/dtbasat.hh: Fix some typos.
      * tests/python/satmin.py: Add test cases.
      * NEWS: Mention the bugs.
      ee80849c
  19. 24 Sep, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      acd: add support for state-based output · 70ede357
      Alexandre Duret-Lutz authored
      * spot/twaalgos/zlktree.hh, spot/twaalgos/zlktree.cc (acd::node_level,
      acd::state_step, acd_transform_sbacc): New public functions.
      * tests/python/zlktree.ipynb, tests/python/zlktree.py: More tests.
      * NEWS: Typo.
      70ede357
  20. 21 Sep, 2021 1 commit
  21. 13 Sep, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      parseaut: improve parsing of HOA labels · ce1cf550
      Alexandre Duret-Lutz authored
      On a debug build with the automaton from #476, the gain seems to be
      about 33% of the parsing time.
      
      * spot/parseaut/parseaut.yy, spot/parseaut/parsedecl.hh,
      spot/parseaut/scanaut.ll: Share a hash map of string->BDD
      between the scanner and parser so that [labels] can be looked
      up by the scanner if they have already been parsed once.
      * NEWS: Mention it.
      ce1cf550
  22. 04 Sep, 2021 1 commit
    • Alexandre Duret-Lutz's avatar
      zlktree: cleanup the interface, and add interactive ACD · 5c579003
      Alexandre Duret-Lutz authored
      * tests/python/_zlktree.ipynb: Remove and replace by...
      * tests/python/zlktree.ipynb: ... this more documented notebook.
      * tests/Makefile.am: Adjust.
      * doc/org/tut.org, NEWS: Mention zlktree.ipynb.
      * spot/twaalgos/zlktree.hh, spot/twaalgos/zlktree.cc,
      python/spot/__init__.py: Cleanup interface, and add support for
      interactive display.
      5c579003