1. 01 May, 2016 5 commits
    • Alexandre Duret-Lutz's avatar
      925785e8
    • Alexandre Duret-Lutz's avatar
      7531c886
    • Alexandre Duret-Lutz's avatar
      autfilt: add --unused-ap and --used-ap · f5bfc07c
      Alexandre Duret-Lutz authored
      Last part of #170.
      
      * bin/autfilt.cc: Implement the new options.
      * tests/core/remprop.test: Add a quick test.
      * NEWS: Mention these options.
      f5bfc07c
    • Alexandre Duret-Lutz's avatar
      autfilt: add --remove-unused-ap · 95d16ba0
      Alexandre Duret-Lutz authored
      Part of #170.
      
      * bin/autfilt.cc: Here.
      * tests/core/remprop.test: Test it.
      * NEWS: Mention it.
      95d16ba0
    • Alexandre Duret-Lutz's avatar
      print_hoa: output all registered APs · 1c2c914d
      Alexandre Duret-Lutz authored
      Also introduce twa::unregister_ap() and twa_graph::remove_unused_ap()
      so that the methods where this behavior is expected can be fixed.
      
      And fix ltsmin::kripke() which did not register APs.
      
      Part of #170.
      
      * spot/twaalgos/hoa.cc: Use apvars() to print all registerd APs.
      Throw an exception when printing automata using unregistered APs.
      * spot/ltsmin/ltsmin.cc: Call register_ap().
      * spot/twa/twa.cc, spot/twa/twa.hh, spot/twa/twagraph.cc,
      spot/twa/twagraph.hh (twa::unregister_ap, twa_graph::remove_unused_ap):
      New methods.
      * spot/tl/exclusive.cc, spot/twaalgos/postproc.cc,
      spot/twaalgos/remprop.cc, spot/twaalgos/relabel.cc: Use them.
      * tests/core/maskacc.test, tests/core/maskkeep.test,
      tests/core/strength.test: Adjust expected results.
      * NEWS: Mention those changes.
      1c2c914d
  2. 29 Apr, 2016 2 commits
    • Alexandre Duret-Lutz's avatar
      honor ap() when counting transitions · 9afa98a1
      Alexandre Duret-Lutz authored
      Fixing this bug alone revealed another bug: parsing never claim or LBTT
      automata did not register APs.  So this fixes both bugs.
      
      This is the first part of #170.
      
      * spot/twa/twa.hh (register_aps_from_dict): New method.
      * spot/parseaut/parseaut.yy: Call it for never claim and LBTT files.
      * spot/twaalgos/stats.cc: Simplify using ap_vars().
      * tests/core/ltl2tgba.test: Add a test case.
      * NEWS: Mention the bugs.
      9afa98a1
    • Alexandre Duret-Lutz's avatar
      autfilt: fix simpification of exclusive AP · 1ceb0ed2
      Alexandre Duret-Lutz authored
      * bin/autfilt.cc: Here.
      * tests/core/exclusive-tgba.test: Test it.
      * NEWS: Mention the fix.
      1ceb0ed2
  3. 22 Apr, 2016 3 commits
  4. 21 Apr, 2016 4 commits
  5. 20 Apr, 2016 5 commits
  6. 18 Apr, 2016 1 commit
  7. 11 Apr, 2016 2 commits
  8. 10 Apr, 2016 7 commits
  9. 09 Apr, 2016 2 commits
  10. 08 Apr, 2016 3 commits
  11. 01 Apr, 2016 1 commit
  12. 17 Mar, 2016 1 commit
  13. 13 Mar, 2016 4 commits
    • Alexandre Duret-Lutz's avatar
      d8a9737f
    • Alexandre Duret-Lutz's avatar
      Release Spot 1.99.9. · 54d6507f
      Alexandre Duret-Lutz authored
      * NEWS, configure.ac, doc/org/setup.org: Bump version.
      54d6507f
    • Alexandre Duret-Lutz's avatar
      Mark more classes are final. · 2402c214
      Alexandre Duret-Lutz authored
      Fixes #42.
      
      * bench/stutter/stutter_invariance_formulas.cc, bin/autfilt.cc,
      bin/common_output.cc, bin/dstar2tgba.cc, bin/ltl2tgba.cc,
      bin/ltl2tgta.cc, bin/ltlcross.cc, bin/ltldo.cc, bin/ltlfilt.cc,
      bin/ltlgrind.cc, spot/misc/intvcmp2.cc, spot/misc/intvcomp.cc,
      spot/taalgos/dot.cc, spot/taalgos/statessetbuilder.cc,
      spot/taalgos/stats.cc, spot/tl/relabel.cc, spot/tl/simplify.cc,
      spot/tl/snf.cc, spot/twa/bdddict.cc, spot/twa/twaproduct.cc,
      spot/twaalgos/degen.cc, spot/twaalgos/determinize.cc,
      spot/twaalgos/dot.cc, spot/twaalgos/emptiness.cc,
      spot/twaalgos/gtec/ce.cc, spot/twaalgos/ltl2tgba_fm.cc,
      spot/twaalgos/magic.cc, spot/twaalgos/neverclaim.cc,
      spot/twaalgos/se05.cc, spot/twaalgos/simulation.cc,
      spot/twaalgos/tau03.cc, spot/twaalgos/tau03opt.cc: Add final.
      2402c214
    • Alexandre Duret-Lutz's avatar
      8814f166