1. 14 Jun, 2016 3 commits
  2. 25 May, 2016 1 commit
  3. 17 May, 2016 3 commits
  4. 11 May, 2016 1 commit
  5. 10 May, 2016 4 commits
    • Alexandre Duret-Lutz's avatar
      ajax: add <h1> title · 17802089
      Alexandre Duret-Lutz authored
      Final part of #176.
      
      * python/ajax/trans.html: Here.
      17802089
    • Alexandre Duret-Lutz's avatar
      org: disable postamble in html export · 86287be2
      Alexandre Duret-Lutz authored
      * doc/org/init.el.in, doc/org/.dir-locals.el.in: Here.
      86287be2
    • Alexandre Duret-Lutz's avatar
      org: add a description for each page · bb2c6970
      Alexandre Duret-Lutz authored
      Part of #176.
      
      * doc/org/autfilt.org, doc/org/compile.org, doc/org/concepts.org,
      doc/org/csv.org, doc/org/dstar2tgba.org, doc/org/genltl.org,
      doc/org/hoa.org, doc/org/install.org, doc/org/ioltl.org,
      doc/org/ltl2tgba.org, doc/org/ltl2tgta.org, doc/org/ltlcross.org,
      doc/org/ltldo.org, doc/org/ltlfilt.org, doc/org/ltlgrind.org,
      doc/org/oaut.org, doc/org/randaut.org, doc/org/randltl.org,
      doc/org/satmin.org, doc/org/tools.org, doc/org/tut.org,
      doc/org/tut01.org, doc/org/tut02.org, doc/org/tut03.org,
      doc/org/tut10.org, doc/org/tut20.org, doc/org/tut21.org,
      doc/org/tut22.org, doc/org/tut30.org, doc/org/upgrade2.org: Here.
      * doc/org/index.org: Also add keywords in case it is useful, and
      use a more descripting title for search engines.
      bb2c6970
    • Alexandre Duret-Lutz's avatar
      attempt to fix clang++ compilation error · e7560552
      Alexandre Duret-Lutz authored
      Seen on arch linux when clang++ 3.7.1 uses GCC's 6.1.1 tuple header.
      
      * spot/twaalgos/ltl2tgba_fm.cc (ratexp_to_dfa::succ): Build the return
      type explicitly.
      * NEWS: Mention the issue.
      e7560552
  6. 09 May, 2016 3 commits
  7. 05 May, 2016 2 commits
  8. 02 May, 2016 3 commits
  9. 01 May, 2016 4 commits
    • Alexandre Duret-Lutz's avatar
      52e722c8
    • Alexandre Duret-Lutz's avatar
      print_hoa: output all registered APs · a1b3b065
      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.
      a1b3b065
    • Alexandre Duret-Lutz's avatar
      honor ap() when counting transitions · dad17b36
      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.
      dad17b36
    • Alexandre Duret-Lutz's avatar
      autfilt: fix simpification of exclusive AP · 4f913c7f
      Alexandre Duret-Lutz authored
      * bin/autfilt.cc: Here.
      * tests/core/exclusive-tgba.test: Test it.
      * NEWS: Mention the fix.
      4f913c7f
  10. 22 Apr, 2016 3 commits
  11. 21 Apr, 2016 4 commits
  12. 20 Apr, 2016 2 commits
  13. 18 Apr, 2016 2 commits
  14. 11 Apr, 2016 1 commit
  15. 10 Apr, 2016 4 commits