1. 26 Aug, 2015 2 commits
  2. 25 Aug, 2015 2 commits
  3. 24 Aug, 2015 1 commit
  4. 23 Aug, 2015 1 commit
  5. 21 Aug, 2015 2 commits
  6. 20 Aug, 2015 1 commit
  7. 18 Aug, 2015 1 commit
  8. 17 Aug, 2015 3 commits
    • Alexandre Duret-Lutz's avatar
      silence diagnostics from gcc-snapshot · 0689aa16
      Alexandre Duret-Lutz authored
      (Upcoming GCC 6.)
      
      * src/misc/intvcmp2.cc: Here.
      * NEWS: Mention it.
      0689aa16
    • Alexandre Duret-Lutz's avatar
      ltlfilt: add --unabbreviate · 56cbc3c8
      Alexandre Duret-Lutz authored
      * src/bin/ltlfilt.cc: Add option --unabbreviate.
      * src/tests/ltlfilt.test: Add a test case.
      * NEWS: Mention it.
      56cbc3c8
    • Alexandre Duret-Lutz's avatar
      merge tunnabrev/lunnabrev/wmunabbrev into a single function · d1f915c7
      Alexandre Duret-Lutz authored
      * src/ltlvisit/lunabbrev.cc, src/ltlvisit/lunabbrev.hh,
      src/ltlvisit/tunabbrev.cc, src/ltlvisit/tunabbrev.hh,
      src/ltlvisit/wmunabbrev.cc, src/ltlvisit/wmunabbrev.hh: Delete.
      * src/ltlvisit/unabbrev.cc, src/ltlvisit/unabbrev.hh: New files.
      * src/ltlvisit/Makefile.am: Adjust.
      * src/ltlvisit/print.cc, src/tests/equalsf.cc, src/tests/Makefile.am,
      src/twaalgos/ltl2taa.cc, wrap/python/spot_impl.i, src/bin/ltlfilt.cc:
      Adjust callers.
      * src/ltlvisit/contain.cc, src/tests/syntimpl.cc: Remove useless
      include.
      * wrap/python/tests/formulas.ipynb: New test cases.
      * doc/tl/tl.tex: Group all rules in a single section.
      * NEWS: Mention it.
      d1f915c7
  9. 14 Aug, 2015 3 commits
    • Alexandre Duret-Lutz's avatar
      do not rewrite <-> and -> for Spin LTL output · 59202bd5
      Alexandre Duret-Lutz authored
      Fixes #39, reported by Joachim Klein.
      
      * src/ltlvisit/lunabbrev.hh, src/ltlvisit/lunabbrev.cc: Take an option
      to specify which of xor/equiv/implies should be rewritten.
      * src/ltlvisit/print.cc (print_spin): Rewrite only xor.
      * src/tests/ltlfilt.test: Add a test case.
      * NEWS: Mention this.
      59202bd5
    • Alexandre Duret-Lutz's avatar
      fix a spurious assertion · c50d5a82
      Alexandre Duret-Lutz authored
      * src/twaalgos/totgba.cc: Here.
      * NEWS: Mention it.
      c50d5a82
    • Alexandre Duret-Lutz's avatar
      sccsimpl: Remove Fin sets between SCCs · 0143f0d4
      Alexandre Duret-Lutz authored
      We do not remove them in rejecting SCCs (as it might make the SCC
      accepting), but we can remove them between SCCs.
      
      Fixes #101.
      
      * src/twaalgos/sccfilter.cc: Here.
      * src/tests/sccsimpl.test: Add test case.
      * NEWS: Mention this.
      0143f0d4
  10. 13 Aug, 2015 4 commits
    • Alexandre Duret-Lutz's avatar
      fix latex escaping · 2eab0344
      Alexandre Duret-Lutz authored
      * src/ltlvisit/print.cc: Property output the double
      quotes in latex mode, not only sclatex.
      * src/misc/escape.cc: Fix LaTeX escape to work in math mode.
      * src/tests/latex.test: Add a test.
      * wrap/python/tests/formulas.ipynb: Adjust expected output
      * NEWS: Mention the fix.
      2eab0344
    • Alexandre Duret-Lutz's avatar
      org: Add link to the Python notebooks. · 21ff2d04
      Alexandre Duret-Lutz authored
      Fixes #100.
      
      * doc/org/tut.org: Link to the notebook.
      * src/sanity/ipynb.test: New test, to make sure we do not forget
      to document ipython notebook when we add some.
      * src/sanity/Makefile.am: Add it and run it.
      * NEWS: Mention it.
      21ff2d04
    • Alexandre Duret-Lutz's avatar
      org: include the man pages in the generated userdoc · 3897c8dc
      Alexandre Duret-Lutz authored
      * doc/Makefile.am (org-man): New target.
      * tools/man2html.pl: Adjust to distinguish source and destination
      directories.  Use relative links in genated files.
      * NEWS: Mention the html man pages.
      3897c8dc
    • Alexandre Duret-Lutz's avatar
      man: improve typesetting and prepare for html output · f7b65001
      Alexandre Duret-Lutz authored
      * src/bin/man/autfilt.x, src/bin/man/dstar2tgba.x,
      src/bin/man/ltl2tgba.x, src/bin/man/ltlcross.x,
      src/bin/man/ltlgrind.x, src/bin/man/randltl.x, src/bin/man/spot-x.x:
      Improve typesetting and cross-references.
      * tools/help2man: Adjust to better detect the optional arguments.
      Detect options that are not separated from their description by two
      spaces.  Argp output some of those.
      * tools/man2html.pl: New file.
      * Makefile.am: Distribute it.
      * src/bin/ltlfilt.cc: Fix description of --define.
      * src/bin/ltlgrind.cc: Fix duplicate description for --help and
      --version.  Reorder --help output slightly.
      * NEWS: Mention the few fixes.
      f7b65001
  11. 07 Aug, 2015 1 commit
  12. 24 Jul, 2015 1 commit
  13. 23 Jul, 2015 1 commit
  14. 18 Jul, 2015 2 commits
  15. 17 Jul, 2015 1 commit
  16. 16 Jul, 2015 1 commit
  17. 10 Jul, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      new conversion for Streett->GBA · d8a1dafa
      Alexandre Duret-Lutz authored
      * src/twaalgos/totgba.hh, src/twaalgos/totgba.cc: Implement
      the new function.
      * NEWS: Mention this new function.
      * src/bin/man/spot-x.x: Document SPOT_STREETT_CONV_MIN.
      * src/tests/ltl2dstar4.test: Add tests.
      * src/tests/Makefile.am: Add it.
      * src/bin/autfilt.cc: Do do call remove_fin explicitely
      when --tgba is used, let the postprocessor do it.
      * src/twa/acc.hh: Add shift operators for acceptance marks.
      * src/twaalgos/remfin.cc: Use the new algorithm.
      * src/twaalgos/sccinfo.cc, src/twaalgos/sccinfo.hh: Add
      a new method to supply the acceptance sets visited by an SCC.
      d8a1dafa
  18. 09 Jul, 2015 1 commit
  19. 07 Jul, 2015 1 commit
  20. 30 Jun, 2015 2 commits
    • Alexandre Duret-Lutz's avatar
      configure: diagnose missing Python.h · 36a3dc45
      Alexandre Duret-Lutz authored
      Fixes #95, reported by Vitus Lam.
      
      * m4/pypath.m4: Check for Python.h and print some advice if missing.
      * NEWS: Mention this.
      * THANKS: Add Vitus.
      36a3dc45
    • Alexandre Duret-Lutz's avatar
      scc_filter: do not remove Fin sets from rejecting SCCs · 5cb19a29
      Alexandre Duret-Lutz authored
      * src/twaalgos/sccfilter.cc (acc_filter_some, acc_filter_all): Merge
      into...
      (acc_filter_mask): ... this single parametrized class, and only
      remove sets that are only used as Inf.
      * src/twa/acc.hh: Add missing operator~.
      * src/tests/sccsimpl.test: Add test case.
      * src/tests/sccdot.test: Adjust.
      * NEWS: Mention the bug.
      5cb19a29
  21. 23 Jun, 2015 3 commits
  22. 20 Jun, 2015 1 commit
  23. 16 Jun, 2015 1 commit
  24. 11 Jun, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      hoaparse: rename to parseaut · a86391ab
      Alexandre Duret-Lutz authored
      Because this parser is not specific to HOA anymore.
      
      * src/hoaparse/Makefile.am, src/hoaparse/fmterror.cc,
      src/hoaparse/hoaparse.yy, src/hoaparse/parsedecl.hh,
      src/parseaut/public.hh, src/hoaparse/hoascan.ll,
      src/tests/hoaparse.test: Rename to...
      * src/parseaut/Makefile.am, src/parseaut/fmterror.cc,
      src/parseaut/parseaut.yy, src/parseaut/parsedecl.hh,
      src/hoaparse/public.hh, src/parseaut/scanaut.ll,
      src/tests/parseaut.test: ... these, and also adjust the name internally.
      For instance hoa_aut_ptr is now parsed_aut_ptr; hoa_stream_parser is now
      automaton_stream_parser, and hoa_parse() has become parse_aut().
      * NEWS, README, configure.ac, doc/org/tut20.org, src/Makefile.am,
      src/bin/autfilt.cc, src/bin/common_aoutput.cc,
      src/bin/common_aoutput.hh, src/bin/common_conv.cc,
      src/bin/ltlcross.cc, src/bin/ltldo.cc, src/tests/Makefile.am,
      src/tests/complementation.cc, src/tests/ltl2tgba.cc,
      src/tests/readsave.test, wrap/python/ajax/spot.in,
      wrap/python/spot.py, wrap/python/spot_impl.i,
      wrap/python/tests/automata-io.ipynb, wrap/python/tests/parsetgba.py:
      Adjust.
      a86391ab
  25. 07 Jun, 2015 1 commit
    • Alexandre Duret-Lutz's avatar
      org: add installation instructions · 2e34fa42
      Alexandre Duret-Lutz authored
      * doc/org/install.org: New file.
      * doc/Makefile.am: Add it.
      * doc/org/index.org: Link to it.
      * doc/org/setup.org: Add macro for
      various version numbers.
      * doc/org/tools.org: Update version number.
      * NEWS, README, bench/ltl2tgba/README, debian/control,
      debian/copyright: Update URLs to website.
      2e34fa42
  26. 25 May, 2015 1 commit