Issues · Spot / Spot · GitLab

a case where propagation would improve determinization

#456 · opened Feb 17, 2021 by Alexandre Duret-Lutz determinization simulation
- 0
updated Feb 17, 2021
another simulation missed reduction

#455 · opened Feb 16, 2021 by Alexandre Duret-Lutz simulation
- 0
updated Feb 17, 2021
case where ltl-split is harmful

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

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

#452 · opened Jan 25, 2021 by Alexandre Duret-Lutz wish
- 2
updated Feb 16, 2021
do_simul on automata with non-separated Fin/Inf

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

#450 · opened Jan 20, 2021 by Alexandre Duret-Lutz wish
- 0
updated Jan 20, 2021
bricks.test sporadic failure

#446 · opened Dec 29, 2020 by Alexandre Duret-Lutz bug
- 9
updated Feb 26, 2021
show C++/Python example of game-based simulation checks for documenting

#445 · opened Dec 15, 2020 by Alexandre Duret-Lutz doc
- 0
updated Feb 18, 2021
improve determinisation of automata matching string-like patterns 2 of 3 tasks completed

#444 · opened Dec 08, 2020 by Alexandre Duret-Lutz wish
- 0
updated Dec 09, 2020
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
- 4
updated Jan 12, 2021
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

Prev
1
2
3
4
5
6
Next