Issues · Spot / Spot · GitLab

Avoid creating parallel edges in acd_transform

#498 · created Jan 19, 2022 by Florian Renkin
- 2
updated Jan 25, 2022
better alias support

#497 · created Jan 19, 2022 by Alexandre Duret-Lutz wish
- 0
updated Jan 21, 2022
relabel automata to reduce atomic propositions

#494 · created Jan 05, 2022 by Alexandre Duret-Lutz idea
- 0
updated Jan 05, 2022
use original-classes in simulation

#493 · created Jan 05, 2022 by Alexandre Duret-Lutz idea
- 0
updated Jan 05, 2022
python3-nbconvert incompatible with newer mistune version

#491 · created Dec 14, 2021 by Alexandre Duret-Lutz bug build
- 0
updated Dec 14, 2021
affinity and hyperthreading

#489 · created Nov 23, 2021 by Alexandre Duret-Lutz twacube
- 1
updated Nov 23, 2021
randomize colors

#487 · created Nov 16, 2021 by Alexandre Duret-Lutz ing1 short task
- 0
updated Nov 16, 2021
doxygen date and best way to do nightly Debian packages

#486 · created Nov 16, 2021 by Alexandre Duret-Lutz bug
- 0
updated Nov 16, 2021
##[1:N] silently loops around N=255

#485 · created Nov 16, 2021 by Alexandre Duret-Lutz bug
- 1
updated Nov 18, 2021
rank-based complementation and elevator automata

#484 · created Nov 02, 2021 by Alexandre Duret-Lutz ing1 wish
- 0
updated Nov 02, 2021
better AIGER format support for model checking

#483 · created Nov 02, 2021 by Alexandre Duret-Lutz ing1 wish
- 0
updated Nov 02, 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

Prev
1
2
3
4
5
…
7
Next