• Alexandre Duret-Lutz's avatar
    ltl2tgba cgi updates. · 72b7deec
    Alexandre Duret-Lutz authored
    * wrap/python/cgi-bin/ltl2tgba.in (dot): Use the value computed by
    (os.system): Cleanup stale files only when the form has been
    (list options): Keep track of the selected value.
    (draw_acc_run|print_acc_run): set ec=0 to detect if it has been
    later set or not.  Fix error message when using generalized
    automata with degeneralized emptiness checks.
    * wrap/python/cgi-bin/Makefile.am (ltl2tgba.py): Substitute @DOT@.
To find the state of this project's repository at the time of any of these versions, check out the tags.