1. 04 May, 2017 5 commits
  2. 26 Apr, 2017 3 commits
  3. 20 Apr, 2017 1 commit
  4. 19 Apr, 2017 3 commits
  5. 11 Apr, 2017 2 commits
  6. 08 Apr, 2017 1 commit
  7. 07 Apr, 2017 7 commits
  8. 31 Mar, 2017 4 commits
    • Thomas Medioni's avatar
      bench: fix stutter bench compiler errors. · 01ee4929
      Thomas Medioni authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
      * NEWS: mention this fix.
      * bench/stutter/stutter_bench.sh, bench/stutter/user.sh: Path to spot
        binaries would include an inexistant src directory.
      * bench/stutter/stutter_invariance_formulas.cc: Add override qualifier
        to satisfy -Wsuggest-override.
      01ee4929
    • Alexandre Duret-Lutz's avatar
      various typos · 1ed6e518
      Alexandre Duret-Lutz authored
      * bench/dtgbasat/gen.py, spot/twaalgos/complement.hh: Fix
      looser->loser and lossing->losing.
      * tests/sanity/style.test: Catch 'an uni[^n]'.
      * spot/ta/ta.hh, spot/taalgos/tgba2ta.cc, spot/taalgos/tgba2ta.hh,
      spot/twa/twagraph.cc, spot/twaalgos/complement.hh,
      spot/twaalgos/sccinfo.cc: Fix various occurences of this pattern.
      1ed6e518
    • Alexandre Duret-Lutz's avatar
      [buddy] Typos in comments · b910330a
      Alexandre Duret-Lutz authored
      * src/kernel.c (bdd_addref): Fix typo documentation.
      * src/bddop.c (bdd_appall, bdd_appallcomp): Likewise.
      b910330a
    • Alexandre Duret-Lutz's avatar
      python: update some incorrect or obsolete code · f5d53e3a
      Alexandre Duret-Lutz authored
      * tests/python/ipnbdoctest.py: Use importlib instead of imp.
      * tests/python/ltlparse.py: Fix invalid escape sequence.
      f5d53e3a
  9. 29 Mar, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      twa_graph: fix purge_unreachable_states on alternating automata · 6623af67
      Alexandre Duret-Lutz authored
      The algorithm had two problems: it was removing only useless
      destination from universal destination (instead of removing the entire
      edge), and it was not properly iterating over the entire reachable
      automaton.
      
      * spot/twa/twagraph.cc: Fix it.
      * spot/twa/twagraph.hh: Adjust documentation.
      * tests/core/alternating.test: Add more tests.
      * tests/python/twagraph.py: Adjust.
      * NEWS: Mention the bug.
      6623af67
  10. 28 Mar, 2017 1 commit
  11. 22 Mar, 2017 4 commits
  12. 15 Mar, 2017 2 commits
  13. 14 Mar, 2017 5 commits
  14. 10 Mar, 2017 1 commit
    • Alexandre Duret-Lutz's avatar
      emptiness checks: replace assert-preconditions by exceptions · d6d987bd
      Alexandre Duret-Lutz authored
      * spot/twaalgos/couvreurnew.cc, spot/twaalgos/gv04.cc,
      spot/twaalgos/magic.cc, spot/twaalgos/se05.cc, spot/twaalgos/tau03.cc,
      spot/twaalgos/tau03opt.cc: Throw if precondition on acceptance
      condition is not satisfied.
      * tests/python/misc-ec.py: New file.
      * tests/Makefile.am: Add it.
      * NEWS: Mention the change.
      d6d987bd