Skip to content
GitLab
Explore
Sign in
Spot
Merge requests
Open
3
Merged
107
Closed
28
All
138
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Remove binary integer literals
spot!93
· created
Nov 08, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 08, 2023
ltsmin: make it easier to find the README
spot!95
· created
Nov 15, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 15, 2023
autfilt: fix a typo in the --help output
spot!96
· created
Nov 17, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 17, 2023
never iterate on the edge_vector()
spot!97
· created
Nov 17, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 18, 2023
python: add easy ways to remove highlights
spot!98
· created
Nov 23, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 23, 2023
work around some gcc 9.4 warnings
spot!100
· created
Nov 28, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Nov 28, 2023
auts_to_aiger: Fix output name index
spot!101
· created
Nov 29, 2023
by
Florian Renkin
Merged
Approved
0
updated
Nov 29, 2023
twa: fix issue #555 better
spot!102
· created
Dec 03, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 04, 2023
twa: guard against highlighting of non-existing edges and states
spot!103
· created
Dec 05, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 05, 2023
python: add get_highlight_state and get_highlight_edge
spot!104
· created
Dec 06, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 06, 2023
strength: generalize is_safety_automaton to any type of automata
spot!105
· created
Dec 16, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 17, 2023
Adl/snapshot
spot!107
· created
Dec 18, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 18, 2023
remove_alternation: option to return nullptr if too many sets needed
spot!108
· created
Jan 26, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 27, 2024
postproc: fix default for acd and interaction with colored
spot!109
· created
Feb 06, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 07, 2024
more doc handling of prop_universal for fused initial states
spot!110
· created
Feb 09, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 09, 2024
org: fix many errors
spot!111
· created
Feb 09, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 09, 2024
style: relax the else's body check
spot!112
· created
Feb 21, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 21, 2024
add intersection checks between words and automata
spot!113
· created
Mar 08, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 08, 2024
[buddy] add missing typedefs to minterm_iterator
spot!114
· created
Mar 11, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 11, 2024
dualize: improve performance on small automata with large |AP|
spot!115
· created
Mar 18, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 18, 2024
Prev
1
2
3
4
5
6
Next