Issues · Spot / Spot · GitLab

case where ltl-split is harmful

#454 · created Feb 03, 2021 by Alexandre Duret-Lutz wish
- 2
updated Feb 24, 2021
clone automaton in Python

#453 · created Jan 27, 2021 by Alexandre Duret-Lutz wish
- 0
updated Jan 27, 2021
simulation missed reduction

#452 · created Jan 25, 2021 by Alexandre Duret-Lutz wish
- 2
updated Feb 16, 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