alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/doc/org
History
Exact
Alexandre Duret-Lutz a3753e608b improve support for LTLf semantics 
* spot/twaalgos/remprop.cc, spot/twaalgos/remprop.hh (to_finite): New
function.
* bin/autfilt.cc (--to-finite): Add it.
* doc/org/tut12.org: Update to use it.
* spot/twa/twagraph.cc (purge_dead_states): Also remove false edges.
* spot/parseaut/parseaut.yy: Do not ignore false self-loops, and
add false self-loop on accepting states without successors.
* NEWS: List the above changes.
* tests/core/ltlf.test: New file.
* tests/Makefile.am: Add it.
* tests/core/complete.test: Adjust expected output.
2022-02-07 16:41:59 +01: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 bin: use regexes to detect shorthands, and add support for owl-21.0 2021-11-04 15:24:10 +01: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 * doc/org/compile.org: Fix instructions to uses -std=c++17. 2021-11-16 09:56:37 +01:00
concepts.org hoa: better support for aliases on output 2022-01-21 16:53:11 +01:00
csv.org org: run a spell checker on the documentation 2020-07-21 22:18:03 +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:18:03 +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 option @ to support aliases 2022-02-04 14:35:46 +01:00
index.org org: update mailman urls 2021-12-13 10:08:34 +01:00
init.el.in org: install from GNU 2022-01-14 20:29:10 +01:00
install.org * doc/org/install.org: Stable Debian packages are for Bullseye. 2021-11-23 10:22:23 +01: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 bin: use regexes to detect shorthands, and add support for owl-21.0 2021-11-04 15:24:10 +01:00
ltldo.org bin: use regexes to detect shorthands, and add support for owl-21.0 2021-11-04 15:24:10 +01: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 ltlsynt: replace -x minimization-lvl=N by --simplify 2021-10-06 18:00:24 +02:00
ltlsynt.tex ltlsynt: replace -x specification-decomposition by --decompose 2021-10-06 10:51:42 +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-09-10 15:28:55 +02:00
setup.org Release Spot 2.10.4 2022-02-01 13:50:56 +01: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 dot: Add option @ to support aliases 2022-02-04 14:35:46 +01: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:18:03 +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:18:03 +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 improve support for LTLf semantics 2022-02-07 16:41:59 +01: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:18:03 +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
tut40.org * doc/org/tut40.org: Finish a sentence. 2022-01-14 20:29:10 +01:00
tut50.org org: run a spell checker on the documentation 2020-07-21 22:18:03 +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