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}}
Merged date
bdd_to_formula: add CNF variant
spot!81
· created
Mar 03, 2023
by
Alexandre Duret-Lutz
Closed
0
updated
Mar 03, 2023
formula: introduce one_plus(), and saturate predefined formulas
spot!74
· created
Dec 08, 2022
by
Alexandre Duret-Lutz
Closed
1
updated
Dec 09, 2022
test: fix running on python test in OpenBSD.
spot!62
· created
Oct 01, 2022
by
Alexandre Duret-Lutz
Closed
0
updated
Oct 01, 2022
revert c45ff0c94 and add test case showing why
spot!61
· created
Sep 23, 2022
by
Alexandre Duret-Lutz
Closed
0
updated
Sep 26, 2022
revert c45ff0c94 and add test case showing why
spot!60
· created
Sep 23, 2022
by
Alexandre Duret-Lutz
Closed
0
updated
Sep 23, 2022
tests: add figures from CAV'22 paper
spot!55
· created
Jul 13, 2022
by
Alexandre Duret-Lutz
Closed
0
updated
Jul 13, 2022
Suffix Operator Normal Form implementation
spot!39
· created
Dec 08, 2021
by
Antoine Martin
Closed
31
updated
Mar 04, 2022
fix for 488, and partial fix for 485
spot!33
· created
Nov 17, 2021
by
Alexandre Duret-Lutz
Closed
1
updated
Nov 18, 2021
Making aiger a class
spot!17
· created
Jun 08, 2021
by
Philipp Schlehuber
Closed
6
updated
Nov 04, 2021
Adl/bdd rename
spot!16
· created
Jan 20, 2021
by
Alexandre Duret-Lutz
Closed
1
updated
Jan 27, 2021
Ytm/parse : adding new dl_open + declaration + usage of "state labels" in PINS modules.
spot!9
· created
Nov 13, 2020
by
Yann Thierry-Mieg
3
updated
May 16, 2024
Er/dockerfile
go2pins!1
· created
May 07, 2019
by
Etienne Renault
Closed
0
updated
May 07, 2019
Python wrapping twa_graph::edges() and sanity replacing tabulars by spaces
spot!4
· created
Mar 09, 2016
by
Laurent Xu
Spot 2.0
Closed
0
updated
Mar 10, 2016
Integrate automata determinisation
spot!3
· created
Feb 05, 2016
by
Alexandre Lewkowicz
short task
Closed
1
updated
Feb 12, 2016
transform_accessible transform_copy
spot!1
· created
Feb 19, 2015
by
Alexandre Lewkowicz
Closed
0
updated
Feb 19, 2015
[WIP] tra2tba: Implement transformation of TRA to TBA acceptance condition.
spot!6
· created
May 09, 2017
by
Henrich Lauko
short task
Closed
1
updated
Sep 07, 2020
* doc/org/concepts.org: Typo
spot!5
· created
Jan 30, 2017
by
Laurent Xu
doc
Closed
1
updated
Jan 30, 2017
Feedback arc-set for dtgbacomp
spot!2
· created
Feb 25, 2015
by
Alexandre Lewkowicz
Closed
1
updated
Sep 07, 2020
Prev
1
…
3
4
5
6
7
Next