Skip to content
GitLab
Explore
Sign in
Open
0
Merged
236
Closed
22
All
258
Merge trains
Recent searches
Loading
{{ 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}}
Updated date
Some backlog changes from g++-11 adaptation attempts
!192
· created
Oct 16, 2021
by
Jan Trávníček
Merged
2
updated
Nov 21, 2021
Merge tp
!196
· created
Nov 20, 2021
by
Tomáš Pecka
Merged
updated
Nov 20, 2021
aql: Download new TClap by cmake
!193
· created
Oct 27, 2021
by
Tomáš Pecka
D-build
D-packaging
P-high
external/upstream
Merged
updated
Oct 29, 2021
Fixing unintentional copying, possible index out of bounds; Enable compilation with g++-11
!191
· created
Oct 15, 2021
by
Jan Trávníček
Merged
10
updated
Oct 16, 2021
Improvements in RHDPDA and NPDA determinisation
!190
· created
Sep 23, 2021
by
Jan Trávníček
Merged
updated
Sep 24, 2021
Small changes
!189
· created
Aug 14, 2021
by
Tomáš Pecka
Merged
updated
Aug 14, 2021
Extended tree patterns
!188
· created
Jul 20, 2021
by
Jan Trávníček
Merged
updated
Aug 14, 2021
Merge jt - various fixes and improvements
!187
· created
Jul 17, 2021
by
Jan Trávníček
Merged
updated
Jul 19, 2021
Merge jt
!186
· created
Jun 23, 2021
by
Jan Trávníček
Merged
1
updated
Jun 28, 2021
Z automata merge
!185
· created
May 17, 2021
by
Jan Trávníček
Merged
24
updated
May 28, 2021
Tidy fixes merge
!184
· created
May 12, 2021
by
Jan Trávníček
Merged
1
updated
May 12, 2021
Z automata
!183
· created
Apr 03, 2021
by
Jan Trávníček
Merged
updated
Apr 03, 2021
Clang tidy fixes merge
!182
· created
Apr 01, 2021
by
Jan Trávníček
Merged
updated
Apr 02, 2021
Clang tidy fixes merge
!181
· created
Mar 26, 2021
by
Jan Trávníček
Merged
updated
Mar 26, 2021
C casts to C++ casts redesign
!179
· created
Mar 19, 2021
by
Jan Trávníček
Merged
32
updated
Mar 25, 2021
Various fixes jt+mp
!178
· created
Mar 12, 2021
by
Jan Trávníček
Merged
2
1
updated
Mar 12, 2021
tests: Fix wrong select timeout handling since glibc=2.33
!177
· created
Mar 11, 2021
by
Tomáš Pecka
Merged
updated
Mar 11, 2021
Dev sources cleanup
!174
· created
Mar 04, 2021
by
Tomáš Pecka
Merged
updated
Mar 08, 2021
README: Add CI note when forking
!175
· created
Mar 08, 2021
by
Tomáš Pecka
Merged
updated
Mar 08, 2021
Libc++ fixes
!176
· created
Mar 08, 2021
by
Jan Trávníček
Merged
1
updated
Mar 08, 2021
Prev
1
2
3
4
5
6
7
8
…
12
Next