Issues · Spot / Spot · GitLab

for ltlsynt parity game solving could stop once the winner of initial state is known

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

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

#400 · opened 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 · opened Jan 15, 2020 by Alexandre Duret-Lutz wish
- 1
updated Jan 16, 2020
use graphviz layers for interactive display

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

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

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

#370 · opened 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 · opened Nov 07, 2018 by Alexandre Duret-Lutz wish
- 0
updated Nov 07, 2018
a curious case of smaller "unambiguous" automaton

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

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

#344 · opened Apr 20, 2018 by Alexandre Duret-Lutz wish
- 0
updated Apr 20, 2018
evaluation of formula on word

#322 · opened Jan 26, 2018 by Alexandre Duret-Lutz wish
- 1
updated Mar 24, 2018
complementation of semi-deterministic automata

#310 · opened Dec 15, 2017 by Alexandre Duret-Lutz wish
- 3
updated Jul 30, 2020
accessibility properties

#308 · opened Dec 06, 2017 by Alexandre Duret-Lutz wish
- 0
updated Dec 06, 2017
overhaul the formula simplification routines 0 of 5 tasks completed

#281 · opened Sep 15, 2017 by Alexandre Duret-Lutz tl wish
- 0
updated Sep 15, 2017
is_inherently_weak should support alternating automata

#275 · opened Jul 20, 2017 by Thomas Medioni wish
- 1
updated Aug 09, 2017
streett-like to streett

#272 · opened Jun 21, 2017 by Alexandre Duret-Lutz short task wish
- 0
updated Jun 21, 2017
Transform Alternating Automata into Weak Alternating Automata 3 of 4 tasks completed

#266 · opened Jun 09, 2017 by Thomas Medioni wish
- 0
updated Oct 01, 2017
more families of LTL formulas for genltl

#265 · opened May 17, 2017 by Alexandre Duret-Lutz gen wish
- 0
updated Jun 09, 2017

Prev
1
2
3
Next