alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
3463 commits 6 branches 0 tags 36 MiB
Commit graph

9 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
5aba246ff0 org: syntax-highlight the HOA outputs 
* elisp/hoa-mode.el, elisp/Makefile.am, elisp/README: New files.
* debian/copyright, configure.ac, README, Makefile.am: Adjust.
* doc/org/init.el.in: Adjust to load hoa-mode.el.
* doc/org/spot.css: Add entries for HOA mode.
* doc/org/hoa.org, doc/org/ltldo.org, doc/org/oaut.org,
doc/org/tut20.org, doc/org/tut21.org, doc/org/tut22.org,
doc/org/tut30.org: Make the HOA outputs as HOA.
 2015-11-20 14:28:51 +01:00
Alexandre Duret-Lutz
a28ead2dce org: simply calls to parse_aut() 
* doc/org/tut20.org, doc/org/tut21.org, doc/org/tut30.org: Simplify
the calls to parse_aut.
 2015-11-03 11:58:40 +01:00
Alexandre Duret-Lutz
dee73ee342 parse_aut: simplify the interface 
* src/parseaut/public.hh, src/parseaut/parseaut.yy,
src/parseaut/fmterror.cc: Add a raise_errors options.  Remove the
parse_strict() method.  Store parse errors and filename in the output
parsed_aut to simplify usage.
* doc/org/tut20.org, doc/org/tut21.org, doc/org/tut30.org,
src/bin/autfilt.cc, src/bin/common_hoaread.cc, src/bin/dstar2tgba.cc,
src/bin/ltlcross.cc, src/bin/ltldo.cc, src/tests/complementation.cc,
src/tests/ikwiad.cc, src/tests/ltlcross3.test, src/tests/ltldo.test,
wrap/python/spot.py, wrap/python/tests/parsetgba.py: Adjust usage.
* NEWS: Mention the changes.
 2015-10-26 20:28:06 +01:00
Alexandre Duret-Lutz
17a18f2890 adjust documentation for the merge of the dstar parser 
* NEWS: Mention the changes.
* doc/org/autfilt.org, doc/org/dstar2tgba.org,
doc/org/ltlcross.org, doc/org/tools.org, doc/org/tut20.org,
src/bin/man/dstar2tgba.x, src/bin/man/ltlcross.x: Adjust
documentation.
* src/bin/common_trans.cc: Use %O instead of %D, but keep %D
hidden for backward compatibility.
 2015-09-09 00:49:13 +02:00
Alexandre Duret-Lutz
ce3ad1e3ff * doc/org/tut20.org: Make sure the cleanup is run. 2015-06-20 14:14:26 +02:00
Alexandre Duret-Lutz
3e853eedeb org: add utf-8 markers 
* doc/org/index.org, doc/org/ltl2tgta.org, doc/org/randltl.org,
doc/org/satmin.org, doc/org/tut.org, doc/org/tut01.org,
doc/org/tut02.org, doc/org/tut10.org, doc/org/tut20.org,
doc/org/tut21.org, doc/org/tut22.org: Here.
 2015-06-14 23:40:34 +02:00
Alexandre Duret-Lutz
a1ba0a89c5 * doc/org/tut20.org: Cleanup. 2015-06-11 22:36:09 +02:00
Alexandre Duret-Lutz
a86391ab77 hoaparse: rename to parseaut 
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.
 2015-06-11 13:31:13 +02:00
Alexandre Duret-Lutz
60bd9dd606 org: add a new code example 
This addresses on item of #14.

* doc/org/tut20.org: New file.
* doc/Makefile.am: Add it.
* doc/org/tut.org: Link to it.
* doc/org/.dir-locals.el.in, doc/org/init.el.in: Fix some PATH
issues.
 2015-06-10 23:39:38 +02:00