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}}
Popularity
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
webui: show template params in the box
webui-client!34
· created
Mar 08, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
13
updated
Mar 17, 2022
webui: fix parameter tooltips
webui-client!33
· created
Mar 07, 2022
by
Hana Litavská
BP
staging
C-webui
Merged
2
updated
Mar 08, 2022
CI
webui-client!32
· created
Mar 07, 2022
by
Tomáš Pecka
Merged
0
updated
Mar 07, 2022
Merge jt
automata-library!226
· created
Mar 02, 2022
by
Jan Trávníček
Merged
15
updated
Mar 07, 2022
Merge jt
automata-library!225
· created
Feb 26, 2022
by
Jan Trávníček
Merged
0
updated
Feb 27, 2022
Pipeline simplification
webui-client!30
· created
Feb 26, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 26, 2022
Tidy fixes following the merger of new normalization
automata-library!224
· created
Feb 26, 2022
by
Jan Trávníček
Merged
2
updated
Feb 26, 2022
0.2.1
webui-client!29
· created
Feb 25, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 25, 2022
README, server features
webui-client!28
· created
Feb 24, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 24, 2022
Merge jt
automata-library!223
· created
Feb 21, 2022
by
Jan Trávníček
Merged
0
updated
Feb 22, 2022
0.2.0
webui-client!27
· created
Feb 20, 2022
by
Tomáš Pecka
Merged
2
updated
Feb 20, 2022
Dev tp
webui-client!26
· created
Feb 20, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Feb 20, 2022
Prev
1
2
3
4
5
6
7
8
…
16
Next