1. 30 Apr, 2012 12 commits
    • Alexandre Duret-Lutz's avatar
      Make sure PYTHON is absolute. · 1319e18e
      Alexandre Duret-Lutz authored
      * m4/pypath.m4: Here.  This is needed because PYTHON is used as
      she-bang line in scripts.
    • Alexandre Duret-Lutz's avatar
      Add an UTF-8 option to the web interface. · 43d1be09
      Alexandre Duret-Lutz authored
      * wrap/python/ajax/ltl2tgba.html: Add the checkbox.
      * wrap/python/ajax/css/ltl2tgba.css: Add the necessary class.
      * wrap/python/ajax/protocol.txt: Add the new option.
      * wrap/python/ajax/spot.in: Handle it.
      * wrap/python/ajax/README: Add a few lines to explain
      how to run the CGI script from the command line for debugging.
    • Alexandre Duret-Lutz's avatar
      Make it possible to output UTF-8 for dotty(). · e93ceeba
      Alexandre Duret-Lutz authored
      * src/tgba/tgbaexplicit.hh: Rerganize a bit to
      allow different functions to be used to format
      states.  Add an enabled_utf8() method to
      * src/tgbaalgos/dotty.hh, src/tgbaalgos/dotty.cc:
      Simplify the interface by not depending on
      dotty_decorator explicitely.
      * src/tgba/bddprint.hh (enable_utf8): New function.
      * src/tgba/bddprint.cc (enable_utf8): Implement it
      and use the global utf8 flag in other functions.
      * src/tgbatest/ltl2tgba.cc: Add an -8 option for
      UTF-8 outpout.
      * wrap/python/spot.i: Adjust for tgbexplicit.hh
    • Alexandre Duret-Lutz's avatar
      Fix constness of minimize_wdba() return. · f082700f
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/minimize.hh, src/tgbaalgos/minimize.cc:
      Return a tgba*, not a const tgba*.
    • Alexandre Duret-Lutz's avatar
      Fix doxygen comments. · df1785f5
      Alexandre Duret-Lutz authored
      * src/tgba/formula2bdd.hh: Fix the comments so Doxygen can
      see them.
    • Alexandre Duret-Lutz's avatar
      Implement to_utf8_string(). · 53f38c2c
      Alexandre Duret-Lutz authored
      * src/ltlvisit/tostring.cc, src/ltlvisit/tostring.hh: Here.
      * src/ltltest/randltl.cc: Add option -8 to display utf-8 formulae.
      * src/ltltest/utf8.test: Test it.
    • Alexandre Duret-Lutz's avatar
      Remove useless include. · 6f291411
      Alexandre Duret-Lutz authored
      * src/misc/acccompl.cc: Do not include tgbaexplicit.hh.
    • Alexandre Duret-Lutz's avatar
      Document recognized utf8 characters. · 5eae815a
      Alexandre Duret-Lutz authored
      * doc/tl/tl.tex: Here.
    • Alexandre Duret-Lutz's avatar
      Fix error reporting in utf8-encoded LTL formulae. · 7e4787da
      Alexandre Duret-Lutz authored
      * src/ltlparse/public.hh (fix_utf8_locations): New function.
      * src/ltlparse/fmterror.cc (fix_utf8_locations): Implement it.
      (format_parse_errors): Rename as ...
      (format_parse_errors_aux): ... this.
      (format_parse_errors): New implementation that call fix_utf8_locations()
      before format_parse_errors_aux() on valid utf8 strings.
      * src/ltlparse/Makefile.am: Include $(top_srcdir).
      * src/ltltest/utf8.test: New file.
      * src/ltltest/Makefile.am: Add it.
      * src/ltltest/parse.test: Fix header.
    • Alexandre Duret-Lutz's avatar
      Distribute UTF8-for-cpp. · 403170f5
      Alexandre Duret-Lutz authored
      * utf8/doc/ReleaseNotes, utf8/doc/utf8cpp.html, utf8/utf8.h,
      utf8/utf8/checked.h, utf8/utf8/core.h, utf8/utf8/unchecked.h:
      New files.
      * Makefile.am (EXTRA_DIST): Distribute them.
    • Alexandre Duret-Lutz's avatar
      ltlparse: Preliminary support for utf8 operators. · 80a9c3e2
      Alexandre Duret-Lutz authored
      * src/ltlparse/ltlscan.ll: Recognize several utf8 operators
      such as □, ◇, ◯, , ⤇, etc.
    • Alexandre Duret-Lutz's avatar
      Fix the associativity of ->, <->, U, R, W, and M wrt the PSL standard. · ce437cd4
      Alexandre Duret-Lutz authored
      * src/ltlparse/ltlparse.yy: Make all the above operators
      right-associative.  Also let `:' have precedence over `;'.
      * src/ltltest/reduccmp.test: Adjust for the `:' precedence.
      * doc/tl/tl.tex, NEWS: Document this.
  2. 28 Apr, 2012 28 commits