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

16 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
35612f3626 Release Spot 1.2.2 
* NEWS, configure.ac, doc/org/tools.org: Set version to 1.2.2.
 2014-01-24 11:16:07 +01:00
Alexandre Duret-Lutz
4d7638a269 Release Spot 1.2.1. 
* NEWS, configure.ac, doc/org/tools.org: Bump version to 1.2.1.
 2013-12-11 10:40:33 +01:00
Alexandre Duret-Lutz
846e33b9e5 ltl2tgba: Add a --csv-escape option and document CSV I/O. 
* src/bin/common_output.cc, src/bin/common_output.hh:
(output_formula_checked, aut_stat_printer): New.
* src/bin/genltl.cc, src/bin/randltl.cc, src/bin/ltlfilt.cc: Call
output_formula_checked() instead of output_formula().
* src/bin/ltl2tgba.cc: Use aut_stat_printer and add option --csv-escape.
* doc/org/csv.org: New file to document CSV I/O.
* doc/Makefile.am: Add it.
* doc/org/ioltl.org, doc/org/ltlfilt.org, doc/org/ltl2tgba.org,
doc/org/tools.org: Link to csv.org
 2013-12-06 11:09:36 +01:00
Alexandre Duret-Lutz
3e3d320de5 doc: add suggestions for bibliographic references 
* doc/org/tools.org, src/bin/man/genltl.x, src/bin/man/ltl2tgba.x,
src/bin/man/ltl2tgta.x, src/bin/man/ltlcross.x, src/bin/man/ltlfilt.x,
src/bin/man/randltl.x: Add bibliographic references, mostly to
the ATVA'13 paper.
 2013-11-22 02:13:57 +01:00
Alexandre Duret-Lutz
c0a845b274 Release Spot 1.2. 
* NEWS, configure.ac, doc/org/tools.org: Bump version to 1.2.
 2013-10-01 13:23:47 +02:00
Alexandre Duret-Lutz
3076c3da4e org: document SAT-based minimization 
* doc/org/satmin.org, doc/org/satmin.tex: New files.
* doc/Makefile.am: Add them.
* doc/org/tools.org: Point to satmin.org.
* NEWS: Mention satmin.html.
 2013-09-16 08:39:06 +02:00
Alexandre Duret-Lutz
f704513b6b org: document dstar2tgba. 
* doc/org/dstar2tgba.org: New file.
* doc/org/tools.org: Link to it.
* doc/Makefile.am: Distribute it.
* NEWS: Mention the generated web page.
 2013-08-26 17:27:39 +02:00
Alexandre Duret-Lutz
9d6d53ed92 Release Spot 1.1.4. 
* NEWS, configure.ac, doc/org/tools.org: Update version.
 2013-07-29 00:27:59 +02:00
Alexandre Duret-Lutz
026830d159 Release Spot 1.1.3. 
* configure.ac, doc/org/tools.org, NEWS: Set version to 1.1.3.
 2013-07-09 14:03:07 +02:00
Alexandre Duret-Lutz
424f04ca11 Release Spot 1.1.2. 
* configure.ac, NEWS, doc/org/tools.org: Bump version to 1.1.2.
 2013-06-09 18:05:20 +02:00
Alexandre Duret-Lutz
27a18a0410 Release Spot 1.1.1 
* NEWS, configure.ac, doc/org/tools.org: Bump version.
 2013-05-13 16:20:29 +02:00
Alexandre Duret-Lutz
556ba6df9e Release Spot 1.1 
* configure.ac, doc/org/tools.org: Bump version number.
* NEWS: Likewise, plus some missing entries.
 2013-04-28 16:31:20 +02:00
Alexandre Duret-Lutz
69dcff5ab0 org: Make sure ../../src/bin is searched first. 
We used to set PATH in emacs, but because babel executes "sh" via
shell-command, the configuration of the main shell may supersedes ours.

* doc/org/ltl2tgba.org, doc/org/ltl2tgta.org, doc/org/ltlcross.org,
doc/org/ltlfilt.org, doc/org/randltl.org, doc/org/tools.org,
doc/org/genltl.org: Move all local-file variable to...
* doc/org/.dir-locals.el: ... here.  And also set the PATH
in org-babel-sh-command.
* doc/org/init.el.in: Set the PATH in org-babel-sh-command.
 2013-04-11 19:02:45 +02:00
Alexandre Duret-Lutz
c24270bbf5 org: upgrade to 1.0.2 
* doc/org/tools.org: Update to 1.0.2.
* doc/org/ltl2tgba.org: Mention monitors in the intro.
 2013-04-09 15:05:56 +02:00
Alexandre Duret-Lutz
d1ad744887 org: update for 1.0.1 
* doc/org/ioltl.org: Mention ltl2dstar and the changes to the prefix
parser.
* doc/org/ltlcross.org: Mention bench/ltl2tgba/sum.py.
* doc/org/tools.org: Bump version number.
 2013-04-09 15:05:56 +02:00
Alexandre Duret-Lutz
345b8c5b14 doc: add org-mode documentation for user tools 
* doc/org/.gitignore, doc/org/genltl.org, doc/org/ioltl.org,
doc/org/ltl2tgba.org, doc/org/ltl2tgta.org, doc/org/ltlcross.org,
doc/org/ltlfilt.org, doc/org/randltl.org, doc/org/tools.org: New files.
 2013-04-09 15:05:56 +02:00