Skip to content
GitLab
Explore
Sign in
Open
1
Merged
63
Closed
3
All
67
Merge trains
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{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
worker: Discard old readline interface.
!67
· created
Apr 16, 2023
by
Ondřej Štorc
2
updated
May 09, 2023
worker: bump core version
!66
· created
Oct 27, 2022
by
Tomáš Pecka
Merged
updated
Oct 27, 2022
worker: Hopefully fix move semantics for abstraction Values
!65
· created
Oct 19, 2022
by
Tomáš Pecka
Merged
updated
Oct 19, 2022
Dev tp
!64
· created
May 26, 2022
by
Tomáš Pecka
Merged
updated
May 26, 2022
Dev tp
!63
· created
May 25, 2022
by
Tomáš Pecka
Merged
updated
May 25, 2022
Dev tp
!62
· created
May 15, 2022
by
Tomáš Pecka
Merged
updated
May 15, 2022
Dev tp
!61
· created
May 15, 2022
by
Tomáš Pecka
Merged
updated
May 15, 2022
release 0.4.0
!60
· created
May 14, 2022
by
Tomáš Pecka
Merged
updated
May 14, 2022
Dev output compose
!59
· created
May 13, 2022
by
Tomáš Pecka
Merged
updated
May 14, 2022
webui: fix epsilon symbol input in automaton table
!58
· created
May 10, 2022
by
Hana Litavská
BP
C-webui
T-bug
Merged
3
updated
May 10, 2022
webui: custom functions
!57
· created
May 09, 2022
by
Hana Litavská
BP
C-webui
C-worker
P-high
Merged
29
updated
May 13, 2022
worker: add filter
!56
· created
May 08, 2022
by
Hana Litavská
Merged
7
updated
May 10, 2022
Worker cleanup
!55
· created
May 08, 2022
by
Tomáš Pecka
Merged
updated
May 13, 2022
Introduce parser generators for ALT formats
!54
· created
May 06, 2022
by
Tomáš Pecka
C-webui
P-medium
T-feature
Merged
1
updated
May 13, 2022
webui: use one box for all overloads
!53
· created
Apr 29, 2022
by
Hana Litavská
BP
C-webui
P-high
Merged
13
updated
May 14, 2022
webui: automaton table input
!52
· created
Apr 25, 2022
by
Hana Litavská
BP
C-webui
Merged
19
updated
May 02, 2022
Resolve "Let output nodes decide their features from the actual visualized type"
!51
· created
Apr 24, 2022
by
Tomáš Pecka
Merged
3
updated
Apr 25, 2022
ci: remove staging branch
!50
· created
Apr 19, 2022
by
Tomáš Pecka
Merged
1
updated
Apr 19, 2022
Common documentation
!49
· created
Apr 17, 2022
by
Tomáš Pecka
staging
Merged
updated
Apr 17, 2022
ci: speed up, possibly remove docker TOOMANYREQUESTS errors
!48
· created
Apr 17, 2022
by
Tomáš Pecka
staging
Merged
2
updated
Apr 17, 2022
Prev
1
2
3
4
Next
