Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Spot
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
112
Issues
112
List
Boards
Labels
Service Desk
Milestones
Merge Requests
2
Merge Requests
2
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Spot
Spot
Issues
Open
62
Closed
115
All
177
New issue
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
improve determinisation of automata matching string-like patterns
2 of 3 tasks completed
#444
· opened
Dec 08, 2020
by
Alexandre Duret-Lutz
wish
0
updated
Dec 09, 2020
iterate over bit sets in bitvect or bitset
#440
· opened
Nov 17, 2020
by
Alexandre Duret-Lutz
wish
0
updated
Nov 17, 2020
support for exclusive APs in ltl2tgba
#438
· opened
Nov 12, 2020
by
Alexandre Duret-Lutz
wish
1
updated
Nov 12, 2020
for ltlsynt parity game solving could stop once the winner of initial state is known
#423
· opened
Sep 10, 2020
by
Alexandre Duret-Lutz
wish
0
updated
Sep 10, 2020
handling unconstrained I/O in ltlsynt
#415
· opened
May 29, 2020
by
Alexandre Duret-Lutz
wish
1
updated
May 29, 2020
random conjunctions of patterns
#400
· opened
Mar 12, 2020
by
Alexandre Duret-Lutz
wish
0
updated
Mar 12, 2020
a case when -G -D produce a parity automaton more than twice smaller than -P -D
#397
· opened
Jan 15, 2020
by
Alexandre Duret-Lutz
wish
1
updated
Jan 16, 2020
use graphviz layers for interactive display
#394
· opened
Nov 28, 2019
by
Alexandre Duret-Lutz
wish
0
updated
Nov 28, 2019
postprocessing twice may improve things
#386
· opened
Apr 24, 2019
by
Alexandre Duret-Lutz
wish
1
updated
Jul 31, 2019
ltl2tgba -G cases that can be improved
#385
· opened
Apr 24, 2019
by
Alexandre Duret-Lutz
rewritings
wish
1
updated
Jul 22, 2020
Enumerate all possibles SCCs/automata of size N
#370
· opened
Nov 13, 2018
by
Etienne Renault
wish
0
updated
Nov 13, 2018
add acc_cond::is_hyper_rabin() and acc_cond::is_hyper_streett() functions
#369
· opened
Nov 07, 2018
by
Alexandre Duret-Lutz
wish
0
updated
Nov 07, 2018
a curious case of smaller "unambiguous" automaton
#365
· opened
Oct 01, 2018
by
Alexandre Duret-Lutz
wish
0
updated
Oct 01, 2018
partition an automaton into safety and liveness
#364
· opened
Oct 01, 2018
by
Alexandre Duret-Lutz
wish
1
updated
Nov 05, 2018
better handling of silly histories in sat_minimize()
#344
· opened
Apr 20, 2018
by
Alexandre Duret-Lutz
wish
0
updated
Apr 20, 2018
evaluation of formula on word
#322
· opened
Jan 26, 2018
by
Alexandre Duret-Lutz
wish
1
updated
Mar 24, 2018
complementation of semi-deterministic automata
#310
· opened
Dec 15, 2017
by
Alexandre Duret-Lutz
wish
3
updated
Jul 30, 2020
accessibility properties
#308
· opened
Dec 06, 2017
by
Alexandre Duret-Lutz
wish
0
updated
Dec 06, 2017
overhaul the formula simplification routines
0 of 5 tasks completed
#281
· opened
Sep 15, 2017
by
Alexandre Duret-Lutz
tl
wish
0
updated
Sep 15, 2017
is_inherently_weak should support alternating automata
#275
· opened
Jul 20, 2017
by
Thomas Medioni
wish
1
updated
Aug 09, 2017
Prev
1
2
3
4
Next