Alexandre Duret-Lutz 5c5790039b zlktree: cleanup the interface, and add interactive ACD ... * tests/python/_zlktree.ipynb: Remove and replace by... * tests/python/zlktree.ipynb: ... this more documented notebook. * tests/Makefile.am: Adjust. * doc/org/tut.org, NEWS: Mention zlktree.ipynb. * spot/twaalgos/zlktree.hh, spot/twaalgos/zlktree.cc, python/spot/__init__.py: Cleanup interface, and add support for interactive display.		2021-09-04 12:48:57 +02:00
..
.dir-locals.el.in	org: fix local export	2020-11-08 13:41:41 +01:00
.gitignore	modernize the logo	2018-06-27 16:18:15 +02:00
arch.tex	org: improve architecture diagram	2019-12-08 13:29:14 +01:00
autcross.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
autfilt.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
citing.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
compile.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
concepts.org	game: reimplement parity game solving	2020-09-22 23:15:30 +02:00
csv.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
dstar2tgba.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
g++wrap.in	g++wrap: make it work with --enable-glibcxx-debug	2017-08-02 15:26:35 +02:00
genaut.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
genltl.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
hierarchy.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
hierarchy.tex	org: fix shadow of hierarchy figure	2020-08-03 09:24:16 +02:00
hoa.org	dot: add support for two-player games	2020-09-08 20:20:48 +02:00
index.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
init.el.in	org: work around ESS issue 1052	2020-11-08 13:42:09 +01:00
install.org	org: we have a conda-forge package	2021-08-10 13:39:45 +02:00
ioltl.org	org: various improvements	2020-11-08 13:41:57 +01:00
ltl2tgba.org	bin: add support for -b/--buchi	2020-12-18 12:24:08 +01:00
ltl2tgta.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
ltlcross.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
ltldo.org	org: add syntax highlighting for three HOA examples	2019-07-30 15:35:09 +02:00
ltlfilt.org	org: add missing :exports results :results silent	2021-05-12 10:27:46 +02:00
ltlgrind.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
ltlsynt.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
oaut.org	* doc/org/oaut.org (dot2tex): Acknowledge the 2.11 release.	2021-09-03 22:38:24 +02:00
randaut.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
randltl.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
satmin.org	org: greatly reduce the size of satmin.svg	2020-11-08 13:34:43 +01:00
satmin.tex	org: greatly reduce the size of satmin.svg	2020-11-08 13:34:43 +01:00
setup.org	Release Spot 2.9.8	2021-08-10 17:37:00 +02:00
spot.css	dot: add an option to output id= attributes	2021-09-03 22:38:24 +02:00
spot2.svg	modernize the logo	2018-06-27 16:18:15 +02:00
tools.org	org: simplify babel blocks using #+PROPERTY: header-args	2019-04-17 17:30:56 +02:00
tut.org	zlktree: cleanup the interface, and add interactive ACD	2021-09-04 12:48:57 +02:00
tut01.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut02.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut03.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut04.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut10.org	postprocess, translate: add support for Büchi (not state-based)	2020-10-06 17:46:34 +02:00
tut11.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut12.org	postprocess, translate: add support for Büchi (not state-based)	2020-10-06 17:46:34 +02:00
tut20.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut21.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut22.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut23.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut24.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut30.org	org: add missing :exports results :results silent	2021-05-12 10:27:46 +02:00
tut31.org	org: add missing :exports results :results silent	2021-05-12 10:27:46 +02:00
tut50.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut51.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut52.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
tut90.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00
upgrade2.org	org: run a spell checker on the documentation	2020-07-21 22:21:58 +02:00