Alexandre Duret-Lutz
1276abd290
* wrap/python/cgi/ltl2tgba.in: Convert GIFs to PNGs. Restrict
...
the size of dot's output to 1024x1024.
* src/tgbaalgos/dotty.cc (dotty_bfs::start): Do not preset
the size of the graph. Set height=0 for the invisible state.
2003-08-07 12:14:01 +00:00
Alexandre Duret-Lutz
c7a269dddc
* wrap/python/cgi/ltl2tgba.in: Handle show_formula_dot and
...
show_formula_gif.
2003-08-06 09:52:04 +00:00
Alexandre Duret-Lutz
a5e04a10e6
* src/misc/version.hh, src/misc/version.cc: New files.
...
* src/misc/Makefile.am (libmisc_la_SOURCES, misc_HEADERS): Add them.
* wrap/python/spot.i: Include misc/version.hh.
* wrap/python/cgi/ltl2tgba.in: Print spot.version().
2003-08-05 14:37:50 +00:00
Alexandre Duret-Lutz
bdfbf9c519
* wrap/python/cgi/Makefile.am, wrap/python/cgi/ltl2tgba.in,
...
wrap/python/cgi/README: New files.
* wrap/python/Makefile.am (SUBDIRS): Add cgi.
* configure.ac: Output wrap/python/cgi/Makefile.
2003-08-05 14:17:47 +00:00
