Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
Open
3
Merged
106
Closed
32
All
141
Actions
Subscribe to RSS feed
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
Minor corrections
!121
· created
Mar 25, 2024
by
Pierre Ganty
doc
Closed
1
updated
Mar 25, 2024
optimize several functions using a label basis
!120
· created
Mar 25, 2024
by
Alexandre Duret-Lutz
Closed
1
updated
Mar 26, 2024
acc: work around a Swig 4.2.1 bug
!119
· created
Mar 21, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 22, 2024
org: add an example of conversion to BA format
!118
· created
Mar 21, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 21, 2024
fix previous two patches
!117
· created
Mar 18, 2024
by
Alexandre Duret-Lutz
Closed
0
updated
Mar 19, 2024
Draft: ltlsynt: add buchi game solver
!116
· created
Mar 18, 2024
by
Quentin Rataud
master
ing1
ltlsynt
0
updated
Jun 28, 2024
dualize: improve performance on small automata with large |AP|
!115
· created
Mar 18, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 18, 2024
[buddy] add missing typedefs to minterm_iterator
!114
· created
Mar 11, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 11, 2024
add intersection checks between words and automata
!113
· created
Mar 08, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Mar 08, 2024
style: relax the else's body check
!112
· created
Feb 21, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 21, 2024
org: fix many errors
!111
· created
Feb 09, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 09, 2024
more doc handling of prop_universal for fused initial states
!110
· created
Feb 09, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 09, 2024
postproc: fix default for acd and interaction with colored
!109
· created
Feb 06, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Feb 07, 2024
remove_alternation: option to return nullptr if too many sets needed
!108
· created
Jan 26, 2024
by
Alexandre Duret-Lutz
Merged
0
updated
Jan 27, 2024
Adl/snapshot
!107
· created
Dec 18, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 18, 2023
* spot/bricks/brick-assert: include <cstdint>.
!106
· created
Dec 17, 2023
by
Alexandre Duret-Lutz
Closed
0
updated
Dec 18, 2023
strength: generalize is_safety_automaton to any type of automata
!105
· created
Dec 16, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 17, 2023
python: add get_highlight_state and get_highlight_edge
!104
· created
Dec 06, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 06, 2023
twa: guard against highlighting of non-existing edges and states
!103
· created
Dec 05, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 05, 2023
twa: fix issue #555 better
!102
· created
Dec 03, 2023
by
Alexandre Duret-Lutz
Merged
0
updated
Dec 04, 2023
Prev
1
2
3
4
5
6
…
8
Next
