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

2 commits

Author SHA1 Message Date
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
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