Issues · Spot / Spot · GitLab

iterate over bit sets in bitvect or bitset

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

#438 · opened Nov 12, 2020 by Alexandre Duret-Lutz wish
- 1
updated Nov 12, 2020
Parse of atomic propositions in LTSmin wrapper

#436 · opened Oct 20, 2020 by Yann Thierry-Mieg
- 32
updated Nov 14, 2020
-Waddress-of-array-temporary raises error in jupiter notebook

#433 · opened Oct 05, 2020 by Etienne Renault
- 1
updated Oct 07, 2020
Publishing to conda, pip packages?

#432 · opened Oct 04, 2020 by Cambridge Yang
- 2
updated Oct 14, 2020
cleanup_acceptance_here and simplify_acceptance_here could be improved to use SCCs

#431 · opened Sep 28, 2020 by Alexandre Duret-Lutz
- 0
updated Sep 28, 2020
LTL->DPA case where default translation is very bad

#425 · opened Sep 16, 2020 by Alexandre Duret-Lutz
- 0
updated Sep 16, 2020
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
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 07, 2020 by Alexandre Duret-Lutz idea
- 0
updated May 07, 2020
to_parity on Rabin-like automata that are Büchi realizable may still call partial-degeneralization

#407 · opened May 07, 2020 by Alexandre Duret-Lutz
- 2
updated Jul 22, 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
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
- 4
updated Aug 05, 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

Prev
1
2
3
4
5
6
Next