• Alexandre Duret-Lutz's avatar
    Better formula I/O for ipython. · ae35cc29
    Alexandre Duret-Lutz authored
    * src/ltlparse/public.hh, src/ltlparse/ltlparse.yy,
    src/ltlparse/ltlscan.ll (parse_error): New class.
    (parse_formula): New function that raises a parse_error
    exception on error.
    * src/ltlvisit/tostring.hh, src/ltlvisit/tostring.cc:
    (to_sclatex_string): New method.
    * wrap/python/spot.i: Catch the parser_error exception,
    and use the to_sclatex_string for MathJax rendering.
    * wrap/python/tests/run.in: Start ipython on demand.
    ae35cc29
ltlscan.ll 10.4 KB