alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

get rid of the Python-based CGI translator

Browse source 
We now have a separate project for its replacement at
https://gitlab.lrde.epita.fr/spot/spot-web-app/

* python/ajax/: Remove directory.
* python/Makefile.am, configure.ac, README: Adjust.
* NEWS: Mention this.
This commit is contained in:
Alexandre Duret-Lutz 2018-08-10 14:07:35 +02:00
parent 042591a986
commit 03d9b0c2bb
15 changed files with 6 additions and 2130 deletions
Download patch file Download diff file Expand all files Collapse all files

1
README
View file

@ -228,7 +228,6 @@ bench/ Benchmarks for ...
stutter/ ... stutter-invariance checking algorithms,
wdba/ ... WDBA minimization (for obligation properties).
python/ Python bindings for Spot and BuDDy
ajax/ LTL-to-TGBA translator with web interface, using Javascript.
Third party software
--------------------