Issues · Spot / Spot · GitLab

ltlcross/ltldo/autcross support for newer owl

#480 · created Oct 08, 2021 by Alexandre Duret-Lutz
- 0
updated Oct 08, 2021
game/synthesis cleaning bits 13 of 16 tasks completed

#479 · created Oct 03, 2021 by Alexandre Duret-Lutz
- 0
updated Oct 18, 2021
find a way to add a timeout to dot, or kill it when the current process is killed

#475 · created Sep 09, 2021 by Alexandre Duret-Lutz wish
- 0
updated Sep 09, 2021
ltlsynt --tlsf=filename

#473 · created Jul 20, 2021 by Alexandre Duret-Lutz
- 0
updated Jul 20, 2021
we need an "autdo" command

#466 · created Jun 24, 2021 by Alexandre Duret-Lutz wish
- 0
updated Sep 10, 2021
what if twa_graph_ptr is nullptr?

#465 · created Jun 14, 2021 by Alexandre Duret-Lutz
- 0
updated Jun 14, 2021
improve ltlcross & autcross benchmarking capabilities

#463 · created Jun 07, 2021 by Alexandre Duret-Lutz
- 1
updated Jul 01, 2021
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
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
- 1
updated Oct 01, 2021
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
- 1
- 19
updated Oct 01, 2021

Prev
1
2
3
4
5
6
Next