Issues · Spot / Spot · GitLab

handling unconstrained I/O in ltlsynt

#415 · opened May 29, 2020 by Alexandre Duret-Lutz wish
- 1
updated May 29, 2020
add a quick simplification pass before LTL relabeling

#412 · opened May 19, 2020 by Alexandre Duret-Lutz wish
- 0
updated May 19, 2020
ltlcross aborts with "Too many acceptance sets used" without creating a CSV file

#411 · opened May 12, 2020 by Alexandre Duret-Lutz bug
- 0
updated May 12, 2020
randaut should learn to generate paralllel transitions

#409 · opened May 07, 2020 by Alexandre Duret-Lutz
- 0
updated May 07, 2020
partial (co-)Büchi realizability

#408 · opened May 06, 2020 by Alexandre Duret-Lutz idea
- 0
updated May 06, 2020
to_parity on Rabin-like automata that are Büchi realizable may still call partial-degeneralization

#407 · opened May 06, 2020 by Alexandre Duret-Lutz
- 1
updated May 07, 2020
simplify acceptance conditons using color inclusions

#406 · opened May 06, 2020 by Alexandre Duret-Lutz wish
- 1
updated May 18, 2020
What should to_parity's reduce_col_deg default be?

#404 · opened May 06, 2020 by Alexandre Duret-Lutz
- 5
updated May 22, 2020
missed optimization in to_parity

#403 · opened May 06, 2020 by Alexandre Duret-Lutz
- 1
updated May 06, 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
stack-overflow during simulation-based reduction

#396 · opened Jan 13, 2020 by Florian Renkin
- 2
updated Apr 20, 2020
formulas with large memory consumption

#395 · opened Dec 15, 2019 by Alexandre Duret-Lutz
- 1
updated Dec 16, 2019
use graphviz layers for interactive display

#394 · opened Nov 28, 2019 by Alexandre Duret-Lutz wish
- 0
updated Nov 28, 2019
LTL->UVW

#389 · opened Jun 06, 2019 by Alexandre Duret-Lutz idea
- 0
updated Jun 06, 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
- 0
updated Jun 18, 2019
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

Prev
1
2
3
4
5
6
Next