Issues · Spot / Spot · GitLab

ltl2tgba -G cases that can be improved

#385 · created Apr 24, 2019 by Alexandre Duret-Lutz rewritings wish
- 1
updated Jul 22, 2020
new LTL simplification rules

#354 · created May 31, 2018 by Alexandre Duret-Lutz rewritings short task
- CLOSED
- 0
updated Jun 05, 2018
simplify {r;1} as {r}

#3 · created Dec 06, 2014 by Alexandre Duret-Lutz rewritings short task wish
- CLOSED
- 1
updated May 07, 2018
missing LTL simplification

#185 · created Sep 22, 2016 by Alexandre Duret-Lutz rewritings
- CLOSED
- 0
updated Nov 15, 2017
more LTL simplifications for GF formulas

#11 · created Dec 19, 2014 by Alexandre Duret-Lutz idea rewritings
- 1
updated Nov 15, 2017
even more LTL simplification for GF formulas

#12 · created Dec 19, 2014 by Alexandre Duret-Lutz rewritings wish
- 0
updated Nov 15, 2017
find a way to reduce {b*;r} = (b W r) when r is satisfiable

#2 · created Dec 06, 2014 by Alexandre Duret-Lutz rewritings wish
- 0
updated Nov 15, 2017
fixing the closure operator to better match the PSL standard

#242 · created Mar 13, 2017 by Alexandre Duret-Lutz spot 2.3.2 bug doc rewritings tl wish
- CLOSED
- 1
updated Apr 28, 2017