Issues · Spot / Spot · GitLab

find a way to add a timeout to dot, or kill it when the current process is killed

#475 · created Sep 09, 2021 by Alexandre Duret-Lutz wish
- 0
updated Sep 09, 2021
we need an "autdo" command

#466 · created Jun 24, 2021 by Alexandre Duret-Lutz wish
- 0
updated Sep 10, 2021
case where ltl-split is harmful

#454 · created Feb 03, 2021 by Alexandre Duret-Lutz wish
- 2
updated May 03, 2021
do_simul on automata with non-separated Fin/Inf

#451 · created Jan 25, 2021 by Alexandre Duret-Lutz simulation wish
- 0
updated Feb 17, 2021
generalize defrag_state()

#450 · created Jan 20, 2021 by Alexandre Duret-Lutz wish
- 0
updated Jan 20, 2021
improve determinisation of automata matching string-like patterns 2 of 3 tasks completed

#444 · created Dec 08, 2020 by Alexandre Duret-Lutz wish
- 0
updated Dec 09, 2020
iterate over bit sets in bitvect or bitset

#440 · created Nov 17, 2020 by Alexandre Duret-Lutz wish
- 0
updated Nov 17, 2020
support for exclusive APs in ltl2tgba

#438 · created Nov 12, 2020 by Alexandre Duret-Lutz wish
- 1
updated Nov 12, 2020
for ltlsynt parity game solving could stop once the winner of initial state is known

#423 · created Sep 10, 2020 by Alexandre Duret-Lutz wish
- 0
updated Sep 10, 2020
handling unconstrained I/O in ltlsynt

#415 · created May 29, 2020 by Alexandre Duret-Lutz wish
- 1
updated May 29, 2020
random conjunctions of patterns

#400 · created Mar 12, 2020 by Alexandre Duret-Lutz wish
- 0
updated Mar 12, 2020
a case when -G -D produce a parity automaton more than twice smaller than -P -D

#397 · created Jan 15, 2020 by Alexandre Duret-Lutz wish
- 1
updated Jan 16, 2020
use graphviz layers for interactive display

#394 · created Nov 28, 2019 by Alexandre Duret-Lutz wish
- 0
updated Nov 28, 2019
postprocessing twice may improve things

#386 · created Apr 24, 2019 by Alexandre Duret-Lutz wish
- 1
updated Jul 31, 2019
ltl2tgba -G cases that can be improved

#385 · created Apr 24, 2019 by Alexandre Duret-Lutz rewritings wish
- 1
updated Jul 22, 2020
Enumerate all possibles SCCs/automata of size N

#370 · created Nov 13, 2018 by Etienne Renault wish
- 0
updated Nov 13, 2018
add acc_cond::is_hyper_rabin() and acc_cond::is_hyper_streett() functions

#369 · created Nov 07, 2018 by Alexandre Duret-Lutz wish
- 0
updated Nov 07, 2018
a curious case of smaller "unambiguous" automaton

#365 · created Oct 01, 2018 by Alexandre Duret-Lutz wish
- 0
updated Oct 01, 2018
partition an automaton into safety and liveness

#364 · created Oct 01, 2018 by Alexandre Duret-Lutz wish
- 1
updated Nov 05, 2018
better handling of silly histories in sat_minimize()

#344 · created Apr 20, 2018 by Alexandre Duret-Lutz wish
- 0
updated Apr 20, 2018

Prev
1
2
3
4
Next