Issues · Spot / Spot · GitLab

potential determinization improvement

#461 · created Apr 29, 2021 by Alexandre Duret-Lutz
- 0
updated Apr 29, 2021
missed LTL simplification

#460 · created Apr 23, 2021 by Alexandre Duret-Lutz rewritings tl
- 3
updated May 03, 2021
a case where propagation would improve determinization

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

#455 · created Feb 16, 2021 by Alexandre Duret-Lutz simulation
- 1
updated May 03, 2021
case where ltl-split is harmful

#454 · created Feb 03, 2021 by Alexandre Duret-Lutz wish
- 2
updated May 03, 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
show C++/Python example of game-based simulation checks for documenting

#445 · created 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 · 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
Parse of atomic propositions in LTSmin wrapper

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

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

#432 · created Oct 04, 2020 by Cambridge Yang
- 16
updated May 12, 2021
cleanup_acceptance_here and simplify_acceptance_here could be improved to use SCCs

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

#425 · created Sep 16, 2020 by Alexandre Duret-Lutz
- 0
updated Apr 14, 2021
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
randaut should learn to generate paralllel transitions

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

#408 · created May 07, 2020 by Alexandre Duret-Lutz idea
- 0
updated May 07, 2020

Prev
1
2
3
4
5
6
Next