Skip to content
GitLab
Explore
Sign in
Algorithms Library Toolkit
Merge requests
Open
2
Merged
308
Closed
25
All
335
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{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}}
Label priority
work around docker toomanyrequests error
automata-library!232
· created
Apr 17, 2022
by
Tomáš Pecka
Merged
2
updated
Apr 18, 2022
Common documentation
webui-client!49
· created
Apr 17, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Apr 17, 2022
ci: speed up, possibly remove docker TOOMANYREQUESTS errors
webui-client!48
· created
Apr 17, 2022
by
Tomáš Pecka
staging
Merged
2
updated
Apr 17, 2022
webui: output and parse
webui-client!47
· created
Apr 16, 2022
by
Hana Litavská
BP
C-webui
T-feature
Merged
17
updated
May 09, 2022
Merge jt
automata-library!231
· created
Apr 16, 2022
by
Jan Trávníček
Merged
14
updated
Apr 17, 2022
webui: filters
webui-client!46
· created
Apr 14, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
7
updated
Apr 16, 2022
webui: fix grammar form bugs
webui-client!45
· created
Apr 14, 2022
by
Hana Litavská
BP
staging
C-webui
T-bug
Merged
3
updated
Apr 14, 2022
Merge tp
automata-library!230
· created
Apr 13, 2022
by
Tomáš Pecka
Merged
15
updated
Apr 15, 2022
Merge jt
automata-library!229
· created
Apr 10, 2022
by
Jan Trávníček
Merged
9
updated
Apr 14, 2022
webui: add input form for grammar
webui-client!44
· created
Apr 05, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
69
updated
Dec 04, 2022
Staging
webui-client!43
· created
Apr 05, 2022
by
Tomáš Pecka
Merged
0
updated
Apr 05, 2022
bump core version
webui-client!42
· created
Mar 27, 2022
by
Tomáš Pecka
staging
Merged
3
updated
Mar 28, 2022
webui: add string input for parsed types to input dialog
webui-client!41
· created
Mar 26, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
52
updated
Apr 05, 2022
webui: fix ALT txt format parsing in AutomatonOutput
webui-client!40
· created
Mar 25, 2022
by
Tomáš Pecka
staging
Merged
1
updated
Mar 26, 2022
Staging
webui-client!39
· created
Mar 25, 2022
by
Tomáš Pecka
Merged
0
updated
Mar 25, 2022
Dev hl
webui-client!37
· created
Mar 22, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
11
updated
Mar 24, 2022
algo: fix maxAlphabetSize being larger than 26 becoming a segfault
automata-library!228
· created
Mar 20, 2022
by
Filip Gregor
T-bug
Merged
0
updated
Mar 20, 2022
Merge jt
automata-library!227
· created
Mar 20, 2022
by
Jan Trávníček
Merged
3
updated
Mar 26, 2022
Simplify/rewrite some worker tests
webui-client!36
· created
Mar 13, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Mar 16, 2022
Merge tp
webui-client!35
· created
Mar 12, 2022
by
Tomáš Pecka
staging
Merged
14
updated
Mar 13, 2022
Prev
1
2
3
4
5
6
7
…
16
Next