Alexandre Duret-Lutz
c0b77b2e62
cgi: do not display Inf(0) for state-based BA
...
* wrap/python/ajax/spotcgi.in: If the output is a state-based BA, i.e.,
displayed with double circles, then do not output "Inf(0)" as acceptance
condition as that is confusing. Print "Büchi" instead.
2015-08-06 16:29:55 +02:00
Alexandre Duret-Lutz
a9f4b01d9b
ajax: relabel formula and automata around ltl3ba
...
Fixes #53 .
* wrap/python/ajax/spotcgi.in: Do that.
* wrap/python/ajax/trans.html: Fixup jquery code to
avoid looping over tabs.
* wrap/python/spot_impl.i: Wrap the automaton relabeling code.
* NEWS: Update.
2015-06-20 20:46:53 +02:00
Alexandre Duret-Lutz
11c453d426
ajax: fix UTF-8 output
...
* wrap/python/ajax/spotcgi.in: Here.
2015-06-20 18:33:05 +02:00
Alexandre Duret-Lutz
0c3e10d1ec
ajax: fix Python3 error in check for ltl3ba
...
* wrap/python/ajax/spotcgi.in: Here.
2015-06-18 11:05:03 +02:00
Alexandre Duret-Lutz
35fea2f5d1
cgi: test formulas for stutter invariance
...
* wrap/python/ajax/spotcgi.in: Here.
2015-06-16 19:02:13 +02:00
Alexandre Duret-Lutz
de00bd3e25
cgi: fix cached output for Python3
...
* wrap/python/ajax/spotcgi.in: Fix.
2015-06-16 18:28:40 +02:00
Alexandre Duret-Lutz
533fc21a25
* wrap/python/ajax/spotcgi.in: Simplify using spot.setup().
2015-06-16 18:03:02 +02:00
Alexandre Duret-Lutz
7cc9980062
Rename the on-line translator to avoid conflicts with the doc
...
* wrap/python/ajax/css/ltl2tgba.css, wrap/python/ajax/spot.in,
wrap/python/ajax/ltl2tgba.html: Rename ...
* wrap/python/ajax/css/trans.css, wrap/python/ajax/spotcgi.in,
wrap/python/ajax/trans.html: ... as these.
* wrap/python/ajax/Makefile.am, wrap/python/ajax/README: Adjust.
2015-06-16 17:44:30 +02:00
